Explorador da Axiom Math desvenda enigmas de grafos desafiadores no Mac Pro sem depender de supercomputadores
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...


