W skrócie
- OpenAI i Anthropic twierdzą, że ich modele znalazły algorytm, który obala Hipotezę Czasu Wykładniczego (ETH).
- Wynik Anthropic jest opublikowany z formalnym dowodem w języku Lean, ale bez niezależnej recenzji.
- Wynik jest teoretyczny i nie przyspiesza liczenia w praktyce.
Najkrócej: 27.10.2026 OpenAI i Anthropic ogłosiły, że ich modele znalazły algorytm, który obala Hipotezę Czasu Wykładniczego (ETH), jedno z ważnych założeń w informatyce. Według TechCrunch środowisko naukowe reaguje mieszanką ekscytacji i ostrożności.
Co twierdzą firmy
- Anthropic opublikował w repozytorium artykuł, w którym algorytm rozwiązuje 3-SAT w czasie podwykładniczym, czyli szybciej, niż zakładała ETH.
- Według repozytorium wynik znalazł wewnętrzny model Claude, a zapis dowodu w języku Lean napisały modele AI.
- Repozytorium zastrzega, że wynik jest czysto teoretyczny i nic nie mówi o szybkości rozwiązywania zadań w praktyce.
- Według TechCrunch podobny wynik zgłosiło wcześniej OpenAI, a matematyk z Anthropic zasugerował, że opierał się na istniejących pracach.
Co jeszcze nie jest pewne
- Anthropic nie podaje niezależnej recenzji. Repozytorium przyznaje, że zgodność zapisu w Lean z artykułem trzeba sprawdzić ręcznie, a przy budowie pojawiają się dwa ostrzeżenia o brakujących dowodach w pliku porównawczym.
- Ryan Williams z MIT organizuje reakcję środowiska. Według TechCrunch uważa część dowodu za rutynową, ale „dwie, trzy obco wyglądające części” wymagają wspólnej pracy.
- OpenAI zapewnia, że sprawdziło, czy wynik łamie szyfrowanie, i jest w tym raczej pewne.
Jak to czytać
To deklaracje producentów modeli, które mają interes w pokazywaniu przełomów. Dopóki eksperci nie potwierdzą dowodu, traktuję to jako obiecujące, a nie rozstrzygnięte. Więcej o badaniach piszę w hubie badania i papery.