OpenAI « Astra » предположительно решил 10 открытых задач в математике и Computer Science — ждём доказательств

Noam Brown публикует, комментарии на HN: внутренняя модель, возможно, решила десять крупных открытых проблем. Ничего не опубликовано. Наблюдаем, но не делаем выводов.

Простыми словами. Исследователь OpenAI Ноам Браун (@polynoamial) сообщает, что внутренняя модель под названием Astra якобы решила десять крупных открытых проблем в математике и информатике. Доказательства не опубликованы.

Факт

Пост, распространённый на Hacker News (пункт 49143688) 2 августа 2026 года, не приводит точный список десяти проблем. Одна из них (номер 6) якобы основана на работах исследователя Генри Юэна (теория квантовой сложности). На момент написания этого текста ни одно письменное доказательство не доступно публично.

Наше мнение

Это объявление не первое. Напомним публикацию #1342: результат OpenAI по давней тридцатилетней задаче выпуклой оптимизации, представленный до экспертной оценки. Сегодняшняя дискуссия на Hacker News поднимает ту же критику — необходимо дождаться публикации доказательств, чтобы лично проверить математику — и подчёркивает контраст со стандартными научными практиками: размещение на arXiv, рецензирование, репликация. Ни катастрофизма, ни ажиотажа: мы фиксируем объявление, откладываем суждение до появления доказательств.

Этот вопрос важен, потому что, если подтвердится, он сместит планку того, что продвинутые LLM действительно способны делать в математическом рассуждении — не просто имитировать цепочки вывода, а генерировать новые проверяемые доказательства. Именно здесь проходит граница между исследованиями и ажиотажем.

На что обратить внимание

Официальная публикация доказательств (arXiv, блог OpenAI); перечисление десяти проблем; реакция Генри Юэна и других математиков; независимая репликация.