На Международной математической олимпиаде 2024 года произошел уникальный случай: среди работ, получивших серебряные медали, оказалось решение, созданное искусственным интеллектом. Это первый случай, когда ИИ продемонстрировал результаты, сопоставимые с сильнейшими школьниками. Система, разработанная Google DeepMind и названная AlphaProof, предназначена для создания строгих формальных доказательств. В отличие от традиционных языковых моделей, AlphaProof проверяет каждый шаг рассуждений с помощью системы Lean, что обеспечивает высокую степень точности.
Процесс обучения AlphaProof включал три этапа, начиная с анализа 300 миллиардов токенов и заканчивая решением 80 миллионов формализованных задач с использованием метода обучения с подкреплением. Технология, помимо олимпиад, может использоваться для проверки математических текстов и поиска ошибок.
Технологический прогресс также наблюдается в области дистанционного управления военной техникой, где пилоты управляют UH-60 Black Hawk удаленно, что значительно повышает безопасность операций.