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