El sistema de 4 meses de Axiom acaba de resolver los problemas 124 y 481 de Erdős sin intervención humana en Lean. El código de pruebas, como la magia de las intuiciones de Ramanujan, se desarrolla en la pantalla en tiempo real. A mis colegas científicos: El futuro del descubrimiento matemático está aquí. Espero que te unas a nosotros. (8)
Lea más en el @WSJ de esta mañana: hwsj.com/tech/ai/math-k… (9)