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