海外 OpenAI解决80年数学难题?这次数学家为其背书 OpenAI宣称其推理模型成功证伪了一个自1946年以来悬而未决的几何猜想。与上次闹出笑话的虚假宣称不同,这次当初揭露其错误的数学家们竟然站出来为其背书。这一突破标志着AI在数学推理领域迈出了坚实一步,也引发了关于AI能否真正理解和证明数学 OpenAI 人工智能 数学推理 几何猜想 5小时前 71