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
- Community operator shares 80%+ renewal rates and members' $50k/month milestones — gefei55 · 2026-10-30
- a16z partners: 10-20M people drive $150-200B in token spend, and AI workspaces will eat the browser — petergyang · 2026-10-30
- Reddit shares crash 26.12% in a single day, Polymarket reports — Polymarket · 2026-10-30
- AI short film Nexus ep 7 cost $28,775 to make, creator shares full breakdown — NightsRadiant · 2026-10-30
- China's STAR 50 down ~40% from July peak, erasing ~$480B as Unitree halves since IPO — sudoraohacker · 2026-10-30
- Nearly $1 Trillion Wiped From US Stocks at Open as AI Chip Stocks Lead Selloff — CurieuxExplorer · 2026-10-30