breakthroughsWTF 8.3via r/singularity
Anthropic has formalised FLT!!
"LLMs just beat 350 years of math gatekeeping without a sweat."
Explain Like I'm Normal
Anthropic researchers successfully used AI to formalize Fermat's Last Theorem in the Lean 4 programming language. This represents a massive leap in AI reasoning, proving models can now handle complex, multi-step logical verification that previously required decades of human expertise.
#anthropic#math#formal-verification#reasoning
GET THE DAILY CHAOS
The only newsletter for people who read AI news at 3am and feel things. One email a day.