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