O sistema da Axiom, com apenas 4 meses de existência, resolveu os problemas 124 e 481 de Erdős sem intervenção humana, seguindo a metodologia Lean. O código de provas, como a magia das intuições de Ramanujan, se desdobra na tela em tempo real. Aos meus colegas cientistas: O futuro da descoberta matemática chegou. Espero que você se junte a nós. (8)
Leia mais na edição de hoje do @WSJ: wsj.com/tech/ai/math-k…y (9)