OpenAI afirma que sus modelos demostraron la conjetura del suavizado local en todas las dimensiones
OpenAI sostiene que sus modelos de IA han demostrado la conjetura del suavizado local en cualquier dimensión, un problema abierto desde 1991. Según la empresa, la prueba también resuelve las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. La demostración se formalizó en Lean, un software que verifica cada paso, y se publicó en GitHub junto a una explicación en lenguaje natural.
Qué significa
Si se confirma, sería un avance matemático de primer nivel obtenido con IA, que cerraría a la vez tres problemas de análisis armónico. Al estar formalizada en Lean, otros matemáticos pueden comprobarla paso a paso sin tener que fiarse de los autores.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- Crypto BriefingLeer la noticia completa en Crypto Briefing