研究者指控 AI 实验室夸大:520 个证明无一有 Lean 形式化
gerardsans · x · 2026-10-08
引用帖子称「永远不要相信 AI 实验室标题」,并指控某 AI 实验室存在新闻稿式误导:宣称的 520 个数学证明实际没有一个完成 Lean 形式化验证,认为这是系统性的宣传夸大模式。
「Fun」频道最新
- 1411 粉丝月入 93 万？AI 漫剧暴利截图遭质疑口径存疑 — sven_ai · 2026-10-08
- 站长劫持 Chrome 返回键做实验，Google 疑人工翻代码后全网除名 — dejanseo · 2026-10-08
- 付费读书项目被曝用 AI 生成书籍，读者测后才知自己是检测实验品 — Junior-Key-5043 · 2026-10-08
- 网友提名 AI 生成版侏儒怪出任 2026 万圣节官方吉祥物 — bennash · 2026-10-08
- 用 --sref 油画风格生成「1765 年吃冰淇淋冠军」名场面 — dolma33 · 2026-10-08
- 网友用 WAN 3.0 制作迷你动画剧集短片 — tonimestudio · 2026-10-08