待验证50% 置信观点精确时间
数学家对OpenAI准黎曼证明反应不一:斯坦福Jared Duker Lichtman称其为迄今最重要的AI-for-math成就;纽约大学Maksym Radziwiłł表示影响“令人震惊”;佐治亚理工Alexander Dunn发现证明未使用新概念;普林斯顿Peter Sarnak调整课程研究该证明;Will Sawin怀疑边界能否推进到1/2,Thomas Bloom持相反意见。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/20
首次发现
有效期至:2027/1/18
来源
涉及实体
相关事实
待验证AI对齐问题最早由牛津大学哲学家Nick Bostrom和机器智能研究所(MIRI)的Eliezer Yudkowsky等人在2000年代系统化提出,最初主要关注超级智能场景下的风险65% 相似待验证莫拉维克悖论由卡内基梅隆大学的汉斯·莫拉维克在1980年代提出,同期的马文·明斯基和罗德尼·布鲁克斯也阐述了类似观点64% 相似待验证OpenAI的数学研究涉及准黎曼猜想、霍奇猜想、BSD猜想等,并把王虹获菲尔兹奖的三维挂谷集维数猜想扩展到四维64% 相似待验证OpenAI 最新模型在数学领域的表现让一位数学研究者感叹'他们摧毁了我的研究领域'。63% 相似待验证许地生曾与其导师、菲尔兹奖得主阿图尔·阿维拉(Avila)合作研究三维情形Ghys猜想,但未形成有效证明思路;此后与张洁松合作在三维情形下取得部分弱相关结果,成果刊发于《欧洲数学会杂志》(JEMS)。63% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1074138API
curl https://kongchang.com/api/v1/knowledge/claims/1074138MCP
get_claim(id=1074138)