OpenAI publica de una vez 377 resultados matemáticos de IA: una cuasi hipótesis de Riemann y el exponente de la multiplicación de matrices reducido a 2,25

## OpenAI publica de una vez 377 resultados matemáticos de IA OpenAI ha publicado una colección de resultados matemáticos generados por un modelo de frontera interno: 722 manuscritos y 372 «familias de resultados» que abarcan teoría de números, álgebra, topología, lógica e informática teórica. Según se informa, el modelo se enfrentó a unos 4000 problemas matemáticos abiertos, y los resultados que sobrevivieron se recopilaron y publicaron. **Puntos clave** - **Una cuasi hipótesis de Riemann**: demuestra que la función zeta de Riemann y las funciones L relacionadas no tienen ceros en la región Re(s)>7/8. La hipótesis de Riemann afirma lo mismo para Re(s)>1/2. Las regiones libres de ceros conocidas hasta ahora se estrechaban a medida que se asciende por el eje imaginario; esta vez se obtuvo una banda libre de ceros de anchura constante. - **El exponente de la multiplicación de matrices baja a 2,25**: el récord mundial anterior era de aproximadamente 2,37. El matemático de Cornell Strogatz dijo que el salto fue «como el salto de longitud de Bob Beamon». - **Verificación formal en Lean**: muchas demostraciones se han formalizado en el asistente de pruebas Lean, de modo que una máquina puede comprobarlas línea por línea; pero no todas están formalizadas, y los resultados sin formalizar podrían contener errores. - **Reacción polarizada en el mundo académico**: los matemáticos quedaron atónitos ante que «cualquiera de ellos bastaría para una medalla Fields», mientras otros plantearon dudas: una tasa de verificación en Lean de aproximadamente la mitad significa que la otra mitad sigue requiriendo un «confía en mí». > Enlace original: [ver el original](https://helloentrepreneurs.com/technology/openai-publishes-hundreds-of-ai-generated-math-results-including-claimed-advance-on-riemann-zeta-function-100727/). El texto es un resumen y se ofrece solo como referencia.