北京
分享至
Ethan Mollick 转发 Scott Aaronson 博客内容，汇集了数学家阅读 OpenAI 发布的数百个大型 AI 证明后的第一手体验。Mollick 把这些记录称为"遭遇狭窄超人类智能的早期记录"。
读不懂的证明
数学家 Dana Moshkovitz 描述了自己阅读 UGC 相关证明时的体验：写作混乱，几乎无法在没有 AI 帮助的情况下读懂。这不是个别现象，而是这批证明给阅读者留下的普遍印象。
部分结果附带了 Lean 证书。Lean 是一种形式化验证工具，证书意味着证明可以被机器逐步核验。但机器能验证，不等于人能理解。
372项突破性结果
这批证明中包含 372 项突破性结果。它们带有 Lean 证书，却尚无人类理解其中多数证明。
能验证和能理解，在这里分成了两件事。机器可以确认每一步推导合法，人类读者却无法跟上整条推理链条，也无法说清这些证明到底在讲什么。
Mollick 转述这批体验时给出的定位是"狭窄超人类智能"——在证明写作这一件事上，AI 已经越过了人类可读的边界，而这种超越是局部的、狭窄的，不是全面的。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
