Asistente Matemático IA: Acelerando el Progreso de los Matemáticos con IA Agéntica
AI Co-Mathematician: Accelerating Mathematicians with Agentic AI
May 7, 2026
Autores: 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
Resumen
Presentamos el co-matemático IA, un entorno de trabajo que permite a los matemáticos utilizar agentes de IA de forma interactiva para llevar a cabo investigaciones de carácter abierto. El co-matemático IA está optimizado para ofrecer un apoyo integral a la realidad exploratoria e iterativa de los flujos de trabajo matemáticos, incluyendo la ideación, la búsqueda bibliográfica, la exploración computacional, la demostración de teoremas y la construcción de teorías. Al proporcionar un espacio de trabajo asíncrono y con estado que gestiona la incertidumbre, refina la intención del usuario, realiza un seguimiento de las hipótesis fallidas y genera artefactos matemáticos nativos, el sistema refleja los flujos de trabajo colaborativos humanos. En las primeras pruebas, el co-matemático IA ayudó a los investigadores a resolver problemas abiertos, identificar nuevas direcciones de investigación y descubrir referencias bibliográficas pasadas por alto. Además de demostrar un paradigma altamente interactivo para el descubrimiento matemático asistido por IA, el co-matemático IA también logra resultados de vanguardia en benchmarks de resolución de problemas complejos, incluyendo una puntuación del 48% en FrontierMath Nivel 4, un nuevo récord entre todos los sistemas de IA evaluados.
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.