实体
Hongxun Wu
Hongxun Wu
PulseAugur coverage of Hongxun Wu — every cluster mentioning Hongxun Wu across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
OpenAI 模型证伪一项已有 80 年的数学猜想
一个 OpenAI 模型成功证伪了由 Paul Erdős 提出的、已有 80 年历史的单位距离猜想。该模型利用“测试时计算”机制，探索了多种推理路径并自我纠正，最终得出了一个新颖的解决方案，挑战了长期以来认为方形网格排列是最优的观点。这一突破不仅推进了数学理解，还展示了人工智能与人类研究人员协作的潜力，从而在相关领域带来更多发现。
-
OpenAI 模型以不足1000美元的成本证伪了已有80年历史的数学难题
OpenAI宣布，其内部模型（推测为GPT-5的一个版本）已经证伪了一个已有80年历史的数学猜想，即 Erdős 平面单位距离问题。该通用推理模型以不足1000美元的成本完成了这项工作，数学家们称之为人工智能在科学发现领域的一个重要里程碑。该模型的广泛输出表明，大型语言模型（LLMs）正在展现出高级推理能力，并有可能从数学领域扩展到其他科学领域。