Lean

La IA de DeepMind resuelve nueve problemas de Erdős en un artículo de Science

Google DeepMind, parte de Alphabet, ha publicado un informe revisado por pares sobre AlphaProof Nexus, un sistema de IA que resolvió nueve problemas abiertos planteados por el matemático Paul Erdős y demostró 44 conjeturas de la Enciclopedia en Línea de…

OpenAI retira tres artículos de matemáticas por un error de signo

OpenAI ha retirado tres de los 722 manuscritos de matemáticas que publicó el 6 de octubre, menos de un día después de su lanzamiento. La empresa detectó un error de signo que invalidó el argumento de un artículo y la…

Investigadores detectan discrepancias en la prueba de Navier-Stokes de OpenAI

Los matemáticos están examinando un gran lote de pruebas generadas por IA que OpenAI publicó el 6 de octubre, y algunos de los hallazgos iniciales están generando dudas. Un equipo liderado por investigadores de Cambridge afirma que las versiones legible…

OpenAI publica 722 trabajos matemáticos de un modelo de IA inédito

El martes 6 de octubre, OpenAI publicó 722 manuscritos matemáticos en un repositorio público de GitHub, organizados en 372 "familias de resultados". La empresa asegura que fueron producidos por un modelo de frontera interno aún no lanzado. Scientific American informó…

Anthropic afirma que Claude completó la primera prueba verificada por computadora del Último Teorema de Fermat

Anthropic anunció el jueves que su modelo de IA Claude ha completado la primera prueba integral, verificada por computadora, del Último Teorema de Fermat, uno de los resultados más célebres de las matemáticas. Trabajando de manera mayormente autónoma durante 11…