55SCIENCE
⚡ Markets: Showcases the rapidly advancing capabilities of AI in complex, abstract reasoning, which could accelerate R&D across many scientific and industrial fields. Positive for companies developing advanced AI models.
Anthropic's AI model Claude reportedly formalized a proof for Fermat's Last Theorem, a famous 350-year-old mathematical problem, in just 11 days. The AI generated a 13-million-line proof written in a formal language that can be verified by a computer, representing a milestone in AI-assisted mathematical research.
West MSM: noneSci/Tech press 1Financial press 12 countries
2 sources across the spectrum