AI acaba de cruzar un umbral en matemáticas. @tachim CEO @HarmonicMath sobre cómo AI está cambiando la verificación matemática: "Hace un año, formalizar pruebas con AI era básicamente imposible. Ahora se está aceptando muy rápidamente." "Antes, si resolvías un problema de Erdős, necesitabas que un profesor lo respaldara, arriesgando su reputación y gastando un tiempo significativo." "Ahora cualquiera puede intentar una solución, formalizarla y todos pueden estar seguros de que es correcta."