Terence Tao is a UCLA math professor and Fields Medalist known for breakthroughs across analysis, combinatorics, and number theory.
Frontier AI labs have produced a wave of machine-generated proofs that have resolved long-standing problems in mathematics and theoretical computer science and prompted heated debate. OpenAI and Anthropic have each published claims — including refutations of the Exponential Time Hypothesis and solutions to major conjectures — and researchers are racing to verify the work and adjust academic norms.
OpenAI has published a proposed solution to the Navier‑Stokes Millennium Prize problem after running roughly 10,000 internal AI agents for about 88 hours. Mathematicians Tristan Buckmaster and Levent Alpöge have said OpenAI accelerated work after learning of their AI‑assisted progress and raised questions about whether de‑identified product data influenced the models.
OpenAI has announced a solution to the Navier-Stokes existence and smoothness problem, one of the Millennium Prize Problems. The company says its latest model solved the complex equations describing fluid motion, a claim analysts are scrutinizing. OpenAI emphasizes that it did not train on user data to reach the solution, and notes that anonymized data could have been used to improve models.
OpenAI has released hundreds of AI‑generated mathematical proofs, triggering a mix of excitement and concern across academia. The firm says the materials include revisions protocols and will fund workshops, while critics warn about the risk to collaborative culture and the reliability of AI‑driven results.