Anthropic's Claude formalizes Fermat's Last Theorem in Lean, largely autonomously in 11 days
thione · x · 2026-09-15
- Fermat formalized by Claude: Anthropic published Claude's computer-checked Lean formalization of Fermat's Last Theorem, completed largely autonomously over 11 days.
- Cognition's mega round: In the same recap, Cognition raised over $2B at a $48B valuation, with Devin's run-rate revenue climbing from $492M to nearly $900M.
More from Venture
- OpenAI CFO says 80% Luna price cut drove a 10X usage surge — Beth_Kindig · 2026-09-15
- Is $1,000/Month Too Low for a Vapi Voice Agent Plus n8n Chatbot Package? — Guilty_Assignment987 · 2026-09-15
- Jim Cramer heads to Dreamforce to investigate the AI slowdown narrative — matt_slotnick · 2026-09-15
- Half of software buyers now start with an AI prompt instead of Google, says G2 — sanderssays · 2026-09-15
- Cognition raises $2B at $48B valuation as Devin's run-rate revenue jumps to nearly $900M — thione · 2026-09-15
- Meta launches Muse, a personal AI agent working across apps from a secure dedicated cloud VM — thione · 2026-09-15