Lean
3 saves·entity·peaked week of Aug 31, 2026
Weekly volume
Shows up alongside
Topics tagged on the same saves.
Who’s driving it
Most-saved authors on this topic.
Recent saves
The items behind the chart, newest first.
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last mont…
@AnthropicAI·Sep 4, 2026↗
New OpenAI repo with a Lean formalization by GPT-6-Astra proves that there are infinitely many pairs of consecutive primes whose distance is at most 186 https://t.co/kegFNJKQrq https://t.co/bc8k6H1O…
@scaling01·Sep 3, 2026↗
An internal version of Astra, our next major model, found new results across 10 long-standing open problems in math and theoretical computer science. The total token cost to find all 10 solutions? R…
@reach_vb·Aug 1, 2026↗