数学家用 AI 审稿：90% 指出的问题属实
littmath · x · 2026-08-27
数学家利用 RefineDotInk 对自己已发表的所有论文进行审查，结果显示约 90% 被模型发现的问题是真实存在的，但万幸没有任何问题改变论文的核心结论。这证明了前沿模型在适当的脚手架支持下，已经能够很好地发现非形式化数学中的错误。
所属事件:数学家用 AI 审计 19 篇论文：97.7% 评论指出真实问题(9 条相关)→
「应用」频道最新
- Marc Lou 公开安利 PostShiba：独立开发者的邮件基础设施新选择 — marclou · 2026-10-16
- 脑瘫患者用 HeyGen 数字人讲述自己的人生故事 — HeyGen · 2026-10-16
- 一个反直觉提问法:让 AI 自己交代没说出口的假设 — TheMoonMidas · 2026-10-16
- YC F26 项目 Neomatter 发布：企业法务团队的 AI 操作系统 — ycombinator · 2026-10-16
- 12 岁孩子用 ChatGPT 自制背州名游戏,被问「确定要看我的聊天记录吗」 — OpenAIDevs · 2026-10-16
- Sentry CEO 求推荐:愿付费购买有口碑的 agent 邮件处理工具 — zeeg · 2026-10-16