AI od Anthropic sformalizowała dowód twierdzenia Fermata w 11 dni

Model Claude firmy Anthropic sformalizował dowód słynnego Ostatniego Twierdzenia Fermata w zaledwie 11 dni — wynik sprawdzony komputerowo liczy 13 milionów linii kodu. To przełomowy kamień milowy w matematyce, odnotowany przez czasopismo „Nature”. Twierdzenie, które przez ponad 350 lat opierało się matematykom, zostało po raz pierwszy dowiedzione przez Andrew Wilesa r., jednak nowy dowód jest w pełni sformalizowany i weryfikowalny maszynowo.

Podobne artykuły

💻 Technologia Claude AI pobił dziesięcioletni rekord matematyczny w 36 godzin Onet Wiadomości · 27d temu 📈 Biznes IPO Anthropic opóźnione do połowy października TVN24 · 1d temu 💻 Technologia IPO Anthropic może wycenić firmę na 2 bln dol. Zarząd kontroluje zewnętrzny trust Ars Technica · 3d temu