Las afirmaciones más emocionantes del montón de nuevas pruebas de OpenAI

OpenAI publicó más de 700 manuscritos generados por IA que afirman resolver 372 problemas abiertos en matemáticas, informática teórica y física. Las pruebas en gran medida no están verificadas, algunas fueron retractadas debido a errores encontrados por científicos externos, y no todas fueron certificadas por el asistente de pruebas Lean. Sin embargo, los expertos describen los resultados como asombrosos, con algunos descubrimientos que podrían haber ganado importantes premios de investigación hace un año. Las afirmaciones clave incluyen un progreso importante en la hipótesis de Riemann y la prueba de la cuasi-hipótesis de Riemann, resolviendo preguntas sobre los ceros de Siegel, resolviendo una generalización del décimo problema de Hilbert para números racionales, probando la conjetura de Kakeya en cuatro dimensiones y resolviendo el modelo sigma no lineal análogo al problema de la brecha de masa de Yang-Mills. En informática, OpenAI afirma una multiplicación de matrices más rápida (exponente 2.25), resultados de desaleatorización (L = RL = BPL), una prueba de la conjetura de los juegos únicos, síntesis unitaria para computación cuántica y una mejora menor en la transformada rápida de Fourier. Si bien muchos resultados son innovadores, algunos artículos se consideran incomprensibles o descuidados, y la verificación completa llevará tiempo.

(Fuente：Scientific American)