Сможет ли человек удержать лидерство?
Компания Google DeepMind объявила о значительном прогрессе в области искусственного интеллекта. Специализированные ИИ-системы AlphaProof и AlphaGeometry 2 смогли успешно решить четыре из шести задач на Международной математической олимпиаде (IMO), заслужив эквивалент серебряной медали.
AlphaProof и AlphaGeometry 2 представляют собой передовые системы, обученные решать сложные математические задачи с использованием продвинутых методов логического мышления. Эти системы впервые достигли столь высокого уровня успеха в решении задач на IMO. Проект возглавлял вице-президент Google DeepMind по исследованиям Пушмит Коли, который отметил, что до настоящего времени не существовало подобных систем, способных решать задачи с такой степенью универсальности и точности.
Решение математических задач требует абстрактного мышления, сложного иерархического планирования и способности к обратной связи и поиску новых путей. Эти аспекты являются серьезным вызовом для ИИ. Однако AlphaProof и AlphaGeometry 2 смогли преодолеть эти трудности благодаря использованию усиленного обучения и формальных языков программирования.
AlphaProof основан на версии модели Gemini от DeepMind, которая автоматически переводит математические задачи, сформулированные на естественном языке, в формальные математические утверждения. Это значительно упрощает процесс обработки задач ИИ. AlphaGeometry 2, в свою очередь, была оптимизирована для решения задач, связанных с движением объектов и уравнениями, включающими углы, соотношения и расстояния.
Для проверки возможностей систем исследователи Google DeepMind поставили перед ними задачи текущего года Международной математической олимпиады. AlphaProof успешно решила две задачи по алгебре и одну задачу по теории чисел, включая самую сложную задачу соревнования. AlphaGeometry 2 справилась с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными.
Результаты работы систем были проверены и высоко оценены известными математиками Тимом Гауэрсом и Джозефом Майерсом. Системы набрали 28 из 42 возможных баллов, что соответствует серебряной медали на IMO. Этот результат является значительным скачком в развитии ИИ в области математики.
Создание ИИ-систем, способных решать сложные математические задачи, открывает новые возможности для сотрудничества между людьми и машинами. Это может помочь математикам как в решении существующих задач, так и в создании новых проблем, что в свою очередь, способствует более глубокому пониманию того, как люди решают сложные математические задачи.
Развитие таких систем продолжает оставаться актуальной задачей, и дальнейшие исследования помогут улучшить их производительность и расширить их применение в других областях математики.