55SCIENCE
⚡ Markets: Demonstrates AI's expanding capabilities into highly abstract and logical domains, suggesting future applications in scientific research, software verification, and engineering. Reinforces the long-term investment thesis for leading AI research labs.AnthropicGoogleAmazon
An AI model from Anthropic has reportedly produced a 13-million-line, formally verified proof of Fermat's Last Theorem, a famous mathematical conjecture. The achievement marks a significant milestone in the use of AI for complex mathematical reasoning and formal verification.
West MSM: noneSci/Tech press 21 country
2 sources across the spectrum