Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
Mathematicians build on an AI manuscript in a new Falconer distance preprint
An October 15 preprint develops a quantitative planar argument based on an OpenAI mathematics manuscript, with its proof awaiting independent scrutiny.
LeanGraphSearch uses library dependencies to guide AI proof search
An October preprint tests whether following Mathlib’s dependency graph can help an AI prover find the supporting lemmas it needs.
IneqAgent combines AI search and exact computation to prove inequalities
An October preprint explores how language models, symbolic calculations and Lean can work together on inequality proofs.
LeanPRM trains AI proof checkers from Lean-verified mathematical steps
An October 13 preprint uses Lean to label individual steps in AI-written mathematical proofs, then trains a natural-language verifier on those labels.
claimcheck tests whether AI formalizations say what the mathematics intended
A new preprint evaluates whether AI-generated formal statements in Lean, Isabelle and Rocq preserve the meaning of the original mathematical requirement.
A new preprint traces an AI-discovered route to a kinetic-equation estimate
An October 9 preprint presents an Aleksandrov-type estimate for kinetic equations and says its proof was discovered by Astra before being explained in simpler settings.
LEVER steers AI proof search toward cheaper, more focused Lean proofs
An October 8 preprint proposes optimizing proof quality and search cost while Lean continues to check the finished proof.
GeoReform asks AI to improve the diagrams it uses to solve geometry
An October 8 preprint treats the representation of a geometry diagram as something an AI system can revise after learning from its own failures.
OpenAI releases AI-generated mathematics with Lean formalizations and revision records
The October 6 release makes a large set of model-produced results available for scrutiny, but publication and formalization do not replace independent mathematical review.
Showing page 2 of 10 · 86 total