OpenAI afirma que la IA resolvió tres problemas científicos importantes en matemáticas, informática y física

OpenAI afirma que sus sistemas de IA generaron pruebas que abordan tres problemas abiertos importantes en matemáticas, ciencias de la computación y física. OpenAI está involucrando a expertos externos para evaluar los resultados. Los investigadores independientes aún deben determinar si las pruebas son válidas y evaluar la importancia de los hallazgos en cada campo.

OpenAI dijo que sus modelos demostraron la conjetura de suavizado local, un problema matemático de décadas de antigüedad sobre la propagación y concentración de ondas. La conjetura predice que promediar ondas en el tiempo reduce su intensidad en comparación con sus momentos más extremos. El resultado también resolvería la antigua conjetura de Kakeya y la conjetura de restricción de Stein. La conjetura de Kakeya se refiere al tamaño mínimo de una forma que contiene un segmento de línea orientado en cada dirección. La conjetura de restricción de Stein se refiere al comportamiento de las frecuencias matemáticas de las funciones a lo largo de superficies curvas. OpenAI dijo que los modelos generaron el resultado el 18 de octubre. OpenAI dijo que el resultado fue formalizado al día siguiente utilizando Lean, un lenguaje para verificar demostraciones. OpenAI dijo que una explicación en lenguaje natural y una demostración formal se publicaron en GitHub.

OpenAI dijo que su sistema de ciencia de la computación generó una refutación de la Hipótesis del Tiempo Exponencial. La hipótesis respalda resultados condicionales de dureza computacional relacionados con problemas de satisfacibilidad y preguntas afines en complejidad computacional. OpenAI indicó que la refutación en lenguaje natural se generó el 16 de octubre. OpenAI dijo que la refutación fue formalizada utilizando Lean el 17 de octubre. Un equipo dirigido por Russell Impagliazzo, Ramamohan Paturi y Ryan Williams está examinando el resultado. OpenAI comprometió financiamiento para una conferencia que examinará las posibles implicaciones del resultado.

Un grupo externo de física liderado por David Gross evaluará un resultado que OpenAI describe como una prueba rigurosa de existencia para teorías cuánticas de campos interactivas en cuatro dimensiones. La prueba afirmada cubre la cromodinámica cuántica (QCD) y una extensión unificada del Modelo Estándar. Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov también participan en la evaluación. A diferencia de los proyectos de matemáticas e informática, el grupo de física ha decidido por ahora retener los materiales generados por IA de la publicación. Los miembros del grupo se concentrarán en escribir su propio informe del trabajo.

OpenAI dijo que la empresa está probando tres métodos para compartir investigaciones generadas por IA con la comunidad científica. Los métodos implican la publicación inmediata, el lanzamiento junto con colaboradores externos o otorgar a un equipo externo el control sobre cuándo se hacen públicos los materiales. OpenAI solicita comentarios para determinar qué enfoque sirve mejor a los investigadores. Las colaboraciones prohíben acuerdos de confidencialidad y reclamos de crédito académico por los descubrimientos en sí. Las colaboraciones reconocen a los investigadores que crean explicaciones y materiales de apoyo. La participación es voluntaria y no remunerada, y los colaboradores representarán únicamente sus propias opiniones.

Las afirmaciones podrían tener consecuencias sustanciales si un escrutinio independiente confirma los resultados, especialmente la supuesta refutación de la Hipótesis del Tiempo Exponencial. La hipótesis sustenta gran parte de la teoría moderna de la complejidad computacional. La iniciativa también plantea preguntas sobre cómo hacer que los descubrimientos potencialmente importantes generados por IA sean transparentes, reproducibles y creíbles para los científicos.