ИИ от Google решил открытую задачу из Куровской тетради
AI co-mathematician — это новая система, созданная Google DeepMind, которая представляет собой не обычный чатбот, а агентная платформа на базе модели Gemini 3.1. Она задумана как рабочее пространство для математика с командой ИИ‑агентов. Эта система уже помогла топологу Марку Лакенби закрыть задачу 21.10 из Куровской тетради — сборника открытых задач по теории групп, который ведётся в Новосибирске с 1965 года. Параллельно система установила новый рекорд на математическом бенчмарке FrontierMath Tier 4, показав 48% правильных ответов...
