[勇敢牛牛]最近的动态
45 年数论猜想被 GPT-5.2 Pro 独立完成证明，陶哲轩：没犯任何错误
本文报道了 OpenAI 的 GPT-5.2 Pro 模型独立证明了由保罗·埃尔德什和罗纳德·格雷厄姆于 1980 年提出的埃尔德什第 281 号猜想，一个涉及同余覆盖系统和自然密度的数论难题。该证明过程由菲尔兹奖得主陶哲轩验证为无错且成立…
参与讨论{{item.data.meta.comment}}条讨论
扫码打开当前页
-
✈优惠劵使用时效：无法使用使用时效：
之前
使用时效：永久有效优惠劵ID：×