数学家 littmath 免费逐行纠错 AI 证明：每行都是错误断言
ctjlewis · x · 2026-09-10
数学家 Andrzej（littmath）应对方请求逐行审查了一份 AI 辅助产生的数学证明，结论毫不留情：第一部分每个论断要么欠明确要么无依据，第二部分每一行都是错误断言，且第二部分从未真正使用第一部分的输入。他同时表示不推荐任何人用该工具做正确的数学。转推者 ctjlewis 赞叹其在感到厌烦的情况下仍给出高质量纠错，称这应成为「数学的专业规范」——此事与近期 OpenAI 邀请顶级数学家测试模型引发的争议相关。
所属事件:千元一份请数学家逐行纠错，AI证明被批每行皆错(3 条相关)→
「Fun」频道最新
- 病毒式热帖:把沙子炼成 99.99999% 纯硅,最终主要用来发邮件 — CatAstro_Piyush · 2026-10-27
- 2 小时 50 美元复刻 Kurzgesagt 格式，引出「AI 创作缺意图」之争 — motionbynick · 2026-10-27
- 恶搞论文走红：用 REA 的 MCP 工具反向工程机构交易系统，搞一人量化基金 — PtrPomorski · 2026-10-27
- 实验：同时调控两组神经元，模型自行组合出「gnome」概念 — Sauers_ · 2026-10-27
- 29 美分用 Dreamina Seedance 伪造大坝灾难「幕后花絮」 — Standard_Spell5873 · 2026-10-27
- AI 圈梗图：旧金山派对上的 monog 们自尊心堪忧 — NathanpmYoung · 2026-10-27