Theses
Claude formalizes for the first time an integral proof of Fermat's last theorem
In 11 days, largely autonomously, the model produced 13 million lines of Lean code and proved more than 30,000 intermediate theorems.