Advancing mathematics research with AI-driven formal proof search:
Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability ...
science.org/doi/10.1126/science.aej2213
Story Details
| Last Updated | |
| Total Articles | 2 |
Main Topics
Similar to This
Previous
The Observer Oct 24
Terence Tao: AI turns beautiful mathematics into ‘toxic waste’: The top mathematician says Silicon Valley’s rush to solve long-investigated conundrums excludes ...
observer.co.uk/news/science-technology/article/terence-tao-ai-turns-beautiful-mathematics-into-toxic-waste
The inside story behind OpenAI’s million-dollar math proof: AI’s solution to the Navier-Stokes problem, and the details of how it happened ...
scientificamerican.com/article/the-inside-story-behind-openais-million-dollar-math-proof/
anthropic.com Oct 23
LLMs are making formal software verification feasible at a much larger scale: Claude formally proved security properties in the compiled code of 123 open-source ...
anthropic.com/research/formal-verification
OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was: Rumors that OpenAI’s “Navier-Stokes” solution stole the work of two mathematicians may ...
scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-thought-it-was/
AI causes uproar in mathematics as experts warn against sharing research with LLMs after OpenAI shares 722 manuscripts and proofs — professor argues that the ...
tomshardware.com/tech-industry/artificial-intelligence/ai-causes-uproar-in-mathematics-as-experts-warn-against-sharing-research-with-llms-after-openai-shares-722-manuscripts-and-proofs-professor-argues-that-the-field-must-focus-on-buildin
Paid articlePaywall The most exciting claims from OpenAI’s heap of new proofs: Scientists have called out several math and computer science results as the most significant in the ...
scientificamerican.com/article/the-most-exciting-claims-from-openais-heap-of-new-proofs/
New Scientist Oct 08
OpenAI mistranslated mathematics into code for its Navier-Stokes proof: When OpenAI announced its surprise solution to the Navier-Stokes problem ...
newscientist.com/article/2592824-openai-mistranslated-mathematics-into-code-for-its-navier-stokes-proof/
As AI marches on math research, scholars ponder the future: A flurry of AI-generated proofs has left mathematicians in various emotional states ...
thehindu.com/sci-tech/science/as-ai-marches-on-math-research-scholars-ponder-the-future/article71463202.ece
theconversation.com Jul 26
A new ‘golden age’ of mathematics may be dawning — thanks to AI and human ingenuity
theconversation.com/a-new-golden-age-of-mathematics-may-be-dawning-thanks-to-ai-and-human-ingenuity-287346
Nature Jun 15
Humans outperform AI at this highly rigorous mathematics test: A new benchmark pitting AI against previously unseen maths problems shows that systems still fall ...
nature.com/articles/d41586-026-01888-9
AI cracked an Erdős math problem. Now experts want guardrails: The result is correct but challenges core norms of mathematics: checking proofs ...
sciencenews.org/article/ai-guardrails-erdos-math-problem
New Scientist Jun 01
A golden age of maths is dawning and mathematicians are freaking out: Mathematicians are stunned at the progress AI is making in solving advanced problems ...
newscientist.com/article/2526650-a-golden-age-of-maths-is-dawning-and-mathematicians-are-freaking-out/
AI solved an 80-year maths problem. Here’s why this matters beyond mathematics: OpenAI said one of its internal models had made a breakthrough with a challenge ...
indianexpress.com/article/explained/explained-ai/openai-erdos-problem-ai-solves-80-year-old-math-challenge-10722693/
Nature May 19
‘It is incredible’: How AI is transforming mathematics: Thanks to some surprising advances, mathematicians are starting to realize that artificial intelligence ...
nature.com/articles/d41586-026-01553-1
openai.com May 20
An OpenAI model has disproved a central conjecture in discrete geometry: An OpenAI model solved the 80-year-old unit distance problem, disproving a major ...
openai.com/index/model-disproves-discrete-geometry-conjecture/
These mathematicians are putting AI to the test: Large language models struggle to solve research-level math questions. It takes a human to assess just how ...
thestar.com.my/tech/tech-news/2026/03/17/these-mathematicians-are-putting-ai-to-the-test
New Scientist Mar 10
Mathematics is undergoing the biggest change in its history: The speed at which artificial intelligence is gaining in mathematical ability has taken many by ...
newscientist.com/article/2518526-mathematics-is-undergoing-the-biggest-change-in-its-history/
Next