OpenAI: nasza AI obaliła hipotezę czasu wykładniczego dla 3-SAT

OpenAI przekonuje, że jego sztuczna inteligencja obaliła hipotezę czasu wykładniczego. Zgodnie z nią najtrudniejsze przypadki problemu 3-SAT wymagają czasu rosnącego wykładniczo. Jeśli wynik się potwierdzi, podważy to jedno z kluczowych ograniczeń teoretycznej informatyki.

Obalenie nie rozwiązałoby jednak słynnego problemu P kontra NP. Dowód został sformalizowany w systemie Lean i opublikowany na GitHubie, ale wciąż czeka na niezależną weryfikację. Mają się nią zająć m.in. dwaj badacze, którzy sformułowali tę hipotezę.

Tokeny w Claude Code

W tygodniu głośno było też o skrypcie firmy Flamerix AI, który wyłącza automatyczne podsumowania w Claude Code. Według autorów odpowiadają one za 15–20 proc. zużywanych tokenów. Aby co 30 sekund wygenerować etykietę złożoną z kilku słów, narzędzie miało przesyłać modelowi pełną historię każdego aktywnego agenta.

Anthropic potwierdza ten mechanizm, ale szacuje jego koszt znacznie niżej: około 2 proc. przy korzystaniu z API i 6 proc. w terminalu. Firma zaczęła już wdrażać poprawkę wykorzystującą pamięć podręczną.

Odyseja według Muska

Elon Musk ponownie uruchomił Grok Imagine, by stworzyć generowaną przez AI fabułę „historycznie dokładną”, inspirowaną poematem Homera. Ma ona konkurować z adaptacją Odysei w reżyserii Christophera Nolana. Musk publicznie krytykował obsadę Nolana i twierdził, że wynikała ona z wymogów różnorodności narzucanych przez Akademię.

Siedmiominutowy odcinek otwierający powstał we współpracy z Wonder Studios. Pokazuje postępy w generowaniu wideo przez AI, lecz także nieruchome animacje i brak przekonującej gry aktorskiej. Reakcje są mocno podzielone.