Исследователи из Google DeepMind разработали две новые системы искусственного интеллекта, AlphaProof и AlphaGeometry 2, которые добились значительного прогресса в решении сложных математических задач. Эти системы работали в тандеме над решением задач из Международной математической олимпиады, глобального соревнования для талантливых учеников. Хотя они не завоевали золотую медаль, их результаты были близки к результатам лучших человеческих математиков. Системы ИИ продемонстрировали свои способности, решая задачи по алгебре, геометрии и теории чисел. В одной из задач они должны были доказать геометрическую связь между углами и серединами отрезков. Другое испытание включало навигацию по доске с скрытыми монстрами, что требовало стратегического движения и памяти. В целом, прорыв ИИ-систем приближает их к преодолению человеческих математиков в сложных математических областях.
www.theguardian.com
Google DeepMind takes step closer to cracking top-level maths
Create attached notes ...