80SCIENCE
⚡ Markets: This breakthrough demonstrates the rapidly advancing capabilities of AI in highly specialized scientific fields, reinforcing the long-term investment thesis for leading AI research firms and the computing power that enables them.AnthropicNVDA
According to a report in Nature, an AI model from Anthropic has produced a formalized, computer-checkable proof of Fermat's Last Theorem. The process, which resulted in a 13-million-line proof, was completed in just 11 days, marking a major milestone in the use of AI for complex mathematics.
West MSM: noneSci/Tech press 11 country
1 sources across the spectrum