OpenAI заявила, что ИИ опроверг гипотезу экспоненциального времени

OpenAI заявляет, что её искусственный интеллект опроверг гипотезу экспоненциального времени. Согласно ей, самые сложные случаи задачи 3-SAT требуют экспоненциального времени. Если результат подтвердится, будет поставлено под сомнение одно из важнейших ограничений теоретической информатики.

Проблему P против NP это опровержение не решает. Доказательство формализовано в Lean и опубликовано на GitHub, но ему ещё предстоит независимая проверка, в том числе со стороны двух исследователей, предложивших саму гипотезу.

Токены в Claude Code

Ещё одна тема недели — скрипт компании Flamerix AI, отключающий автоматические сводки в Claude Code. По её оценке, они расходуют 15–20 % токенов. Чтобы каждые 30 секунд создавать подпись из нескольких слов, инструмент якобы отправляет модели полную историю каждого активного агента.

Anthropic подтверждает этот механизм, но оценивает его стоимость примерно в 2 % при работе через API и в 6 % в терминале. Компания уже начала внедрять исправление с использованием кэша.

«Одиссея» от Маска

Илон Маск вновь запустил Grok Imagine, чтобы создать сгенерированный ИИ сериал, который называет «исторически точным» и который вдохновлён поэмой Гомера. Проект должен конкурировать с экранизацией «Одиссеи» Кристофера Нолана. Маск публично критиковал кастинг Нолана и утверждал, что он продиктован требованиями разнообразия со стороны Академии.

Первый семиминутный эпизод создан совместно со студией Wonder Studios. Он демонстрирует прогресс в генерации видео с помощью ИИ, но и показывает застывшую анимацию, недостаток выразительности персонажей и резко разделённые отзывы.