Elliot Glazer 澄清:Hodge 结果均未形式化,仅 CM 结论获双方独立验证
basedjensen · x · 2026-10-08
OpenAI 数学形式化项目负责人 Elliot Glazer 更正此前的说法:所有 Hodge 相关结果都未经过 Lean 形式化,包括 Corollary/CM 那一条。他对 CM 结论有信心的理由是:该结果由 Anthropic 和 OpenAI 两家独立达成,且多位他信任的人已在推演中确认思路合理。这是围绕 AI 自主数学证明可信度的关键澄清。
所属事件:数学家澄清 OpenAI 与 Anthropic 的 Hodge 猜想进展被夸大(3 条相关)→
「漫话AGI」频道最新
- NYU 数学教授:OpenAI 投入数百万美元算力攻坚千禧年大奖难题 — rohanpaul_ai · 2026-10-10
- AI 是不是偷走了开源社区感?Hacktoberfest 今年悄然无声 — _jaydeepkarale · 2026-10-10
- 该不该读博?研究者:不是没东西可发现,而是博士不是发现的正确场所 — tensorqt · 2026-10-10
- 为什么人们坚信意识只属于人类?连猫狗都被排除了 — RileyRalmuto · 2026-10-10
- 「软件像食物」:开发者谈 AI 时代如何让人爱上你的产品 — pixlpa · 2026-10-10
- Pedro Domingos 断言:超级智能将成寻常之物 — pmddomingos · 2026-10-10