Masteria, cabinet IA à Lyon : audit, conseil, développement et formation
Certifié QualiopiFinançable OPCOEurope · États-Unis · Inde
Français
Wednesday 9 September 2026 edition

AI Watch, Wednesday 9 September 2026OpenAI claims a Navier-Stokes proof, then a credit fight erupts

Masteria editorial team, led by Mathias Nizan · , 8:30

OpenAI says an AI solved a maths problem that stayed open for nearly ninety years, and the feat vanishes within a day under a fight over credit.

  • Meta hands an agent access to your email, the labs raise alarms about their own models, and the CNIL is a reminder that a forgotten right costs €300,000.
14 stories25 sources8 min read
Top story
Cited in the analysis

OpenAI says it solved the Navier-Stokes problem, and the announcement turns straight into a fight over authorship

The lab claimed on Tuesday 8 September that one of its models produced a solution to the Navier-Stokes problem, one of the seven Millennium Prize problems, the mathematical puzzles each carrying a one-million-dollar reward.

The solution was published with a write-up and a formal proof verified in Lean (a language in which the machine checks every step of the reasoning), and OpenAI is not claiming the prize. Within hours, the feat gave way to an accusation.

Tristan Buckmaster, a mathematician at New York University, blames the lab for producing a competing proof after learning of his own research project. According to Clubic, Sebastian Bubeck, who leads mathematical research at OpenAI, then reportedly asked for Levent Alpöge, a researcher at Anthropic, to be removed from the list of authors.

The exact scope of the result remains disputed, with several sources describing a partial advance rather than a complete solution.

Europe and France

The CNIL fines EXTIA €300,000 for failing to honour the right to erasure

The Commission nationale de l'informatique et des libertés (the CNIL, France's data protection authority) imposed a €300,000 fine on 21 July 2026 on the consulting firm EXTIA, for several breaches of individuals' rights, in particular the right to erasure of data, or right to be forgotten.

The decision, published this week, is a reminder that this right stays among those the regulator monitors most closely. The signal reaches beyond EXTIA: as organisations multiply their data processing to feed their AI tools, the ability to erase a piece of data on request becomes a concrete technical constraint, not a clause of principle.

SourceCNIL

Le Monde documents the business of AI-generated reactionary content on Facebook

Hundreds of pages push far-right content mass-produced by AI to French audiences, often run from Sri Lanka, Algeria or Venezuela, Le Monde reports. These pages capture large audiences for profit, funded by advertising revenue sharing.

The investigation shows a disinformation economy in which generative AI lowers to almost nothing the cost of producing a constant stream of images and text calibrated for outrage.

SourceLe Monde

After its record raise, is Mistral still a French company

The day after the largest raise ever completed by a European technology company, €3 billion led by South Korea's Samsung, Clubic examines the ownership structure of Mistral AI. Behind the "French champion" label, a growing share of the funds comes from foreign investors, which reopens the debate over the sovereignty of a company now valued at more than €21 billion.

The question goes beyond Mistral: it touches every European start-up that has to raise on a global scale to stay in the race without diluting itself off the continent.

SourceClubic

International

Meta launches Muse, a personal agent that asks for access to your email, your calendar and your payments

Meta unveils Muse, an AI agent (software that acts on your behalf, not only one that answers) able to shop online, book a plane ticket or make an appointment. To work, it asks for access to the user's email, calendar, payment methods and health services, and runs on a dedicated virtual machine in the cloud.

It is Meta's most committing consumer bet in AI, and a direct test of trust: the company is wagering that users will hand it data they have refused it so far, after several years of distrust over privacy. Muse takes on rival agents such as OpenClaw and Instinct.

The security warnings now come from inside the labs

Jakub Pachocki, OpenAI's chief scientist, says "nobody is prepared" for the consequences of AI progress in cybersecurity, admits that the lab's internal safeguards are losing their effectiveness and calls on the sector to slow down, 01net reports.

At Anthropic, researcher Jacob Coxon announced his resignation, accusing the industry of "gambling with our lives" and stating that "no other human activity poses such a danger".

