Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
BlueprintRepair turns failed Lean proof plans into smaller, cheaper AI repair jobs
Submitted to arXiv on July 30, 2026, a new formal-mathematics study shows that schema-checked local edits can repair failed Lean proof blueprints almost as effectively as free-form rewrites while using fewer tokens.
From lecture notes to Lean, a probability textbook becomes a checkable AI-era math resource
Submitted to arXiv on July 29, 2026, a new Lean formalization project argues that turning a probability textbook into machine-checked mathematics can strengthen both teaching and reliable AI-assisted proof work.
Nature warns that AI in mathematics needs rules before bad habits harden
Published on July 27, 2026, a new Nature World View argues that mathematics should set stronger norms for AI use now, before opaque tools, weak attribution, and low-quality machine-written papers become routine.
A learned Lean 4 tactic shows a cautious new path for AI inside formal proofs
Posted to arXiv on July 25, 2026, a new formal-mathematics paper shows how learned interventions can help Lean 4’s `grind` tactic solve harder theorems without disrupting proofs it already handled reliably.
AI-assisted Lean formalization turns a kinetic-theory proof into a checkable artifact
Dated July 22, 2026 on arXiv, a new case study shows how a mathematician-guided AI workflow formalized the Vlasov equation in Lean 4 and made the proof machine-checkable.
A new Scientific Reports study ties AI math tutoring to stronger retention
Published on July 22, 2026, an open-access study reports higher achievement, engagement, and delayed retention when Grade 12 math classes used an AI tutoring system alongside teacher-led instruction.
GeoGebra’s expanding resource library turns exploration into a lesson pathway
A practical guide to using GeoGebra’s topic maps, grade bands, interactive activities, and classroom workflow.
GeoGebra, Desmos, and Mathigon: choosing the right interactive surface
Three complementary platforms, three different strengths: dynamic geometry, rapid graphing, and hands-on virtual manipulatives.
Conjecture machines shift the AI-mathematics conversation toward validation
Google DeepMind’s July 2026 feature argues that generating scientific ideas is only half the challenge; reliable validation and research infrastructure are the next bottlenecks.
Showing page 7 of 10 · 86 total