Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
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.
A research-level benchmark makes AI mathematics harder to oversell
The Simons Institute reports a benchmark designed to separate genuine mathematical progress from pattern-matching success.
A new survey maps the AI-for-mathematics field—and its measurement traps
A June 2026 survey brings benchmarks, formal proof, multimodal reasoning, and reporting discipline into one research map.
AlphaEvolve shows how search, code, and evaluation can improve algorithms
A look at an evolutionary coding agent and the mathematical role of measurable evaluation.
A smoother mathematical layer helps AI approach inverse PDEs
ScienceDaily reports on a method that improves stability when models infer hidden causes from noisy observations.
MathNet gives reasoning models a larger, more global mathematics test
MIT and collaborators open a multilingual, multimodal collection of competition problems for researchers, teachers, and learners.
Showing page 3 of 4 · 31 total