研究者批评 OpenAI 数学证明仓促发表:无形式化验证还无视调解协议
gerardsans · x · 2026-10-10
开发者 gerardsans 批评 OpenAI 近期公布的数学证明工作仓促、靠 vibe 产出,缺乏实地核查,多数没有形式化验证,如同「朋友发你 50 页 ChatGPT 对话来解决争论却自己没读过」。他强调并非反 AI,而是不满 OpenAI 的糟糕礼仪:对方曾同意经由调解的证明发表协议,却单方面无视。
所属事件:OpenAI 700 篇数学文档遭集体质疑：错误率约 1%、流程本末倒置(5 条相关)→
「公司和人」频道最新
- 长访谈拆解「产品构建者」路线图:最高 25 万美元年薪怎么拿 — aakashgupta · 2026-10-10
- Hugging Face 联合 Intel 办旧金山开源 AI 周开幕夜活动 — huggingface · 2026-10-10
- KFSHRC 携手 MIT Hacking Medicine 举办三天医疗健康黑客松 — _areej · 2026-10-10
- CS 博士生称 ChatGPT 账号被误封，申诉被驳回且无任何解释 — xwang_lk · 2026-10-10
- Meta Muse 日下载量被质疑失真,分发渠道才是真正变量 — RihardJarc · 2026-10-10
- UC Berkeley 联合 UCSF 新设 4 个计算生物医学教职 — anshulkundaje · 2026-10-10