#黎曼假设
OpenAI 公开 722 篇数学论文：宣称证明准黎曼假设，形式化验证零错误
刚刚，OpenAI 把一个内部前沿模型做出来的数学成果，一股脑放上了 GitHub
来源：OpenAI 官方账号
Github 仓库位于 openai/math，里面收了 722 篇论文，并把结果归成 372 个族，涉及大约 4000 道…