Системы искусственного интеллекта Google DeepMind могут теперь решать сложные математические задачи

1. Google DeepMind разработал две системы искусственного интеллекта, AlphaProof и AlphaGeometry 2, которые могут решать сложные математические задачи, связанные с высококачественными рассуждениями. 2. Эти системы работали вместе, чтобы решить четыре из шести задач по международной математической олимпиаде (ММО), заработав серебряную медаль. 3. Это первый раз, когда какая-либо система ИИ добилась такой высокой успеваемости в решении таких задач. 4. Математические задачи, связанные с высококачественными рассуждениями, сложны для систем ИИ, потому что они требуют формирования и использования абстракций, сложного иерархического планирования и постановки подцелей. 5. AlphaProof - это система, основанная на обучении с подкреплением, которая учится доказывать математические утверждения в формальном языке программирования Lean. 6. Gemini AI настроен для автоматического перевода математических задач из естественного языка в формальные утверждения, создавая крупную библиотеку формальных математических задач. 7. Автоматизация этого процесса - это большой шаг вперед для математического сообщества, позволяющий обеспечивать большую уверенность в точности опубликованных результатов и более тесное сотрудничество. 8. AlphaGeometry 2 был оптимизирован для решения задач по геометрии и был обучен на значительно большем количестве синтетических данных, чем его предшественник. 9. Два известных математика проверили подачи систем и присудили им общую сумму в 28 баллов из максимальных 42, что заработало бы серебряную медаль для человека-участника. 10. Создание систем ИИ, способных решать более сложные математические задачи, может открывать путь для захватывающих взаимодействий между человеком и ИИ и помочь нам узнать больше о том, как люди решают математические задачи.