.png)
近日，OpenAI宣称其新一代AI模型成功推翻了数学界著名的“Connes刚性猜想”，并公开了37000行Lean 4验证代码。然而仅24小时后，堪萨斯大学数学家J. L. Nielsen便发表论文驳回该结论。她逐行审查代码发现，AI构造的反例并未满足原猜想所需的附加条件。这意味着AI虽在形式上证明了每句话，但证明的陈述与原猜想无关，属于“对错误陈述的成功证明”。此次事件表明，机器只能验证逻辑形式，无法判断其是否契合人类意图，人类对AI科研结果的审查依然不可替代。目前，Connes刚性猜想仍保持开放状态。
原文链接
本文链接：https://kx.umi6.com/article/37318.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "37318")
相关推荐
.png)
换一换
OpenAI关停Sora 奥尔特曼坦言：为了下一代AI 集中计算资源
2026-04-07 20:16:56
OpenAI挖来了个F1级别车手搞公关
2026-05-27 15:32:34
死敌爆料是狠！OpenAI内部信阴阳Claude营收注水80亿，然后泄露了…
2026-04-15 11:54:00
这这这…翁荔光速回OpenAI上班了
2026-07-30 09:29:43
豪掷200亿美元 OpenAI据称将与芯片新贵Cerebras达成重磅协议
2026-04-17 15:10:16
OpenAI发布Images 2 获机构Arena.ai测评第一
2026-04-22 16:21:00
1220亿美元！OpenAI创下史上最大单笔融资纪录
2026-04-01 09:34:49
OpenAI首席营收官：企业业务收入占比超过40%
2026-04-09 07:54:07
报告：Anthropic企业采用率首超OpenAI
2026-05-14 13:40:50
OpenAI关停Sora真实原因曝光：烧钱无底洞 用户留不住
2026-03-31 18:00:04
OpenAI发布20颗HBM内存堆栈的芯片专利
2026-04-23 17:19:48
马斯克破大防了：私信求和遭拒，怒喷奥特曼Brockman「全美最恶人」
2026-05-06 12:44:44
OpenAI大神教你如何榨干Codex
2026-05-23 18:54:39
803 文章
921208 浏览
24小时热文
更多
-
2026-08-04 22:11:18 -
2026-08-04 18:08:29
-
2026-08-04 18:06:43
