Viernes 30 de octubre de 2026 ·

OpenFrontiers reúne 12.151 problemas abiertos de investigación y un test de redescubrimiento matemático

Relevancia 38 de 100

Se presenta OpenFrontiers, un recurso con 12.151 problemas abiertos de investigación y un banco de 200 problemas matemáticos, de los que 110 se resolvieron en 2026 y 90 siguen abiertos. Los enunciados están formalizados en Lean 4 y revisados por dos evaluadores independientes. Siete agentes LLM evaluados en el subconjunto HQ-50 solo redescubren, sin acceso a internet, como mucho 7 de 40 problemas resueltos; con acceso web, el éxito refleja sobre todo la búsqueda de soluciones publicadas.

Qué significa

Permite medir si los modelos de IA resuelven problemas de investigación de verdad o solo encuentran soluciones ya publicadas en internet.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del viernes 30 de octubre de 2026 ->