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