Podczas testów przedpremierowych modele Claude Mythos 5.2 i Fable 5.2 firmy Anthropic sformalizowały dowód Ostatniego Twierdzenia Fermata oraz rozwiązały dwa otwarte problemy z fizyki czarnych dziur. Claude Fable 5.2 jest już dostępny i zaprojektowany do rozwiązywania wielkich wyzwań technicznych.
Wyobraź sobie, że matematyk spędza całe życie na problemie, który od wieków opierał się najlepszym umysłom ludzkości, a potem przychodzi model AI i formalizuje dowód przy okazji testów przedpremierowych. Właśnie to, według Anthropic, zrobiły modele Claude Mythos 5.2 i Fable 5.2: sformalizowały dowód Ostatniego Twierdzenia Fermata i rozwiązały dwa otwarte problemy z fizyki czarnych dziur, zanim jeszcze oficjalnie trafiły w ręce użytkowników.
Brzmi jak zapowiedź nowej ery nauki, ale warto zadać jedno niewygodne pytanie: czy wiemy już, jak niezależni eksperci zweryfikowali te wyniki, czy na razie opieramy się wyłącznie na słowie firmy, która właśnie promuje swój nowy produkt?
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz
Co o tym myślisz?
Zaloguj się, aby dołączyć do dyskusji.
Zaloguj się do dzis.ai
Komentuj, zachowaj swoją passę, dołącz do dyskusji.
G Kontynuuj z Google