Axiom Math, uma startup sediada em Palo Alto, afirma que seu sistema de IA, AxiomProver, resolveu múltiplos problemas matemáticos não resolvidos, incluindo conjecturas significativas em geometria algébrica e a Conjectura de Fel. Fundada por Carina Hong, a empresa declara que as provas geradas pela IA, publicadas no arXiv em fevereiro de 2026, estão passando por revisão por pares, embora nenhuma publicação em periódicos tenha sido confirmada até o momento. O sistema utiliza verificação formal para garantir a validade lógica, diferenciando-se das saídas típicas de IA. Axiom Math levantou US$ 264 milhões em financiamento, com uma recente rodada Série A de US$ 200 milhões liderada pela Menlo Ventures, avaliando a empresa em US$ 1,6 bilhão. A equipe da startup inclui Ken Ono, um renomado teórico dos números. Os esforços da empresa estão alinhados com tendências mais amplas na pesquisa matemática impulsionada por IA, como visto em iniciativas como o AlphaProof da DeepMind, do Google.