In a groundbreaking achievement, Anthropic's AI, named Claude, has tackled the centuries-old Fermat's Last Theorem by generating a 13-million-line proof. This monumental task was completed over 11 days, showcasing the AI's capability to handle complex mathematical problems. The proof is designed to be verified by computers, eliminating the need for human trust in its accuracy. This development highlights the potential of AI in advancing mathematical research and problem-solving, demonstrating a significant leap in computational power and algorithmic sophistication.

The significance of this achievement lies in its method of verification. By creating a proof that can be checked by computers, Claude ensures that the solution is both reliable and free from human error. This approach could pave the way for future AI applications in cryptography and blockchain technology, particularly in enhancing the security and efficiency of Bitcoin and the Lightning Network.