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