#lean
Lean: 4 AI articles covering lean news, analysis, and research
Articles
Formalizing Inverse Problems in the Age of AI: Possibilities,⭐8
AutoIP autoformalizes classical linear regularization theory in Lean, showing that risks lie in formal statements not proofs—and invites the inverse problems co...
Axiom Math Wants to Keep AI Slop Out of Mathematics⭐8
Axiom Math formally verified the Stacks Project, translating 7,654 pages of math into computer-checked Lean code to keep AI slop out of mathematics.
‘Pure Insanity’: Mathematicians Will Need Years to Decode⭐9
OpenAI’s new AI model is generating mathematical proofs faster than academics can verify them, sparking a crisis over correctness and upended careers in mathema...
Unreleased Anthropic Model Makes Strides on the Riemann Hypothesis⭐9
Anthropic's unreleased AI model makes significant progress on the Riemann hypothesis, autonomously testing 650 approaches to improve the prime number theory bou...