Claude ne Fermat's Last Theorem kaise prove kiya, aur yeh itna bada deal kyun hai?
4 September ko Anthropic ne bataya ki Claude ne Prove2Me platform (Columbia University ke Tianyi Peng ka open-source tool) par dozens of agents ke through 11 din mein largely autonomously kaam karke FLT ka pehla end-to-end, computer-checked proof Lean mein complete kiya. Proof mein 13 million lines of Lean code hain — Mathlib se 5 guna bada — aur 29,500 se zyada intermediate theorems use hue. Mathematician Kevin Buzzard ne ise "extraordinary" bataya, kyunki mathematicians ne expect kiya tha ki Wiles ke original proof ko formalize karne mein kai saal lagenge.