OpenAI一夜公开722篇数学手稿，声称推进黎曼霍奇BSD等猜想

OpenAI一口气公开722篇数学手稿，全部出自尚未发布的内部模型，并归成372组结果。据OpenAI介绍，模型此前尝试约4000个研究问题，平均每项结果消耗的算力约相当于ChatGPT Pro思考3小时，论文、源码和部分Lean证明已上传GitHub（https://github.com/openai/math）。