数学家 littmath 免费逐行纠错 AI 证明：每行都是错误断言
ctjlewis · x · 2026-09-10
数学家 Andrzej（littmath）应对方请求逐行审查了一份 AI 辅助产生的数学证明，结论毫不留情：第一部分每个论断要么欠明确要么无依据，第二部分每一行都是错误断言，且第二部分从未真正使用第一部分的输入。他同时表示不推荐任何人用该工具做正确的数学。转推者 ctjlewis 赞叹其在感到厌烦的情况下仍给出高质量纠错，称这应成为「数学的专业规范」——此事与近期 OpenAI 邀请顶级数学家测试模型引发的争议相关。
所属事件:数学家逐行审查 AI 证明，千美元酬劳助力 RL 数据(2 条相关)→
「Fun」频道最新
- OpenAI 宣称解决纳维-斯托克斯问题,却没登上任何头条 — IgorCarron · 2026-09-10
- 旧金山新搭讪话术:『要不让我 agent 和你的 agent 聊聊?』 — Aizkmusic · 2026-09-10
- 学术圈争功众生相:arXiv 就是带头衔者的 Instagram — eigenhector · 2026-09-10
- ChatGPT 误把 netstat 和 ping 当行星,作者顺势写进 TRPG — anderssandberg · 2026-09-10
- 「数学需要纸笔和约 1 万亿美元算力」，AI 圈热传梗图 — Polymarket · 2026-09-10
- Reddit 网友用 Astra + Higgsfield 生成完整 2D 平台游戏，连音效配乐都自动搞定 — Critical-Home9648 · 2026-09-10