这种消息最后还是要看知乎
参与项目的有俩人是姚班的 其中一个自己是IOI金牌
这个项目就是用ai尝试攻克各种数学难题
项目参与者至少要有知道自己在干什么
以及知道ai在干什么的实力
人类数学家考虑过这个方向解题 因为估算太麻烦放弃了 即这题属于人类努努力也能干的那种 低垂的果实
结论就是数学家们可以靠ai解更多的题了
但把我放那jumping我也变不成数学家
哎空欢喜一场
【 在 xeh (村二) 的大作中提到: 】
: 【 以下文字转载自 NewExpress 讨论区 】
: 发信人: Engelberger (missing), 信区: NewExpress
: 标 题: openai通用推理模型推翻了80年未获证明的数学猜想，震惊了菲尔兹奖得主
: 发信站: 水木社区 (Thu May 21 13:05:07 2026), 站内
--
FROM 209.53.30.*