OpenAI anuncia tres descubrimientos científicos en matemáticas, informática y física
La empresa dice que el resultado en informática muestra que la Hipótesis del Tiempo Exponencial es falsa, y expertos revisarán el trabajo.
1999Año en que se propuso la hipótesis ETH
En corto
- OpenAI anunció tres nuevos descubrimientos en matemáticas, informática y física.
- El resultado en matemáticas abarca el suavizado local para la ecuación de onda euclidiana y también produce las conjeturas de Kakeya de maximalidad y de dimensión.
- El resultado en informática ofrece un algoritmo determinista que cuenta exactamente las asignaciones satisfactibles de fórmulas CNF de ancho fijo en tiempo subexponencial.
- El resultado en física es una prueba de existencia matemáticamente rigurosa de ciertas teorías cuánticas de campos con interacción, incluida la Cromodinámica Cuántica, y la información completa no ha sido publicada.
Por qué importa
La Hipótesis del Tiempo Exponencial se propuso en 1999 y se creía ampliamente que era cierta, así que la afirmación cambiaría un supuesto importante de la teoría de la complejidad. The Verge informa que un panel de asesores matemáticos AGMAI recomendó que las empresas de IA no den acceso anticipado a ciertas personas. La carta abierta de OpenAI pregunta cómo debe reconocerse el trabajo de verificar, corregir y extender los resultados generados por IA.
“The case of 3-SAT refutes the Exponential Time Hypothesis.”
Qué dice la gente
Los comentaristas de Hacker News cuestionaron el titular, que según ellos antepone la afirmación de que la Hipótesis del Tiempo Exponencial es falsa. Un comentarista calificó de pequeña la donación anunciada de 5 millones de dólares frente al costo de la verificación. Otro preguntó si el resultado mueve las probabilidades hacia P=NP, y una respuesta dijo que la prueba parece cubrir #3-SAT, no solo 3-SAT.