Filters
- Fields medalist Richard Borcherds says human math research could be redundant in a few years after OpenAI's Navier-Stokes result, per The Daily Californian
UC Berkeley mathematician Richard Borcherds, who won the 1998 Fields Medal, told The Daily Californian he had not expected AI to reach the level of OpenAI's announced Navier-Stokes result for about 10 years. "It's fairly obvious that if things go like this, in a few years, humans doing math research will be redundant," he said, adding that it is hard to know what to tell graduate students. The paper notes that OpenAI says an internal model running about 10,000 agents produced the result, and that OpenAI researcher Noam Brown said it cost millions of dollars, per The Daily Californian.
Reported by The Daily CalifornianPublished newsSource: The Daily CalifornianPart of OpenAI math releases - Ben Recht says OpenAI's claimed faster Fourier transform is a galactic algorithm with no practical speedup, per arg min
Berkeley's Ben Recht examined the faster-FFT result in OpenAI's recent math paper release. He argues the hidden constant is around 10^100, so Cooley-Tukey stays faster for any realistic input, and that the proof assumes exact complex arithmetic on numbers that grow superpolynomially, a model no real computer matches. He calls the result an artifact of loose formalization rather than a breakthrough and makes a similar critique of the O(n^2.25) matrix multiplication result in the same release.
- Researchers say OpenAI’s Navier–Stokes Lean formalization does not match its natural-language proof, per New Scientist
Cambridge-linked mathematicians argue OpenAI’s Lean formalization of its Navier–Stokes blow-up result is not a faithful translation of the natural-language PDF proof, so Lean verification does not certify the prose argument, per New Scientist. They highlight Lemma 8.6, where the NL statement requires a bound of m+4 while the Lean estimate uses the weaker m+5, and stress they are not claiming either proof is false. OpenAI told New Scientist it knows of the mismatch, says that does not invalidate either proof, and will fix NL errors as found while continuing to formalize a larger batch of papers.
- Association for Human Mathematics urges boycott of OpenAI after AI math manuscript dump, per The Decoder
The Association for Human Mathematics called on mathematicians to stop working with OpenAI after its October 6 release of 700+ AI-generated manuscripts, calling the dump a show of power that ignored AGMAI advice against testing advanced math on internal models, per The Decoder. Terence Tao shared the AHM statement as a guest post and argued Math 2.0 should value explanation over raw problem-solving; Scott Aaronson described a “Mathocalypse” as experts struggle to read opaque drafts. AGMAI took a milder line, treating the release as a starting point while warning research cannot become cleanup of lab outputs.
- r/singularity shares an expert's reaction to OpenAI's solution for Barnette's Conjecture problem #180
A post on r/singularity quotes an expert reviewing an OpenAI solution to problem #180, Barnette's Conjecture. The expert calls the key insight wild, saying it uses a complex-valued exponential sum on the graph's edges with complex roots and annihilating terms, a trick they had not seen in graph theory before.
- Reddit post says OpenAI's math advisory group told AI labs not to test advanced math problems on internal models
A link post on r/singularity claims the Advisory Group on Mathematics and Artificial Intelligence, which OpenAI cited when releasing its AI-generated math manuscripts, said frontier AI companies should not test advanced mathematical problems on internal models. The poster argues OpenAI has disregarded the norms of scientific research.
- Reddit user asks why many still call AI useless after the new math proofs
A post on r/singularity says that despite the new AI math proofs and coding progress, many people still argue AI can't do anything right, and suggests people struggle to grasp exponential growth.
- NYU math professor suggests OpenAI's math release was only the first of three batches
A post on r/singularity links to a tweet from an NYU math professor suggesting that OpenAI's newly released set of AI-produced mathematical solutions was only batch one of three. The claim is unconfirmed by OpenAI.
- Reddit post shares a meme on mathematicians after AI's math advances
A post on r/singularity titled 'Mathematicians today' shares an image about mathematicians in light of recent AI math results.
- Reddit post jokes about vibemathed.com after OpenAI's math manuscript release
A post on r/singularity says it feels bad for the people behind the site vibemathed.com following recent AI math developments.
- Reddit thread asks whether people feel bad for mathematicians
A post on r/singularity asks users whether they feel bad for mathematicians as AI systems tackle open math problems.
- OpenAI releases 722 mathematical manuscripts produced by an unreleased frontier model
OpenAI published a batch of mathematical manuscripts and supporting proof artifacts on GitHub under openai/math. Per The Verge, the batch holds 722 manuscripts covering 372 result families, with solutions to "hundreds" of open questions produced by an unreleased frontier model. An independent advisory group of elite mathematicians, AGMAI, was formed to communicate the results responsibly. The release extends a run of AI math breakthroughs that has impressed and unsettled parts of the mathematical community.