OpenAI uploaded more than 700 AI-generated mathematical manuscripts to a public preprint repository in early October, claiming new mathematical results pending verification. Mathematicians have criticized the papers as sloppy and hard to verify, noting no human author is credited to take responsibility for the arguments, and OpenAI has not signed the Leiden Declaration on Artificial Intelligence and Mathematics, which calls for clear citation and disclosure practices.
nature.com
· 2026-11-06
A new Show HN project called Hacker Times reskins Hacker News content in a New York Times-style layout. Among the stories surfaced is a guest essay on Terence Tao's blog by Karthik C. S., Amit Sahai and Jie Xue, arguing mathematicians should value understanding over competition with peers or AI systems.
hackertimes.ca
· 2026-11-03
In a guest blog post, mathematician Frank Calegari responds to OpenAI's October 6 release of over 700 research papers, arguing the dump marks a turning point showing AI can make real contributions across mathematics. He criticizes the papers as poorly written, sometimes wrong, and inattentive to norms of attribution, while urging mathematicians to focus on what they can control—hiring, publishing, and training—rather than lamenting corporate behavior.
terrytao.wordpress.com
· 2026-11-01
In an October 2026 blog post, writer dynomight recounts how large language models progressed from being 'toys' in 2024 to tools many now consider essential for mathematical work by early 2026, changing dramatically within months of late 2025. The author estimates current AI tools make their own 'doing math' process about 50% more productive, even though AI can complete some tasks in minutes that once took hours.
dynomight.net
· 2026-10-26
The creator of erdosproblems.com, a database of open mathematics problems collected by Paul Erdős, says the site is changing how it handles submissions after a wave of AI-generated solutions arrived with little or no explanation. The founder notes that while AI has helped resolve some longstanding problems, it has also discouraged human mathematicians and led some to dismiss Erdős-style problems as trivial.
erdosproblems.com
· 2026-10-06
A mathematician writing about AI's rapid progress in solving hard math problems describes colleagues' reactions using Kübler-Ross's five stages of grief—denial, anger, bargaining, depression and acceptance. The piece highlights the Association for Human Mathematics, a group whose members pledge not to publish AI-generated outputs and can opt into an 'AI-free' commitment to work without such tools entirely.
xenaproject.wordpress.com
· 2026-10-01
OpenAI recently claimed its AI agents produced a solution addressing the Navier-Stokes equations, one of math's unsolved Millennium Problems, after running 10,000 agents for 88 hours. Mathematicians including Oxford's James Maynard and Brown's Javier Gómez-Serrano say the resulting proof, while apparently technically correct, is written in a form that is extremely difficult for humans to interpret or learn from.
futurism.com
· 2026-09-23
A group of prominent mathematicians, including Timothy Gowers, Ravi Vakil and Edward Witten, has launched the Advisory Group on Mathematics and Artificial Intelligence, based at Princeton's Institute for Advanced Study and online at agmai.org. The group aims to advise AI companies on how they present and release mathematical results and to serve as a communication channel between the mathematics community and the AI industry.
terrytao.wordpress.com
· 2026-09-21
In a guest post, 3Blue1Brown creator Grant Sanderson argues that as AI systems become capable of generating proofs without genuine understanding, mathematicians should formalize and reward 'motivated explanations' as academic work on par with solving open problems. He contends this shift would better reflect what mathematicians actually contribute beyond just producing correct proofs.
terrytao.wordpress.com
· 2026-09-19
OpenAI announced that its most advanced AI model produced a mathematical proof that the Navier–Stokes equations, which describe fluid flow, can generate a singularity — a point of physically impossible infinite speed. Mathematician George Karniadakis calculated that for air this breakdown occurs at a vortex width of about 70 nanometres, roughly the distance a molecule travels before colliding with another.
nature.com
· 2026-09-18
OpenAI announced it had solved part of the Navier–Stokes Millennium Prize Problem using an AI system, but the announcement via press release drew criticism for lacking transparency about verification and prior human contributions. Hours earlier, mathematicians Tristan Buckmaster and Levent Alpöge said they had reached a partial solution using AI tools from both OpenAI and Anthropic, raising questions about who deserves credit for the breakthrough.
nature.com
· 2026-09-16
Almost 5,000 mathematicians, including 25 Fields medalists, signed a declaration titled 'A Severe Misalignment of AI in Mathematics,' arguing that AI's success at solving famous problems is being mistaken for genuine mathematical progress. They contend that solving problems is merely a proxy for the real goal of conceptual insight, and that rapid AI-generated 'true/false' outputs could crowd out the slower work of idea generation rather than advance it.
seangoedecke.com
· 2026-09-15
GoKawiil