OpenAI 推理模型推翻 Erdős 80 年单位距离猜想
-
来源:OpenAI 研究博客
社区热议:
-
这是 AI 数学的一个里程碑。 —— Tim Gowers(菲尔兹奖得主)
-
评审共识是:这是一次蛮力式的成就,而非创造性飞跃。 —— Thomas Bloom(曼彻斯特大学,评审专家)
-
OpenAI 不披露模型失败了多少次,外部研究者无法评估可靠性。 —— Melanie Matchett Wood(哈佛大学)
-
这是埃尔德什最喜欢的难题之一,我曾亲耳听他在讲座中多次提及。OpenAI 内部模型的解决方案是一项杰出成就,彻底攻克了一个历史悠久的难题。 —— Noga Alon(普林斯顿大学)
-
如果这篇论文是人类写的并投给《数学年刊》,我会毫不犹豫推荐录用。在此之前,没有任何 AI 生成的证明能与之相提并论。 —— Tim Gowers
海外技术社区热点采集。
-