OpenAI has made significant strides in mathematics, claiming to have solved the Navier-Stokes problem, a 90-year-old math challenge. The company's AI model solved the equations in 88 hours, exchanging 2.7 million messages and using 130 billion output tokens. This achievement shows that AI can solve complex mathematical problems that have stumped humans for centuries.
The solution resolves two out of four statements in the proof that the Millennium Prize demands. OpenAI published a full write-up of the result along with a Lean formalization. However, a credit dispute has emerged, with OpenAI scientist Sebastien Bubbeck claiming he tried to coordinate a release of the proof with NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge.
In other news, OpenAI has introduced ChatGPT Images 2.5, a new image model that brings sharper details, faster generation, and more precise editing. The model produces more natural lighting and richer textures, and is better at preserving subjects in reference photos. Additionally, ChatGPT now allows users to create images using a drawing tool, called Sketch, which lets users draw directly in ChatGPT as part of their prompt.
Microsoft has also made advancements in AI, deploying its agentic AI scanning system, codename MDASH, to Azure Government. The system finds and validates exploitable vulnerabilities in source code. Furthermore, Battalion Oil Corporation announced an equity investment in Collide Industrial Technologies and a strategic partnership to advance AI-powered oil and gas operations.
Key Takeaways
['OpenAI claims to have solved the Navier-Stokes problem, a 90-year-old math challenge, using its AI model.', 'The solution resolves two out of four statements in the proof that the Millennium Prize demands.', "OpenAI's AI model solved the equations in 88 hours, exchanging 2.7 million messages and using 130 billion output tokens.", 'A credit dispute has emerged over the Navier-Stokes problem, with OpenAI scientist Sebastien Bubbeck claiming he tried to coordinate a release of the proof with NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge.', 'OpenAI introduced ChatGPT Images 2.5, a new image model that brings sharper details, faster generation, and more precise editing.', 'ChatGPT now allows users to create images using a drawing tool, called Sketch.', 'Microsoft deployed its agentic AI scanning system, codename MDASH, to Azure Government to find and validate exploitable vulnerabilities in source code.', 'Battalion Oil Corporation announced an equity investment in Collide Industrial Technologies and a strategic partnership to advance AI-powered oil and gas operations.']OpenAI Claims to Solve One of Math's Hardest Problems
OpenAI claims it has solved the Navier-Stokes problem, a major math challenge. The company's AI model solved the equations in 88 hours, exchanging 2.7 million messages and using 130 billion output tokens. The solution resolves two out of four statements in the proof that the Millennium Prize demands. OpenAI's achievement shows AI can solve complex mathematical problems that have stumped humans for centuries.
OpenAI Shares Solution to Navier-Stokes Problem
OpenAI shared its solution to the Navier-Stokes problem, a 90-year-old math challenge. The company's AI model, described as significantly more capable than Astra, produced a proof that resolves the problem. OpenAI published a full write-up of the result along with a Lean formalization. The solution shows that a smooth fluid starting at rest, under a smooth external force, can develop a singularity in finite time.
OpenAI's Sebastien Bubeck on Navier-Stokes Dispute
OpenAI scientist Sebastien Bubeck shared his account of the Navier-Stokes credit dispute. Bubeck claimed he tried to coordinate a release of the proof with NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge. Bubeck's account disputes the characterization that he tried to strip Alpöge of authorship.
OpenAI Cracks 90-Year-Old Math Problem
OpenAI says it solved a 90-year-old math problem using AI. The company's AI model solved the Navier-Stokes problem in 88 hours. OpenAI's achievement shows that AI can solve complex mathematical problems that have stumped humans for centuries.
OpenAI's Response to Credit Dispute
OpenAI responded to a credit dispute over the Navier-Stokes problem. The company stated that neither its researchers nor AI agents saw any of mathematicians Tristan Buckmaster and Levent Alpöge's work before releasing its own solution. OpenAI also stated that it cannot rule out that de-identified data derived from Buckmaster and Alpöge's usage of its products helped improve its models.
OpenAI Solves Math Problem
OpenAI claims to have solved a major math problem that has stumped humans for nearly a century. The company's AI model solved the Navier-Stokes equations, one of the seven Millennium Prize Problems. The solution suggests that the equations occasionally 'blow up' with the speed of fluids becoming impossibly infinite.
OpenAI Says AI Solved One of Math's Hardest Problems
OpenAI says its AI model solved one of math's hardest problems in days. The company's AI model solved the Navier-Stokes equations exactly, without any approximations. The achievement shows that AI can solve complex mathematical problems that have stumped humans for centuries.
OpenAI Cracks Millennium Problem
OpenAI says it has cracked one of math's 'Millennium Problems'. The company's AI model solved the Navier-Stokes problem in 88 hours. The solution is a significant achievement in the field of mathematics.
ChatGPT Images 2.5 Introduced
OpenAI introduced ChatGPT Images 2.5, a new image model that brings sharper details, faster generation, and more precise editing. The model produces more natural lighting and richer textures, and is better at preserving subjects in reference photos.
ChatGPT Sketch Turns Drawings into Images
OpenAI's ChatGPT now allows users to create images using a drawing tool. The Sketch feature lets users draw directly in ChatGPT as part of their prompt. The feature can turn rough drawings into realistic images.
Battalion Oil Corporation Invests in Collide
Battalion Oil Corporation announced an equity investment in Collide Industrial Technologies and a strategic partnership to advance AI-powered oil and gas operations. The partnership aims to automate engineering and operational workflows, reducing costs and enhancing efficiency.
Microsoft Deploys Agentic AI Scanning
Microsoft deployed its agentic AI scanning system, codename MDASH, to Azure Government. The system finds and validates exploitable vulnerabilities in source code. MDASH uses multiple AI agents to analyze code and provide a prioritized list of vulnerabilities.
Sources
- OpenAI Has Claimed To Have Produced A Proof To Resolve The Navier-Stokes $1 Million Millennium Prize Problem: Reports
- OpenAI Shares Solution To Navier-Stokes Problem Created By A Model “Significantly More Capable” Than Astra
- OpenAI’s Sebastien Bubeck Says He Tried To Coordinate Release Of Navier Stokes-Related Proofs With Buckmaster & Alpoge But Was Rebuffed
- OpenAI says it cracked 90-year-old maths problem in 88 hours
- OpenAI Says It Didn’t See Any Of Buckmaster And Alpöge’s Work While Resolving Navier-Stokes
- OpenAI claims to have solved maths problem that stumped humans for decades
- OpenAI says AI solved one of math's hardest problems in days
- OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’
- Introducing ChatGPT Images 2.5
- ChatGPT Sketch turns your bad drawings into detailed AI images
- Battalion Oil Corporation Announces Equity Investment in Collide Industrial Technologies and Strategic Partnership to Advance AI-Powered Oil and Gas Operations
- Microsoft Deploys Codename MDASH Agentic AI Scanning to Azure Government
Comments
Please log in to post a comment.