Excited to announce that my book, "The Proof in the Code," will be the first title from @quantabooks.bsky.social, a new collaboration between @simonsfoundation.org and @fsgbooks.bsky.social. Coming in Spring 2026, it's the story of how Lean is transforming math (and influencing AI via RL).
02.02.2025 16:49
👍 12
🔁 3
💬 0
📌 1