Найдены решения для девяти "вечных" математических задач

Специалисты Google DeepMind адаптировали свою систему математического ИИ AlphaProof для эффективного поиска решений "вечных" математических задач и создания строгих алгоритмов проверки теорем. Это позволило решить девять из 353 задач, предложенных венгерским математиком Палом Эрдешом, как сообщается в статье в журнале Science. Об этом сообщает ТАСС.

Созданная агентная система самостоятельно ищет решения сложных математических задач и формулирует строгие доказательства на языке Lean. Она не только решила девять задач, но и доказала 44 гипотезы из 492, связанных с Онлайн-энциклопедией целочисленных последовательностей.

Разработка системы ИИ была осуществлена группой исследователей под руководством Сварата Чадхури в DeepMind, используя нейросеть AlphaProof, которая решает задачи на уровне призеров Международной олимпиады по математике. Успех AlphaProof заключается в её способности писать алгоритмы на языке Lean, что позволяет проверять доказательства теорем и анализировать умозаключения.

Недавно исследователи улучшили творческие способности AlphaProof, объединив её с большими языковыми моделями от Google. Эта система анализирует задачи на языке Lean и находит решения с помощью независимых субагентов, которые используют AlphaProof для генерации новых идей, их проверки и оценки перспектив.

Такой подход помогает избежать проблем больших языковых моделей, связанных с галлюцинациями и логическими ошибками, что было проверено на множестве открытых задач Эрдеша и других математических проблем.

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

Больше новостей и эксклюзивных видео смотрите в канале Самара Онлайн 24 в MAX