eth

OpenAI afirma que uno de sus modelos refutó la Hipótesis del Tiempo Exponencial, una conjetura de complejidad computacional de 1999. La prueba fue formalizada en Lean y publicada junto a un nuevo protocolo de colaboración con comunidades académicas. El mismo lanzamiento incluye una demostración matemática que resuelve la conjetura de Kakeya en todas las dimensiones.