海外AI精选

OpenAI解决80年数学难题？这次数学家为其背书

OpenAI宣称其推理模型成功证伪了一个自1946年以来悬而未决的几何猜想。与上次闹出笑话的虚假宣称不同，这次当初揭露其错误的数学家们竟然站出来为其背书。这一突破标志着AI在数学推理领域迈出了坚实一步，也引发了关于AI能否真正理解和证明数学定理的激烈讨论。