Lean 4

Everything tagged Lean 4.

Share your storySubscribe

Featured

OpenAI says unreleased Astra model cracked ten decades-old math problems
News

OpenAI says unreleased Astra model cracked ten decades-old math problems

DP News TeamAug 1, 2026
UC Berkeley researcher says GPT-5.6 helped close a 30-year-old optimization complexity gap
News

UC Berkeley researcher says GPT-5.6 helped close a 30-year-old optimization complexity gap

Jul 14, 2026
Mistral releases Leanstral 1.5, a small model built for Lean 4 theorem proving
News

Mistral releases Leanstral 1.5, a small model built for Lean 4 theorem proving

Jun 30, 2026

Latest

No articles in this category yet.