OpenAI anunció el 8 de septiembre que un modelo interno sin nombre público —descrito como «significativamente más capaz que GPT-6 Astra»— ha producido una prueba matemática formal que resuelve el Problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio del Instituto Clay. Si la prueba supera la revisión independiente de la comunidad matemática, sería solo el segundo Problema del Milenio resuelto en la historia, 23 años después de que Grigori Perelman resolviera la Conjetura de Poincaré en 2003. Continúa leyendo «OpenAI dice que su IA ha resuelto uno de los Problemas del Milenio de matemáticas, pero la historia tiene más capas»
