Uma nova startup de matemática com IA chamada Axiom resolveu aparentemente quatro problemas matemáticos de longa data, demonstrando avanços no raciocínio de inteligência artificial. A IA da empresa abordou desafios em áreas como geometria algébrica e teoria dos números que intrigaram matemáticos por anos. Esse desenvolvimento destaca as capacidades crescentes da IA para enfrentar quebra-cabeças acadêmicos complexos.
Em um anúncio recente, a Axiom, uma startup focada em IA, afirmou que sua tecnologia resolveu quatro problemas matemáticos anteriormente não resolvidos. Estes incluem questões em geometria algébrica, cálculo e teoria dos números, campos que desafiaram pesquisadores por muito tempo. Um exemplo específico envolve o trabalho de cinco anos atrás dos matemáticos Dawei Chen e Quentin Gendron. Eles estavam explorando uma área complexa de geometria algébrica que incorpora diferenciais — elementos do cálculo usados para medir distâncias em superfícies curvas. Durante seus esforços em um teorema particular, encontraram uma barreira: sua prova dependia de uma fórmula obscura da teoria dos números que não puderam resolver ou explicar. Como resultado, Chen e Gendron publicaram suas descobertas como uma conjectura em vez de um teorema completo. A IA da Axiom agora forneceu soluções para tais conjecturas, sugerindo um avanço no raciocínio automatizado para matemática pura. A conquista da startup aponta para o potencial da IA de acelerar descobertas em campos teóricos, onde a intuição humana tradicionalmente dominou. No entanto, especialistas alertam que, embora promissor, essas provas geradas por IA exigirão verificação rigorosa pela comunidade matemática para confirmar sua validade. Esse evento sublinha a interseção entre inteligência artificial e academia, com implicações para como a pesquisa futura pode integrar assistência de máquinas. Publicado em 4 de fevereiro de 2026, a notícia despertou interesse em laboratórios de IA que empurram os limites nas disciplinas STEM.