Modelos de IA logran avances en matemáticas

OpenAI anunció esta semana que su nuevo modelo, GPT-6 Astra, ha generado nuevos resultados en problemas matemáticos abiertos de larga data. El modelo ha logrado 'avances sustanciales' en problemas matemáticos y de teoría de la computación de décadas de antigüedad. Anthropic y Google también han informado de avances en matemáticas impulsadas por la IA. La IA está comenzando a encontrar conexiones que pueden llevar a los matemáticos e investigadores por caminos inesperados. Los investigadores están utilizando estos modelos de forma informal, como lo demuestra la solicitud de empleados de Anthropic a Claude para que 'intente realmente' la hipótesis de Riemann y 'confíe en sí mismo' después de que una primera ejecución fallara. Claude logró elevar el límite relacionado con la hipótesis de Riemann después de utilizar 31 millones de tokens de salida y una jornada y media coordinando a unos 60 subagentes. El matemático Terence Tao predice que su campo 'transitará de una era de escasez de pruebas a una era de abundancia de pruebas'.