数学家判断 OpenAI 已证明 Hodge 猜想重要部分情形
burny_tech · x · 2026-09-23
数学家 Elliot Glazer 表示，他几乎可以确定 OpenAI 确实证明了 Hodge 猜想的一个非平凡部分情形，并认为两大实验室可能都已独立达成至少部分结果。
- 他强调重大部分结果 ≠ 全问题时间线大幅缩短：阿贝尔簇的分析远比一般情形容易，这是早已知晓的
- 若真解决了完整 Hodge 猜想，将比数学 AI 迄今任何成果强数百倍，但他认为近期不会看到
「漫话AGI」频道最新
- 「末日论是监管护城河」：开源阵营反击限制开放权重模型呼声 — AlexTensor · 2026-09-23
- 观点：当 AI 科学与人类科学像数学一样走向分叉 — burny_tech · 2026-09-23
- 观点：十年前的专家看到今天模型会宣称 AGI 已实现 — JacksonKernion · 2026-09-23
- Benedict Evans：AI 或自动化律师咨询顾问等初级岗位的例行工作 — rohanpaul_ai · 2026-09-23
- 观点：AI 安全可循工程学科老路——简单情形形式化证明，复杂情形实证评估 — burny_tech · 2026-09-23
- RLVR 时代别再用「人数据训练」理解 AI：纳维-斯托克斯解不在语料里 — burny_tech · 2026-09-23