Co-Matemático de IA: Acelerando Matemáticos com IA Agente

Resumo

Apresentamos o co-matemático de IA, uma bancada de trabalho que permite aos matemáticos utilizar agentes de IA de forma interativa para realizar pesquisas de natureza aberta. O co-matemático de IA é otimizado para fornecer suporte holístico à realidade exploratória e iterativa dos fluxos de trabalho matemáticos, incluindo ideação, pesquisa bibliográfica, exploração computacional, prova de teoremas e construção teórica. Ao fornecer um espaço de trabalho assíncrono e com estado que gerencia incertezas, refina a intenção do usuário, rastreia hipóteses falhas e produz artefatos matemáticos nativos, o sistema espelha os fluxos de trabalho colaborativos humanos. Nos primeiros testes, o co-matemático de IA ajudou pesquisadores a resolver problemas em aberto, identificar novas direções de pesquisa e descobrir referências bibliográficas negligenciadas. Além de demonstrar um paradigma altamente interativo para a descoberta matemática assistida por IA, o co-matemático de IA também alcança resultados de última geração em benchmarks de resolução de problemas complexos, incluindo uma pontuação de 48% no FrontierMath Nível 4, um novo recorde entre todos os sistemas de IA avaliados.

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.