Fermat’s Last Theorem Prediction Market Spikes to 99% After Claude’s Lean Proof - tech-insider.org
9/10Anthropic's Claude AI model provided a Lean proof that caused the prediction market for Fermat’s Last Theorem to spike to 99%, highlighting a breakthrough in AI-assisted mathematical validation. This event underscores Claude's advanced reasoning and formalization capabilities in complex scientific domains.
