Исследователи OpenAI представили результаты работы системы, которой удалось справиться с задачами, остававшимися открытыми в научном сообществе на протяжении десяти лет и дольше. В их числе — опровержение гипотезы жесткости Конна, доказательство гипотезы Эрхарта и первое за последние 46 лет уточнение оценки плотности упаковки сфер. Модель не просто предложила варианты ответов, но и сформировала полноценные научные аргументы, которые позже были оформлены в статьи.
OpenAI доверила нейросети Astra решение десяти математических задач
Десять нерешенных десятилетиями математических задач покорились модели Astra от OpenAI. Система самостоятельно выстроила логические цепочки доказательств, которые охватывают области от квантовой сложности вычислений до высокоразмерной геометрии, и верифицировала их с помощью языка Lean, при этом стоимость вычислительных затрат на весь процесс составила всего две тысячи долларов.
Компания настаивает на приоритете нейросети в авторстве этих открытий. По заявлению OpenAI, роль сотрудников свелась к подготовке текстов и технической формализации доказательств, тогда как интеллектуальная часть работы легла на Astra. Несмотря на успех, модель пока не справилась с «Проблемами тысячелетия», за которые математические институты предлагают премии в миллион долларов. Сейчас представленные доказательства ожидают независимой проверки экспертным сообществом, которой предстоит подтвердить корректность работы алгоритма.
Комментарии (0)
Пока нет комментариев. Будьте первым!