OpenAI 又半场开香槟！声称攻克 700 道数学难题后，被打脸？

OpenAI 宣称在顶尖数学家指导下攻克了 700 多道数学难题，但随后被研究人员在核查流体方程相关成果时发现，论文中的自然语言证明与提交给 Lean 计算机验证的代码存在不一致，相当于“译前译后两个意思”。一起看看怎么回事吧～