Axiom se propone construir un matemático de IA. Somos los desvalidos. 4 meses de antigüedad, 2 años de retraso en el juego, menos de 10 ETP (recientemente aumentó a 17) y tenía una relación de financiación y valoración de 1:5 con respecto a nuestro competidor. Hoy, AxiomProver resolvió los problemas de Erdos #124 y #481 en Lean, un lenguaje 100% verificable. ¡Adelante!
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.