Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
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.
Quanta examines the new relationship between AI and mathematical discovery
A reported shift from skepticism to careful experimentation—and the questions it raises about originality and mathematical taste.
Wolfram argues for pairing language models with precise computation
Why symbolic computation and curated knowledge can act as a dependable mathematical layer for LLM applications.
Gemini Deep Think moves from math contests toward research collaboration
What changes when an AI system is paired with verification, browsing, and mathematicians instead of being asked for a one-shot answer?
SUMOP offers a necessary reminder: procedural math is not mathematical thinking
A critical perspective on what language models can imitate, what computational engines already do, and what learners still need to develop.
Showing page 7 of 7 · 63 total