OpenAI公开722篇数学手稿，三位菲尔兹奖得主称不代表认可

OpenAI公开722篇数学手稿，归为372组结果，出自一个尚未发布的内部模型，论文、源码和部分Lean证明已上传GitHub，平均每项结果算力约相当于ChatGPT Pro思考3小时。