Anthropic recently announced that its Claude AI independently completed a formal proof of Fermat's Last Theorem in 11 days, generating approximately 13 million lines of machine-verifiable code, which has been verified as correct by mathematician Kevin Buzzard. The work was advanced in parallel by dozens of Claude agents, using the collaboration tool Prove2Me developed by the Peng Tian group to coordinate tasks via a real-time to-do list. Approximately 7% of the lines in the proof originated from earlier incorrect attempts, and the formalization was conducted using the Lean language, enabling every logical step to be checked by a computer.
xiyuShare
Source:Show original
Disclaimer: The information on this page may have been obtained from third parties and does not necessarily reflect the views or opinions of KuCoin. This content is provided for general informational purposes only, without any representation or warranty of any kind, nor shall it be construed as financial or investment advice. KuCoin shall not be liable for any errors or omissions, or for any outcomes resulting from the use of this information.
Investments in digital assets can be risky. Please carefully evaluate the risks of a product and your risk tolerance based on your own financial circumstances. For more information, please refer to our Terms of Use and Risk Disclosure.