/ai-lean-verified-fluid-blowup-openai-dispute/ A Lean-Verified Fluid Blowup Proof, and the Fight Over Who Gets Credit Sep 9
/claude-fermats-last-theorem-lean-proof/ Claude Just Produced the First Computer-Checked Proof of Fermat's Last Theorem Sep 6