Blog — Latest in Math Tech & AI
News, studies, deep-dives, and trends at the intersection of mathematics and AI.
AI-designed proof interfaces show gains in Rocq, tradeoffs in Lean
A September 30 preprint tests whether better tools can make AI mathematical proofs more efficient.
GenLimitLib tests reusable Lean libraries for AI mathematics
A September 29 preprint explores how organized formal mathematics can help AI develop checked proofs.
Wolfram outlines language plans for AI-assisted pure mathematics
A September 28 essay describes work toward mathematical representations that humans and AI can inspect.
MathAgent study finds mixed benefits from knowledge graphs in proof search
A September 28 preprint tests when extra mathematical context helps AI theorem provers.
ProofGap tests AI on individual steps in mathematical analysis
A September 24 preprint offers a closer look at where formal reasoning succeeds or fails.
REAT explores how AI math tutors can reuse teaching experience
A September 24 preprint tests reusable teaching guidance in simulated mathematics conversations.
AI study explores how to choose mathematical conjectures
A September 23 preprint tackles a question beyond proof generation: which statements deserve attention?
Training AI for proof search improves Lean benchmark results
A September 22 preprint tests training that accounts for the search process used to find formal proofs.
Independent mathematics group to advise on AI research results
A September 21 announcement puts the review and communication of AI-generated mathematics on the agenda.
Showing page 1 of 8 · 64 total