The same day, Cisco, OpenAI and Anthropic co-signed an open letter warning that AI-assisted cyberattacks will become widespread, the same tools that help people work also serving to attack "at machine scale", according to Cisco president Jeetu Patel.

These warnings come from the very players building the models, which invites caution about their motives without making them safe to ignore.

Qualcomm lands Amazon as a customer for its AI chips

Qualcomm has signed a deal making Amazon a customer and an investor in its data-center chips, Bloomberg reports. The agreement covers custom chips for the infrastructure of AWS, Amazon's cloud arm, and marks a breakthrough for Qualcomm in a market dominated by Nvidia.

Chief financial officer Akash Palkhiwala sees it as a foothold to capture a share of the enormous spending that cloud giants devote to AI. For Amazon, it is a way to diversify its silicon suppliers and contain the bill of a line item that weighs more and more heavily.

Cognition reaches $48 billion, and AI coding stays an open market

The start-up Cognition, maker of the coding agent Devin, reaches a $48 billion valuation, TechCrunch reports. The valuation multiple exceeds the one Cursor showed before its acquisition by SpaceX, a sign that investors do not believe in a market where a single player takes it all.

Several makers of AI-assisted coding tools keep raising at high levels, each betting on a durable slice of the pie. The message for corporate customers: the sector stays competitive, which keeps pressure on prices and leaves the choice open.

China and Asia

The United States accuses Alibaba and DeepSeek of siphoning off American models

US security agencies accuse the leading Chinese AI companies, including DeepSeek and Moonshot AI (the maker of Kimi), of having "systematically" extracted the know-how of American companies, Bloomberg reports. The authorities are calling on Silicon Valley developers to better protect their work.

The technique in question is said to be distillation, in which a Chinese model learns by querying an American model on a massive scale to copy its answers, a method already suspected when DeepSeek launched in early 2025. The accusation comes as the use of Chinese models, cheaper per token (the billed unit of text), is rising sharply worldwide.

It reignites the regulatory standoff between Washington and Beijing, this time over intellectual property rather than semiconductors alone.

SourceBloomberg

Z.ai and MiniMax could stay loss-making until 2030 despite sharply rising revenue

The Chinese AI companies Z.ai and MiniMax risk losing money until 2030, even with revenue that is jumping, estimates Ellie Jiang, head of internet and software research for Asia at Macquarie, quoted by the South China Morning Post. The cause lies in the cost of the computing power needed to train and run frontier models.

According to her, the compute shortage in China is two to three times more severe than elsewhere, driven by US controls on chip exports. The finding tempers the story of a Chinese AI unbeatable on cost: the low prices per token hide heavy losses that investors are funding while they wait for scale.

Research

Research and papers

For technical teams

Google DeepMind maps the effects of 9 billion DNA variants

DeepMind presents AlphaGenome Atlas, a predictive map of the molecular effect of every possible single-letter change in human DNA, roughly 9 billion variants. The tool aims to predict how a mutation, even in the so-called non-coding regions of DNA (those that do not directly make proteins but regulate gene activity), alters genetic regulation.

Understanding these effects "is fundamental to understanding most diseases", sums up one of the researchers quoted by IEEE Spectrum. The stated goal is to speed up research and open the way to new treatments, in the lineage of AlphaFold on proteins.

AI changes how engineers review code

An IEEE Spectrum review describes how AI coding tools, able to generate thousands of lines in a few minutes, force companies to rethink code review. The code produced looks clean on the surface but conceals false assumptions, security flaws or subtle errors that only appear after deployment.

Fixing these problems can wipe out the promised productivity gains, which pushes teams to invent new review strategies centred on verification rather than writing.

The rest of the news

In brief

  • Microsoft patches 972 flaws in a single Patch Tuesday, a record

    The company released the largest security update in its history, 972 vulnerabilities including 112 critical ones and two zero-day flaws already exploited, some of them identified with the help of generative AI, report Ars Technica and 01net.

  • Hackers are stealing the Claude tokens of Anthropic subscribers

    A user found that their account was consuming tokens without their doing any work; Anthropic has since warned its subscribers about thefts of access tokens, resold on a parallel market, TechCrunch reports.

The Masteria read

