RT de Dan Roberts: Anunciamos tres nuevos descubrimientos en matemáticas, informática y física sobre análisis armónico, teoría de la complejidad y …

OpenAI afirma que sus modelos internos produjeron tres resultados: 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; una refutación de la hipótesis del tiempo exponencial verificada en Lean; y una prueba rigurosa de existencia para la teoría de Yang-Mills y la cromodinámica cuántica. Los resultados se han formalizado en Lean y se han entregado a grupos externos de expertos, incluido un grupo de física dirigido por el Nobel David Gross, para examinarlos y explicarlos. Si se confirman, resolverían problemas abiertos de hace décadas, incluida parte de un problema del Premio del Milenio, y marcarían el paso de la IA de asistir a producir matemáticas y física de frontera.

• OpenAI2026-10-26 21:36