Информатик Скотт Ааронсон: модель OpenAI за один день опубликовала 372 математических результата
Информатик Скотт Ааронсон пишет в блоге, что OpenAI выпустила 372 математических результата, включая доказательство гипотезы об уникальных играх. Пока ни один человек не разобрался в этих доказательствах полностью, и исследователи начали их изучать.
Специалист по теоретической информатике Скотт Ааронсон написал в блоге о дне, который он считает одним из самых значимых в истории математики. OpenAI разом опубликовала 372 результата по рекомендации консультативной группы, в которую входят Тимоти Гауэрс, Эдвард Виттен и другие математики. Среди них, как сообщается, есть доказательство гипотезы об уникальных играх (UGC) Субхаша Хота. Над её доказательством всю карьеру работала жена Ааронсона, специалист по теории сложности Дана Мошковиц.
Доказательства пока не поняты
К части результатов приложен сертификат Lean, но не ко всем. По словам Ааронсона, почти ни одно из доказательств пока не понято человеком. Мошковиц поделилась первыми впечатлениями: работа написана очень плохо, ссылки часто не по теме, а читать её без помощи ИИ трудно. В доказательстве используется совершенно новая рекурсивная конструкция кода.
Другие упомянутые результаты
ААронсон перечисляет и другие достижения: равенство L=BPL, более быстрое преобразование Фурье и умножение целых чисел, чем за O(n log n), положительное решение задачи об унитарном синтезе, доказательство того, что чётность не входит в QAC0, почти четвёртую степень разрыва между рандомизированной и квантовой сложностью запросов и умножение матриц за время O(n^(9/4)). В списке есть и частичный прогресс по гипотезе Римана, гипотезе Ходжа и гипотезе Бёрча — Суиннертон-Дайера. P≠NP в списке нет.
Два способа публикации
За два дня до этого Вирджиния Уильямс и Джош Алман выложили препринт о задачах 3SUM и кратчайших путей между всеми парами вершин, в основе которого лежит идея модели Anthropic. В отличие от OpenAI, Anthropic не публиковала сырые решения. За вознаграждение компания позволила исследователям самим написать и объявить отшлифованную версию. Ааронсон называет это двумя основными моделями обнародования прорывов ИИ и отмечает слабые стороны каждой.
Модель и масштаб
По словам Ааронсона, результаты получила новейшая внутренняя модель OpenAI, которая в течение пары месяцев может стать доступной платным пользователям. В среднем на одну задачу ушло около трёх часов вычислений. Модель испытали примерно на 8000 задач, то есть она решила около 5% из них.
