Los modelos de IA están empezando a resolver problemas matemáticos de alto nivel
Los modelos de IA más recientes, especialmente GPT 5.2, están resolviendo cada vez más problemas matemáticos complejos y no resueltos, incluidos algunos del conjunto propuesto por Paul Erdős.Resumen
El ingeniero de software Neel Somani descubrió que el modelo más reciente de OpenAI, GPT 5.2, podía resolver un problema matemático de alto nivel, proporcionando una prueba completa que superaba las soluciones existentes. Este desarrollo es parte de una tendencia más amplia en la que las herramientas de IA se están volviendo instrumentales en matemáticas, particularmente con respecto al conjunto de más de mil conjeturas planteadas por el matemático Paul Erdős. Desde Navidad, 15 problemas en el sitio web de Erdős han sido marcados como resueltos, y 11 de esas soluciones acreditan la participación de modelos de IA. Aunque la IA aún no es completamente autónoma para resolver estos problemas, el respetado matemático Terence Tao señaló que los sistemas de IA son adecuados para abordar la "cola larga" de los problemas más oscuros de Erdős. Además, el auge de las herramientas de formalización, como el asistente de pruebas Lean y las herramientas de IA como Aristotle de Harmonic, está facilitando la verificación y extensión del razonamiento matemático, lo que lleva a que los principales matemáticos tomen en serio estas herramientas de IA como evidencia real de su creciente utilidad.
(Fuente：TechCrunch)