"Hace dos años, la IA apenas podía resolver matemáticas de secundaria." @tachim CEO @HarmonicMath sobre la contribución de la IA a problemas matemáticos abiertos reales: "Los problemas de Erdős son genuinamente abiertos — sin resolver, pero no al nivel del Monte Everest como los Premios del Milenio." "Son más como colinas difíciles. No construirías una carrera resolviendo uno, pero estarías orgulloso si lo hicieras." "Ahora estamos viendo actividad de IA en problemas abiertos reales." "Significa que la IA está comenzando a involucrarse con la frontera, no solo con ejercicios."