Ferramenta open source da Axiom Math substitui supercomputadores e permite que matemáticos do mundo todo explorem padrões avançados em um computador doméstico.
A Axiom Math, uma startup sediada em Palo Alto, Califórnia, desenvolveu o Axplorer, uma ferramenta de inteligência artificial capaz de resolver problemas complexos de teoria dos grafos em um Mac Pro, sem a necessidade de um supercomputador.
O Axplorer representa uma evolução do PatternBoost, criado por François Charton em 2024 durante seu tempo na Meta. Em contraste com seu antecessor, que exigia infraestrutura de alto custo, o Axplorer pode ser executado em hardware mais acessível, ampliando assim o alcance da pesquisa matemática de forma significativa.
A Axiom Math se insere em um movimento mais amplo incentivado pela DARPA, a Agência de Projetos de Pesquisa Avançada de Defesa dos EUA, por meio da iniciativa expMath. Esse programa encoraja matemáticos a desenvolverem e utilizarem ferramentas de IA para impulsionar suas pesquisas.
Charton ressalta a importância das descobertas matemáticas, que têm impacto direto em áreas como ciências da computação, inteligência artificial de próxima geração e segurança na internet.
Carina Hong, cofundadora e CEO da Axiom Math, enfatiza que a matemática é tanto exploratória quanto experimental. Para ela, o Axplorer não apenas resolve problemas existentes, mas também abre portas para questões que ainda não foram formuladas.
O Axplorer já demonstrou eficácia ao igualar ou superar resultados em problemas de teoria dos grafos. A ferramenta é capaz de gerar padrões a partir de exemplos fornecidos pelos usuários, permitindo a identificação e exploração de novos insights.
Apesar de matemáticos estarem utilizando modelos de linguagem como o GPT-5 da OpenAI para abordar problemas deixados por Paul Erdős, um renomado matemático do século 20, Charton critica esses resultados como sendo derivados de problemas ainda pouco explorados, e não de avanços metodológicos reais.
Geordie Williamson, da Universidade de Sydney, que já colaborou com Charton em projetos acadêmicos, reconhece o amplo potencial do Axplorer, mas ressalta que os métodos tradicionais de resolução de problemas ainda têm seu lugar e não devem ser descartados.
O código do Axplorer foi disponibilizado como open source no GitHub. Hong espera que essa iniciativa promova a colaboração entre estudantes e pesquisadores, acelerando descobertas e contribuindo para avanços concretos na matemática.
Curadoria: Augusto Gomes | Redação: Afonso Santos
