В подразделении Google Deepmind созданы две новые системы искусственного интеллекта, AlphaProof и AlphaGeometry 2, способные решать сложные математические задачи. Им удалось решить четыре задачи с последней Международной математической олимпиады, причем одна из них была решена за несколько минут. На другие, впрочем, потребовалось больше времени — до трех суток. На олимпиаде участникам дается лишь 4,5 часа на решение всех шести задач. Зато AlphaProof смогла решить самую сложную из задач олимпиады этого года, с которой справились только пятеро из 600 участников. AlphaProof была создана на основе языковой модели Gemini и системы искусственного интеллекта AlphaZero, которая победила людей в шахматах и го.

Современные большие языковые модели работают в основном по статистическому принципу, подыскивая при составлении ответа наиболее вероятные для данного контекста слова. Поэтому они с трудом справляются с математическими и логическими задачами.