数学家指出 OpenAI 纳维-斯托克斯证明的人机版本不一致
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
OpenAI 在公布纳维-斯托克斯问题的解答时分别给出了供人阅读的证明与形式化代码版本，剑桥大学数学家 Anders Hansen 等人发现两个版本并不一致。这一错误未必意味着证明本身有误或 OpenAI 未正确求解该问题，但凸显了大语言模型生成的数学结果仍需由人类数学家逐一人工复核。
文章以 OpenAI 纳维-斯托克斯证明的人机版本不一致为案例，呈现当前 AI 生成数学结果的形式化校验缺口与对人工复核的依赖。
Advertisement
- [x]
Explore by section
Explore by subject
Explore our products and services
Manage your subscription
Check your subscription status, update your details and more.
Manage your subscription Activate your subscription
- Your account
- Check your subscription status, update your details and more.
- Manage your subscription
- Your newsletters
- Subscriber benefits
- [Sign out](javascript: void(0);)
Technology
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match
By Jacob Aron
8 October 2026
AI-generated proofs are often checked using a process called formalisation
Pixels Hunter/Shutterstock
OpenAI appears to have made a subtle error when publishing its proofs of the Navier-Stokes problem, a team of mathematicians has claimed. The error doesn’t mean that the proofs are incorrect or that OpenAI hasn’t correctly solved the problem, but it does call into question whether mathematical results generated by AI models can always be relied on.
“What has to be done with all of these large language model-generated proofs is that they will have to be read by humans, and this creates an enormous extra burden on mathematicians,” says Anders Hansen at the University of Cambridge.
Topics:Mathematics
Advertisement
Sign up to our weekly newsletter
Receive a weekly dose of discovery in your inbox. We'll also keep you up to date with New Scientist events and special offers.
More from New Scientist
Explore the latest news, articles and features
#### Technology ### AI or ‘super intelligence’? Trump isn’t the only one who is confused Comment
#### Mathematics ### The most interesting mathematical discoveries in OpenAI’s 722 new papers News
#### Space ### Why gatekeeping is needed in the age of AI News
#### Technology ### OpenAI has dumped 722 maths papers – now it must clean up the mess Comment
Popular articles
Trending New Scientist articles
Can we harness the brain’s deep-cleaning system to prevent Alzheimer’s?### Two large asteroids found spinning as fast as a fairground ride### The world may never go back to how it was after this monster El Niño### Nearly 1 in 10 young adults could have fatty, narrow arteries### The most interesting mathematical discoveries in OpenAI’s 722 new papers### Why many women with ADHD feel overwhelmingly controlled by their hormones### Tattoos could be turned on and off with light### We’re finally learning what happens to gifted children in adulthood### Compressing bones releases molecules that ease traumatic brain injuries### Rebooting stem cells builds aged muscles and assists injury recovery
Advertisement
Download the app
Find us on social media
Subscriptions
Support
Tools
Legal and privacy
© Copyright New Scientist Ltd.
Back to the top
We and our partners use cookies and other technologies to collect user data
Types of data being accessed
- Unique identifiers for the device using the site
- Browser information
- IP address
- Activities such as pages visited
- Location of where the site is used
from your device, so that:
- We can deliver content and advertising that's relevant to you
Ways in which we use your data for advertising purposes * Information storage and access * Personalisation * Ad selection, delivery, reporting * Content selection, delivery, reporting * Measurement
- We give you the best experience
Control how your data is used and view more info at any
time via the Cookie Settings link in our Privacy Policy
Got it
Sign up to our notifications for the latest news and updates. You can disable anytime.
来源：Hacker News · newscientist.com