ИИ решает геометрию: Прорыв AlphaGeometry
Система искусственного интеллекта AlphaGeometry от DeepMind продемонстрировала способность решать сложные геометрические задачи уровня Международной математической олимпиады.
В начале 2024 года Google DeepMind представила AlphaGeometry — систему, которая смогла решить 25 из 30 задач по геометрии из прошлых математических олимпиад за отведенное время. Это сопоставимо с результатами золотых медалистов. Уникальность системы заключается в объединении нейросетевой языковой модели с символическим движком дедукции, что позволяет не только находить ответ, но и строить строгие, читаемые человеком доказательства.