System AI oparty na modelu Anthropic udowodnił hipotezę Aaronsona–Ambainis z 2008 roku dotyczącą granic przewagi obliczeń kwantowych. Dowód zawiera 648 zweryfikowanych maszynowo twierdzeń i został w pełni zaakceptowany przez asystent dowodów Lean 4.
Przez 18 lat hipoteza Aaronsona i Ambainis czekała jak zamknięty sejf, do którego matematycy szukali właściwego klucza. Teraz AI oparte na modelu Anthropic nie tylko ten sejf otworzyło, ale zrobiło to w sposób, który można sprawdzić krok po kroku: 648 twierdzeń, każde zweryfikowane przez asystent dowodów Lean 4, żadnych luk ani "uwierzcie nam na słowo".
Brzmi jak triumf epoki? Być może. Warto jednak zapytać, czy AI naprawdę rozumie to, co udowodniło, czy jedynie żongluje symbolami z nieludzką precyzją, bo to fundamentalna różnica między narzędziem a matematykiem.
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