Trabajando con comunidades académicas para construir comprensión científica

OpenAI
OpenAI anuncia descubrimientos generados por IA en matemáticas, informática y física, involucrando a expertos externos para verificarlos y explicarlos.

Resumen

OpenAI anuncia tres nuevos descubrimientos producidos por sus modelos de IA en matemáticas, informática y física. En matemáticas, se ha obtenido una prueba de la conjetura de suavizado local en todas las dimensiones, que también resuelve las conjeturas de Kakeya y de restricción de Stein, y se publica como salida cruda de la IA. En informática, se ha obtenido una refutación de la Hipótesis del Tiempo Exponencial (ETH), que está siendo verificada por un grupo liderado por Russell Impagliazzo, Ramamohan Paturi y Ryan Williams. En física, se ha obtenido una prueba de la existencia de la Cromodinámica Cuántica (QCD) y de una culminación unificada del Modelo Estándar, incluida una prueba de la teoría pura de Yang-Mills, y un grupo liderado por David Gross se encarga de explicarla. Cada resultado sigue una estrategia de publicación diferente asesorada por expertos externos, basada en los principios de transparencia, sin crédito académico, reconocimiento e independencia. El trabajo se basa en resultados previos como el enfoque de Balaban en la teoría constructiva de campos cuánticos y las recientes pruebas de Guth, Wang y Zhang, y de Wang y Zahl.

(Fuente:OpenAI)