Axiom resuelve problemas matemáticos con IA de razonamiento formal verificable

Línea temporal

1. 4 feb
   Wired AIFiabilidad una fuente fiable

   Startup Axiom resuelve cuatro problemas matemáticos no solucionados con su IA AxiomProver

   Axiom, una startup fundada por Ken Ono y Carina Hong, ha desarrollado AxiomProver, un sistema de IA que resuelve problemas matemáticos con pruebas verificables. En las últimas semanas, la herramienta ha solucionado al…