【 以下文字转载自 NewExpress 讨论区 】
发信人: Engelberger (missing), 信区: NewExpress
标  题: Re: openai通用推理模型推翻了80年未获证明的数学猜想，震惊了
发信站: 水木社区 (Thu May 21 13:18:16 2026), 站内

mp.weixin.qq.com/s/urLdAFIFC9GkfMXqfu0Jmw
你自己看原文吧，人类认为那个猜想是对的，菲尔兹奖得主想去证明，结果失败了。
交给ai，ai推翻了猜想，菲奖得主验证后发现ai说的是对的。
这哪儿是辅助？是人类被ai打脸了啊
【 在 xianrena 的大作中提到: 】
: 我持怀疑态度。我认为仍然是辅助计算，像证明四色定理那种。
:
--
FROM 117.176.186.*