OpenAI announces that an AI produced a proof for the Navier-Stokes problem and the argument immediately turns on the authors' names, while an IEEE Spectrum review shows generated code that looks clean on the surface and is wrong underneath: the skill that gains value is tracing the provenance of AI-assisted work, writing for every deliverable that commits you what the machine produced, who checked it and who signs it, rather than letting authorship and responsibility dissolve as production speeds up

OpenAI announced on Tuesday that one of its models produced a solution to the Navier-Stokes problem, one of the seven Millennium Prize problems, each carrying a one-million-dollar reward, with a formal proof verified in Lean. Within twenty-four hours, the feat disappeared under a fight over authorship.

Tristan Buckmaster, of New York University, accuses the lab of racing onto his turf after learning of his research project. Sebastian Bubeck, who leads mathematical research at OpenAI, is said to have demanded the removal of a co-author, Levent Alpöge, a researcher at Anthropic.

A machine may have started to crack a problem that stayed open for nearly ninety years, and the first battle is over the names at the bottom of the page. That battle is coming to your workplace soon, in a quieter form.

The moment a model drafts a contract, a piece of code, an analysis note, the same question arises: who is the author, what the machine produced, what the human validated, who answers for it.

A review published this week in IEEE Spectrum shows it on the software side: generated code looks clean on the surface and hides errors that only appear after deployment, to the point that teams are rewriting how they review. Validation work becomes the real work.

The skill that gains value in a French organisation is tracing the provenance of AI-assisted work. Take a deliverable that commits the company: a contract, a report handed to a client, a reasoned decision.

Write down what the model produced, what a human reworked and checked, and name the person who signs it. A signature commits you: it assumes you know what you are signing.

This reflex already exists in accounting, where you keep a record of who entered a figure and who approved it. Text, code and analysis join the list of materials whose origin has to stay legible.

The mathematicians' debate seems far from your offices. It raises the question every team will meet: when production costs almost nothing, value moves to what can be verified and attributed.

A proof with no recognised author is worth no more than a false proof. Neither is work with no provenance.

The Masteria editorial team.

OpenAI announced on Tuesday that one of its models produced a solution to the Navier-Stokes problem, one of the seven Millennium Prize problems, each carrying a one-million-dollar reward, with a formal proof verified in Lean. Within twenty-four hours, the feat disappeared under a fight over authorship.

Tristan Buckmaster, of New York University, accuses the lab of racing onto his turf after learning of his research project. Sebastian Bubeck, who leads mathematical research at OpenAI, is said to have demanded the removal of a co-author, Levent Alpöge, a researcher at Anthropic.

A machine may have started to crack a problem that stayed open for nearly ninety years, and the first battle is over the names at the bottom of the page.

That battle is coming to your workplace soon, in a quieter form. The moment a model drafts a contract, a piece of code, an analysis note, the same question arises: who is the author, what the machine produced, what the human validated, who answers for it.

A review published this week in IEEE Spectrum shows it on the software side: generated code looks clean on the surface and hides errors that only appear after deployment, to the point that teams are rewriting how they review. Validation work becomes the real work.

The skill that gains value in a French organisation is tracing the provenance of AI-assisted work. Take a deliverable that commits the company: a contract, a report handed to a client, a reasoned decision. Write down what the model produced, what a human reworked and checked, and name the person who signs it.

A signature commits you: it assumes you know what you are signing. This reflex already exists in accounting, where you keep a record of who entered a figure and who approved it. Text, code and analysis join the list of materials whose origin has to stay legible.

The mathematicians' debate seems far from your offices. It raises the question every team will meet: when production costs almost nothing, value moves to what can be verified and attributed. A proof with no recognised author is worth no more than a false proof. Neither is work with no provenance.

The Masteria editorial team.

Mathias Nizan, founder of Masteria
Mathias Nizan
Editor of AI Watch
Method

102 articles read, 14 kept

Selected on the morning of 9 September from 38 news feeds. Our method (in French)

Today's sourcesOpenAILe MondeClubicTechCrunchCNILWiredZDNetPlatformer01netFrandroid

What the 9 September edition means for your teams

OpenAI says it solved the Navier-Stokes problem, and the announcement turns straight into a fight over authorship. Does it touch your teams? Let's talk.

Contact us