- Google DeepMind раскрыла принципы работы нейросети AlphaProof, побеждающей в олимпиадах по математике.
- ИИ-инструменты помогли «перевести» математические проблемы на язык, понятный нейросетям.
- Разработан подход на базе больших языковых моделей для автоматической формализации 80 млн математических проблем.
- Deepmind уже более 10 лет лидирует в разработке систем ИИ, включая AlphaZero и AlphaGeometry.
- AlphaProof использует «игровые» подходы и алгоритм на базе Gemini для решения сложных задач по геометрии и математике.
- Виртуальный «учитель» математики для нейросети позволяет проверять ответы и находить проблемы в доказательствах.
- Комбинация подходов позволила AlphaProof превзойти другие «математические» ИИ и достичь уровня призеров и победителей олимпиад.
- Подобные системы ИИ могут стать помощниками для ведущих математиков и поиска доказательств для новых теорем.
В Google раскрыли механизм работы ИИ, побеждающего в олимпиадах по математике
12 ноя 2025
Краткий пересказ
от нейросети YandexGPT
Источник:
nauka.tass.ru
Обложка: Изображение из статьи