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