ИИ решает геометрию: Прорыв AlphaGeometry

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