Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
A reading map for math × technology: ten sources worth following
A curated starting point for following research, education, computation, programming, and the culture of mathematics in the AI era.
MathCoPilot reframes AI mathematics as guided formal collaboration
A July 16, 2026 arXiv study argues that frontier mathematical AI needs a mathematician in the loop, not just an autonomous prover.
Terence Tao uses coding agents to bring mathematical visualizations back to life
A practical example of using AI coding assistance for sandboxed, deterministic mathematical applets.
Cambridge Mathematics asks what it means for AI to “do maths”
An education-focused guide to separating correct answers, reasoning, representation, and mathematical understanding.
July’s AI-and-mathematics news: verification is becoming the story
A concise editorial roundup of the month’s research direction: stronger reasoning systems, stricter checks, and clearer roles for people.
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.
Showing page 8 of 10 · 86 total