Menos de un mes después de su publicación masiva de cientos de manuscritos que, según dijo, contenían soluciones a preguntas matemáticas de larga data, OpenAI regresa con tres descubrimientos más “importantes” en matemáticas, informática y física. Lo diferente esta vez es la decisión de contar con expertos externos que OpenAI describe como “pastores” que guían los resultados en informática y física, mientras que para el problema matemático dice que le aconsejaron publicar la salida de la IA para que los investigadores trabajen en sus propias explicaciones.
Resultados de OpenAI añadidos hoy a GitHub:
Suavizado local para la ecuación de onda euclidiana. La demostración usa una ecuación diferencial parcial auxiliar para establecer el suavizado local de Sogge para ondas en cada dimensión espacial de al menos dos. También arroja las conjeturas maximales y de dimensión de Kakeya y las estimaciones de restricción esférica de Stein en todo el interior del rango conjeturado. Estamos publicando la salida del modelo directamente, como hicimos en nuestra publicación del 6 de octubre.
La Hipótesis del Tiempo Exponencial es falsa. El artículo presenta un algoritmo determinista que cuenta exactamente las asignaciones satisfactorias de fórmulas CNF de ancho fijo en tiempo subexponencial y espacio polinómico. El caso de 3-SAT refuta la Hipótesis del Tiempo Exponencial. Un grupo de trabajo independiente de informáticos liderado por Russell Impagliazzo, Ramamohan Paturi y Ryan Williams examinará y explicará la demostración. A petición del grupo, estamos haciendo públicos los materiales de inmediato para que otros también puedan examinarlos.
Este enfoque podría tener sus propios problemas, admite la empresa, y el panel AGMAI de asesores matemáticos que OpenAI conformó acaba de decir ayer que “recomendamos que las empresas de IA no adopten” las prácticas de designar a ciertas personas para recibir primero la salida, citando el acceso desigual, la reputación prestada y la selección sesgada como algunos de los problemas. En cambio, recomendaron que en el futuro los laboratorios de IA publiquen la salida en repositorios académicos, con demostraciones formalizadas en Lean, información sobre cómo se eligieron los problemas, financiamiento para las personas que trabajen en comprender los resultados y otra información.
Relacionado
- ‘Pura locura’: Los matemáticos necesitarán años para entender la última publicación de OpenAI
- Todo el drama en torno a la toma de las matemáticas por parte de la IA
La información sobre física no se ha publicado en su totalidad, pero es una “demostración de existencia matemáticamente rigurosa de ciertas teorías cuánticas de campos interactivas que contienen campos de gauge y fermiones en cuatro dimensiones, incluida la Cromodinámica Cuántica (QCD) y una finalización unificada del Modelo Estándar de la física de partículas”. Según OpenAI, “David Gross liderará un grupo que incluye a Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov que guiará este trabajo”.
Se dice que la colaboración en informática demuestra que la Hipótesis del Tiempo Exponencial (ETH), que se ha creído ampliamente verdadera, en realidad es falsa. OpenAI dice que la verificación del resultado será guiada por un grupo de tres expertos que incluye a Russell Impagliazzo y Ramamohan Paturi de UC San Diego, quienes formaron parte del grupo que la propuso originalmente en 1999, así como al profesor del MIT Ryan Williams. El grupo decidió publicar el escrito de la salida de la IA y la demostración en Lean en GitHub hoy.
También publicaron una carta abierta a la comunidad pidiendo opiniones sobre cómo examinar la afirmación, y sobre el establecimiento de normas para lidiar con los avances generados por IA:
Daremos la bienvenida a la discusión de tres preguntas más amplias:
¿Qué expectativas deberían regir el acceso temprano a los resultados generados por IA, la divulgación de conflictos de interés y el uso de material no publicado para investigaciones posteriores?
¿Cómo debería el reconocimiento del mérito valorar tanto los nuevos descubrimientos como el trabajo de verificar, corregir, simplificar, explicar y ampliarlos?
¿Cómo podemos apoyar a estudiantes e investigadores a medida que cambian los métodos y las direcciones de investigación, preservando al mismo tiempo la comprensión y el criterio necesarios para cuestionar los resultados y desarrollar nuevas ideas?
Hay documentación similar para el avance matemático, donde su modelo “produjo una demostración de la conjetura de suavizado local en todas las dimensiones y, por lo tanto, también resuelve la conjetura de Kakeya y la conjetura de restricción de Stein en todas las dimensiones”. Tan solo hace unos meses, la profesora de la NYU Hong Wang recibió la prestigiosa Medalla Fields otorgada por la International Mathematical Union por resolver la conjetura de Kakeya en tres dimensiones.
Sigue temas y autores de esta historia para ver más contenido como este en tu página de inicio personalizada y recibir actualizaciones por correo electrónico.