Next upHack for Humanity: San Francisco (powered by Google Gemini)Sat, Sep 19 · 15:45 PDT

Notify meSee schedule

Sign in Subscribe

Next upHack for Humanity: San Francisco (powered by Google Gemini)Sat, Sep 19 · 15:45 PDT

Notify meSee schedule

Lean 4

Everything tagged Lean 4.

Share your story Subscribe

Featured

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

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

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

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

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

Latest

No articles in this category yet.

Upcoming broadcasts

Notify me See full program

Subscribe to our newsletters

Pick the lists you care about — one email, unsubscribe anytime.

Popular topics

policy-safety-and-incidents funding-and-ma products-and-features foundation-models-and-research OpenAI industry-and-adoption Anthropic AI infrastructure infrastructure-and-compute nvidia AI agents AI safety