OpenAI suelta 722 manuscritos de matemáticas: muchos traen Lean, ninguno trae el prompt
El 6 de octubre, OpenAI subió a su GitHub 722 manuscritos de un modelo interno sin nombre, con la cuasi-hipótesis de Riemann en el escaparate. El 29 de septiembre, el comité de matemáticos al que OpenAI había ido a pedir consejo había dejado por escrito cómo había que publicar algo así.











