Разработанная Google DeepMind система искусственного интеллекта смогла найти решения девяти математических задач, поставленных венгерским ученым Палом Эрдешом. Как пишут исследователи в научном журнале Science, модернизация алгоритма AlphaProof позволила автоматизировать поиск доказательств и ускорить проверку сложных математических гипотез. Помимо задач Эрдеша, нейросеть доказала 44 утверждения, связанных с целочисленными последовательностями.
Читайте: Пенсии в России резко вырастут в октябре: кто получит прибавку
Над проектом работала группа специалистов под руководством научного сотрудника DeepMind Сварата Чадхури. Основой разработки стала система AlphaProof, ранее продемонстрировавшая способность решать математические задачи на уровне победителей и призеров Международной олимпиады по математике. Ее особенностью является использование языка Lean, позволяющего формализовать математические рассуждения и проверять правильность доказательств.
Для расширения возможностей AlphaProof специалисты объединили ее с большими языковыми моделями Google. Новая архитектура предусматривает работу множества независимых ИИ-агентов, которые предлагают варианты решения, проверяют возникающие идеи и оценивают перспективность дальнейших вычислений. При этом математические задачи и доказательства представляются на языке Lean.
Такой подход позволил уменьшить количество логических ошибок и недостоверных рассуждений, характерных для обычных языковых моделей. В ходе испытаний система справилась с девятью из 353 открытых задач Эрдеша. Кроме того, она подтвердила 44 из 492 гипотез, относящихся к Онлайн-энциклопедии целочисленных последовательностей.
Сравнение с обычными большими языковыми моделями показало, что новая система требует меньше попыток для получения доказательств и сокращает затраты вычислительных ресурсов. Разработчики также проверяли ее на других математических проблемах. По их оценке, аналогичный подход можно применять для исследований в теории графов и квантовой оптике, расширяя возможности искусственного интеллекта при решении научных задач.
Читайте также:
- Еще одна пандемия грозит России: количество больных стремительно увеличивается
- Россиянам грозят новые ограничения: что уже изменилось в октябре
- Платежки за ЖКХ резко выросли: сколько теперь придется платить россиянам
