Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
CMU and Google describe a verification loop for open mathematics
A July 2026 university report shows how proposal, automatic checking, and human review can be combined in research workflows.
Cognitive decomposition gives Olympiad-math systems more room to reason
An open-access Scientific Reports study compares single-agent and multi-agent strategies for reducing errors in multi-step mathematics.
The latest AI-math reports point to collaboration, not replacement
Across new benchmarks and workshops, the durable story is a division of labour between discovery systems and mathematical judgment.
Nature’s AI-and-mathematics editorial asks who should set the rules of discovery
A June 2026 Nature Machine Intelligence editorial frames the field’s tension: powerful new systems, uneven verification, and a call to keep mathematics human-centred.
The mathematics AI moment comes with solutions, limits, and new tensions
Nature Machine Intelligence surveys a fast-moving field and asks what mathematical verification can—and cannot—guarantee.
First Proof’s second batch tests whether AI can survive mathematical refereeing
Harvard’s latest First Proof report shifts attention from model claims to the human work required to check research-level solutions.
Mathematicians meet to define where AI belongs in the discipline
A Caltech report from an American Institute of Mathematics workshop captures a field thinking beyond both hype and rejection.
A rigorous unseen-problem test keeps human mathematical expertise in the lead
Nature reports that leading AI systems still trail top mathematicians when the problems are difficult, novel, and designed to resist memorised patterns.
A rigorous mathematics test puts AI progress in perspective
A new report is a useful reminder that solving selected problems is not the same as sustaining a research-quality mathematical argument.
Showing page 6 of 7 · 63 total