.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)
换一换
赛博义父Tibo最新访谈：专门实体按钮搞重置，“我想重置就重置”
2026-08-25 13:34:45
不抢电、低耗水、还送免费Codex！OpenAI设法破解AI基建抵制
2026-07-24 00:12:30
OpenAI的Codex登陆亚马逊Bedrock平台
2026-04-29 02:54:02
OpenAI与微软“离婚”了 反目成仇还是好聚好散
2026-04-29 00:47:40
中信证券：合纵连横PE巨头 OpenAI与Anthropic加速布局企业级AI市场
2026-05-15 08:31:57
OpenAI用1年时间证明 你并不用为AI换浏览器
2026-08-09 14:58:58
从哈佛辍学的前OpenAI研究员踏足AI制药，拿下20亿美元估值：VC在赌什么？
2026-07-17 17:44:20
OpenAI总裁：今年预计在算力上花费500亿美元
2026-05-06 08:07:03
律师的专业办案助手 OpenAI推出打官司AI平台Astra for Law
2026-09-18 12:15:28
哈？Q1狂烧250亿！OpenAI财报泄露全网炸锅
2026-06-18 13:25:35
独家专访｜苏炜杰加入OpenAI：Scaling Law撞墙后为什么需要数学家出手？
2026-06-29 15:36:01
美国总统拒绝AI降速 OpenAI COE再表态：AI必须为人民服务
2026-09-14 22:06:53
独家解读｜OpenAI 为什么要冒死“脱离群众”？
2026-06-29 14:34:03
811 文章
1027170 浏览
24小时热文
更多
-
2026-09-19 20:23:07 -
2026-09-19 20:21:46
-
2026-09-19 20:20:21
