OpenAI доверила нейросети Astra решение десяти математических задач

Исследователи OpenAI представили результаты работы системы, которой удалось справиться с задачами, остававшимися открытыми в научном сообществе на протяжении десяти лет и дольше. В их числе — опровержение гипотезы жесткости Конна, доказательство гипотезы Эрхарта и первое за последние 46 лет уточнение оценки плотности упаковки сфер. Модель не просто предложила варианты ответов, но и сформировала полноценные научные аргументы, которые позже были оформлены в статьи.

Компания настаивает на приоритете нейросети в авторстве этих открытий. По заявлению OpenAI, роль сотрудников свелась к подготовке текстов и технической формализации доказательств, тогда как интеллектуальная часть работы легла на Astra. Несмотря на успех, модель пока не справилась с «Проблемами тысячелетия», за которые математические институты предлагают премии в миллион долларов. Сейчас представленные доказательства ожидают независимой проверки экспертным сообществом, которой предстоит подтвердить корректность работы алгоритма.