Stephen Wolfram published commentary and a video addressing claims that AI systems solving math problems could make human mathematicians obsolete. He draws on his experience introducing Mathematica in 1988, arguing similar predictions arose then but instead elevated the level of math people could do rather than replacing mathematicians. Wolfram contends pure mathematics is not merely about solving problems like symbolic integration but is a centuries-old intellectual tradition dating to Plato and Euclid.
writings.stephenwolfram.com
· 2026-10-04
A new book recounts how Lean, a program originally developed to catch bugs in Microsoft's software, was repurposed by mathematicians to formally verify proofs. The review describes its journey from an internal engineering tool to a system now used to check mathematical arguments with machine-level rigor.
wsj.com
· 2026-10-02
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
A group of mathematicians published recommendations for how AI labs should responsibly share mathematical results generated by their models, after collecting over 600 responses from the mathematical community. The recommendations call on labs to stop testing advanced mathematical problems on proprietary models that remain inaccessible to outside researchers.
agmai.org
· 2026-09-30
OpenAI has formed an independent nine-member Advisory Group on Mathematics and Artificial Intelligence, announced via a post on Terence Tao's blog, meant to help review and communicate the company's mathematical results. The group's first task is reportedly helping coordinate release of numerous new results from an unreleased OpenAI model, but mathematicians who spoke to The Verge, including a group member, described the rollout as messy and confusing.
theverge.com
· 2026-09-28
In a guest blog post, mathematician Amit Sahai says AI systems he has worked with are producing genuinely new mathematical ideas, not just fast calculations or restating known arguments. He argues this will make many researchers feel unable to keep pace, echoing struggles once faced by undergraduates who abandoned math research because top peers grasped concepts faster than they could.
terrytao.wordpress.com
· 2026-09-26
A developer building the habit-tracker app Main Character reported reaching 1,000 consecutive days of daily math practice on Math Academy, progressing from Math Foundations through Mathematics for Machine Learning. They disclosed that relying on notes and answer-checking during difficult lessons masked underlying weaknesses, prompting them to reset their course progress and restart.
gmays.com
· 2026-09-23
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
OpenAI announced a proof addressing the Navier-Stokes problem, one of the Clay Mathematics Institute's Millennium Prize challenges, generated with help from an internal large language model. Mathematicians, including Luis Silvestre of the University of Chicago, argue the proof relies on introducing an external force that alters the equations into a version disconnected from real fluid behavior. Three mathematicians have since posted their own proof showing OpenAI's method cannot be extended to resolve the original, unmodified problem.
scientificamerican.com
· 2026-09-22
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
A website hosts several hundred paper models of polyhedra, the geometric solids that have long drawn interest from mathematicians and artists. Visitors can browse pictures of the shapes and click through to printable nets that let them assemble the models themselves at no cost.
polyhedra.net
· 2026-09-20
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
GoKawiil