Investigadores han resuelto un complejo problema matemático relacionado con la teoría de Ramsey en hipergrafos, un área de las matemáticas que estudia la estructura de conjuntos y su convergencia. La solución fue inicialmente obtenida por Kevin Barreto y Liam Price utilizando GPT-5.4 Pro, y posteriormente confirmada por el creador del problema, Will Brian, quien planea publicar los resultados en una revista especializada. El problema, que involucra la búsqueda de construcciones de hipergrafos para mejorar límites inferiores, había sido considerado difícil incluso para expertos, con una estimación de 1 a 3 meses para su resolución humana. La solución generada por la IA no solo resuelve el problema, sino que también ha revelado una ineficiencia en los métodos existentes y abre nuevas vías de investigación. Además de GPT-5.4 Pro, otros modelos de IA como Opus 4.6 (max), Gemini 3.1 Pro y GPT-5.4 (xhigh) también lograron resolver el problema tras el desarrollo de un nuevo sistema de evaluación para modelos de IA en matemáticas. El problema se considera de interés moderado y con una alta probabilidad de generar matemáticas más interesantes.
Noticias agregadas con IA