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, startup de Palo Alto, Califórnia, lançou o Axplorer, uma ferramenta de inteligência artificial capaz de resolver problemas complexos de teoria dos grafos em um Mac Pro , sem necessidade de supercomputador.
A ferramenta é uma evolução do PatternBoost, desenvolvido por François Charton em 2024, quando ele ainda estava na Meta. Diferente do predecessor, que exigia infraestrutura de alto custo, o Axplorer roda em hardware acessível, ampliando significativamente o alcance da pesquisa matemática.
A Axiom Math se posiciona dentro de um movimento maior incentivado pela DARPA, a Agência de Projetos de Pesquisa Avançada de Defesa dos EUA, por meio da iniciativa expMath. O programa estimula matemáticos a desenvolverem e usarem ferramentas de IA para impulsionar suas pesquisas.
Charton destaca que descobertas matemáticas têm impacto direto em 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, afirma que a matemática é tanto exploratória quanto experimental. Para ela, o Axplorer não apenas resolve problemas existentes , abre caminhos para questões ainda não formuladas.
O Axplorer já demonstrou eficácia ao igualar ou superar resultados em problemas de teoria dos grafos. A ferramenta gera padrões a partir de exemplos fornecidos pelos usuários, permitindo identificar e explorar novos insights.
Matemáticos têm usado modelos de linguagem como o GPT-5 da OpenAI para atacar problemas deixados por Paul Erdős, renomado matemático do século 20. Charton, porém, critica esses resultados como 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, vê potencial amplo no Axplorer, mas faz ressalva: 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 isso fomente colaboração entre estudantes e pesquisadores, acelerando descobertas e contribuindo para avanços concretos na matemática.
Curadoria: Augusto Gomes | Redação: Afonso Santos