Una inteligencia artificial resolvió en tiempo récord problemas matemáticos que nadie descifró
La inteligencia artificial sacudió el mundo académico con AxiomProver. Encontró soluciones récord a cuatro enigmas históricos de las matemáticas.
08 de febrero de 2026 - 20:25
Una inteligencia artificial acaba de lograr lo impensado: resolver en tiempo récord problemas matemáticos que los mejores cerebros del mundo no pudieron descifrar durante años. La responsable es Axiom, una startup cofundada por Carina Hong y el matemático Ken Ono, quien dejó la Universidad de Virginia para sumarse al proyecto.