AI-помощник математика: Ускорение работы математиков с помощью агентного искусственного интеллекта
AI Co-Mathematician: Accelerating Mathematicians with Agentic AI
May 7, 2026
Авторы: Daniel Zheng, Ingrid von Glehn, Yori Zwols, Iuliya Beloshapka, Lars Buesing, Daniel M. Roy, Martin Wattenberg, Bogdan Georgiev, Tatiana Schmidt, Andrew Cowie, Fernanda Viegas, Dimitri Kanevsky, Vineet Kahlon, Hartmut Maennel, Sophia Alj, George Holland, Alex Davies, Pushmeet Kohli
cs.AI
Аннотация
Мы представляем ИИ-со-математика — рабочую среду, позволяющую математикам интерактивно использовать ИИ-агентов для проведения открытых исследований. Система оптимизирована для комплексной поддержки исследовательской и итеративной реальности математических рабочих процессов, включая генерацию идей, поиск литературы, вычислительные эксперименты, доказательство теорем и построение теорий. Предоставляя асинхронное, сохраняющее состояние рабочее пространство, которое управляет неопределенностью, уточняет намерения пользователя, отслеживает опровергнутые гипотезы и выдает готовые математические артефакты, система воспроизводит принципы человеческой коллаборации. В первых тестах ИИ-со-математик помог исследователям решить открытые проблемы, определить новые направления исследований и обнаружить упущенные ссылки на литературу. Помимо демонстрации высокоинтерактивной парадигмы ИИ-помощника в математических открытиях, система также устанавливает новый рекорд на сложных benchmarks решения задач, включая результат 48% на FrontierMath Tier 4 — наивысший показатель среди всех оцененных ИИ-систем.
English
We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.