Ken Ono
PulseAugur coverage of Ken Ono — every cluster mentioning Ken Ono across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
人工智能有望超越数学家，但行业关联引发利益冲突质疑
9月11日，一份由25位菲尔兹奖得主签署的声明发布，声称人工智能将很快超越人类数学家。然而，未签署该声明的2026年菲尔兹奖得主候选人雅各布·齐默曼（Jacob Tsimerman）表示，人工智能将在数学工作上表现得“更好、更快”。齐默曼最近加入OpenAI的安全团队，以及其他数学家因基准测试工作而获得OpenAI的报酬，引发了科学界在评估人工智能能力时潜在利益冲突的质疑。
-
AI 验证了复杂的素数定理，为代码验证铺平道路
Axiom Math 成功使用其 AI 系统 AxiomProver 验证了“246 定理”的证明，这是数论中与素数相关的一个重要进展。这标志着 AI 辅助数学研究的一个里程碑，展示了 AI 确保复杂证明正确性的潜力，并进而扩展到 AI 生成代码的正确性。与之前的形式化不同，Axiom Math 专注于为未来的数学研究创建可重用组件。
-
AI发现一个被广泛使用的经济学定理存在50年的缺陷
Axiom Math 的形式验证系统 EconLib 发现了一个由 Robert Aumann 在50年前提出的、并在信息经济学和反垄断法等领域被广泛使用的经济学定理中的缺陷。该 AI 系统使用 Lean 形式化编程语言构建，通过像编译代码一样编译证明来确保数学严谨性，并标记任何逻辑不一致之处。这一发现凸显了 AI 与人类智慧协作的潜力，能够加速科学发现并确保基础理论的准确性。
-
Axiom Math 的 AI 生成数学论文被接受；融资 2 亿美元
由 2001 年出生的数学家洪乐彤创立的初创公司 Axiom Math 取得了一项重大里程碑，其五篇由 AI 生成的数学论文已被学术期刊接受发表。该公司的 AI 系统 AxiomProver 生成了可机器验证的正式证明，补充了人类在问题陈述和解释方面的数学专业知识。这种方法旨在解决 AI 的幻觉问题，并吸引了大量资金，Axiom Math 最近以 16 亿美元的估值获得了 2 亿美元的 A 轮融资。