Hilos · 4 noticias en 40 días
OpenAI retiró tres de los 722 preprints de matemática un día después de publicarlos, por un error de signo que arrastró dos papers dependientes (08/10)
- Noticias
- 4
- Briefings
- 4
- Empieza
- Última
-
OpenAI estaría cerca de resolver la conjetura de Hodge, su segundo Problema del Milenio (17/09)
Después de la solución todavía no confirmada oficialmente de Navier-Stokes, la empresa trabaja sobre la conjetura de Hodge —si ciertas propiedades geométricas de las formas siempre pueden describirse con bloques algebraicos más simples— y sus empleados esperan un resultado pronto, según una persona al tanto citada por The Information. El anuncio podría demorarse: tras la crisis de prensa alrededor de Navier-Stokes, OpenAI quiere acertar con el mensaje esta vez. Para Navier-Stokes usó una variante de su próximo modelo preentrenado, con nombre en clave "Doug", a un costo probable de millones de dólares. Lo que gana con esto no está claro; Jakub Pachocki había dicho en el lanzamiento de Astra que la prioridad era la automejora recursiva antes que la matemática, y adentro algunos creen que resolver estos problemas alimenta justamente eso. La comunidad matemática, en cambio, está más enojada que impresionada, y este ítem explica en parte la carta de los 42. The Decoder · The Information
-
OpenAI publicó una tanda de resultados matemáticos nuevos producidos por un modelo frontera interno, con las demostraciones formalizadas en Lean (06/10)
Los subió a un repositorio de GitHub con protocolos para revisiones de papers y citas, e incluye uno sobre Navier-Stokes. Lo que vale mirar es la transparencia: publicaron diez resúmenes de razonamiento, estadísticas de los problemas y una estimación de cómputo —el resultado promedio consumió unas tres horas de pensamiento de ChatGPT Pro—. Consultaron al grupo asesor de matemática e IA del Institute for Advanced Study para armar las prácticas de divulgación, y prometieron financiar workshops sobre resultados producidos por IA además de liberar el modelo en algún momento. OpenAI
-
OpenAI retiró tres de los 722 preprints de matemática un día después de publicarlos, por un error de signo que arrastró dos papers dependientes (08/10)
Los 722 manuscritos salieron el 6 de octubre en un repositorio de GitHub y declaran progreso en 372 problemas; el 7 se cayeron tres sobre clases de Weil, correspondencias de Kuga-Satake y la conjetura de Hodge racional, porque un error de signo invalidó una construcción que dos de ellos reusaban. OpenAI dice que lo encontró en una auditoría interna y además revisó catorce manuscritos más. El problema de método es más grande que el error: solo diez de los 722 publicaron cadena de razonamiento, apenas el 42% de las pruebas está formalizado, y un paper de Cambridge y King's College encontró al menos dos discrepancias entre la prueba en lenguaje natural y el código Lean de la solución de Navier-Stokes que OpenAI anunció en septiembre. La recomendación número uno del grupo asesor AGMAI era directamente dejar de probar problemas abiertos sobre modelos propietarios. Retraction Watch · TechCrunch
-
OpenAI pide a expertos externos, incluido un premio Nobel, que revisen tres demostraciones producidas por sus modelos (27/10)
Son tres resultados y tres esquemas de revisión distintos, con "shepherds" externos sin NDA y sin pago. En computación, OpenAI afirma que la Hipótesis del Tiempo Exponencial —sobre SAT, usada como cimiento por cientos de papers— es falsa; la revisan Ryan Williams junto a Russell Impagliazzo y Ramamohan Paturi, que son dos de los que la propusieron, y el grupo aclara que participar no es un endoso. En matemática, dice haber probado la conjetura de local smoothing de Sogge (1991) en todas las dimensiones —antes estaba solo en dos, por Guth, Wang y Zhang en 2019— y que de ahí salen también las conjeturas de Kakeya y de restricción de Stein; esa no tiene grupo dedicado y publicaron el texto y la prueba en Lean directo. En física, que ciertas teorías cuánticas de campos existen en cuatro dimensiones, cubriendo Yang-Mills, QCD y una gran unificación simple; lo mira un grupo que lidera David Gross, Nobel de Física 2004, que se guarda los materiales para escribir su propio informe. Las salvedades son grandes: la parte de Yang-Mills ataca solo la mitad de existencia del problema del milenio y el mass gap sigue abierto, y aunque pasaron las pruebas de matemática y computación a Lean, todavía hace falta que humanos confirmen que los enunciados en Lean capturan los problemas que se quería resolver. OpenAI dice no reclamar crédito científico y comprometió 5 millones de dólares a la Simons Foundation. The Decoder
El hilo se arma solo en cada build: junta noticias de días distintos que nombran a la misma entidad y repiten vocabulario que casi no aparece en el resto del archivo. Nadie lo edita a mano, así que puede dejar afuera una noticia o sumar una de al lado.