Daily AI news, sourcedOfficial news, first rumor reports and substantive progress. Each entry keeps the information published at that time.
- 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 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.
- 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.