OpenAI за день решила сотни математических задач: реакция математиков и контекст недели

6 октября OpenAI выложила в открытый доступ более 700 рукописей с полными и частичными решениями свыше 370 открытых математических задач. Новая внутренняя фронтирная модель компании работала над каждой задачей в среднем по три часа.

Среди решённых проблем — известные нерешённые задачи, включая доказательство оптимальности укладки 11 квадратов в больший квадрат, найденное ещё в 1979 году. Модель также решила Unique Games Conjecture, над которой ранее работали математики, в том числе супруга Скотта Ааронсона.

Реакции математиков оказались смешанными. Теренс Тао опубликовал открытое письмо, в котором предложил пересмотреть критерии ценности математических решений в эпоху ИИ. Некоторые специалисты сформировали ассоциацию, выступающую против сотрудничества с коммерческими AI-лабораториями.

Впоследствии OpenAI отозвала три рукописи из-за ошибок и исправила ещё 14. Только 42 % решений были формализованы на языке Lean для автоматической проверки.

В криптографии компания не опубликовала ни одного нового решения. Anthropic, в свою очередь, передала результат по задаче 3SUM математикам для доработки и публикации в виде научной статьи.

Скотт Ааронсон отметил масштабный сдвиг парадигмы, но подчеркнул, что математика не закончилась — предстоит адаптироваться к новым правилам взаимодействия человека и ИИ.

Источник: https://habr.com/ru/articles/1092780/?utm_campaign=1092780&utm_source=habrahabr&utm_medium=rss