
La marabunta de demostraciones matemáticas de OpenAI - La Ciencia de la Mula Francis
Enviado por Fabio el 2026-10-12 21:05:17 | Host: webOpenAI publicó el 6 de octubre de 2026 en GitHub un catálogo con 722 artículos con demostraciones matemáticas agrupadas en 372 familias de problemas. Se han intentado resolver unos 4000 problemas y solo se ha logrado resolver un 18 % de ellos.
Comentarios
Debe ingresar para poder comentar