#research

Research

1190 stories tagged Research · page 29 of 50

Terry Tao Became an Evangelist for AI in Math
general

Terry Tao Became an Evangelist for AI in Math

Terry Tao, a Fields Medal-winning mathematician, has become a leading advocate for integrating AI into mathematical research. He argues that AI can assist in discovering new patterns and solving problems that have long resisted human effort, potentially transforming how mathematics is done.

via Hacker News AI#AI#Math#Research
LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization
research

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

Researchers introduced LeanMarathon, a multi-agent AI system designed to help mathematicians formalize and prove complex theorems in the Lean proof assistant. It uses four contract-scoped agents to construct, audit, prove, and repair an evolving blueprint that serves as a formal proof skeleton, natural-language proof graph, and shared system of record, addressing issues like statement drift, tangled dependencies, and context decay.