Nieopublikowany model AI firmy Anthropic rozwiązał w zaledwie 3 dni osiemnastoletnie przypuszczenie z dziedziny obliczeń kwantowych. Dowód ustala fundamentalne ograniczenia przyspieszeń kwantowych i został formalnie zweryfikowany przy użyciu systemu Lean.
Osiemnaście lat czekania i trzy dni roboty, to brzmi jak fabuła filmu science fiction, ale właśnie tak wygląda rzeczywistość. Nieopublikowany model Anthropic rozwiązał matematyczne przypuszczenie z dziedziny obliczeń kwantowych, które od prawie dwóch dekad opierało się najlepszym ludzkim umysłom. Co ważne, dowód nie wisi w próżni: formalnie zweryfikował go system Lean, czyli matematyczny "arbiter", który nie odpuszcza błędów.
Zanim jednak wpadniemy w zachwyt bez granic, warto zadać jedno niewygodne pytanie: skoro model jest wciąż nieopublikowany, kto i na jakich zasadach będzie mógł sprawdzić nie tylko dowód, ale i sam proces jego powstawania?
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz w oryginalnym artykule.
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