数学家千元一份审 AI 证明,工作量引发同行好奇
ctjlewis · x · 2026-09-10
一条关于「请数学家审阅 AI 生成的证明并付费 1000 美元」的讨论。被提问者（参与审阅的数学家）表示这种报酬安排对数学家来说不算差；提问者追问实际审阅成本——是几分钟、几小时还是过夜思考，想弄清这份钱对应的真实工作量。对话透露出 AI 数学证明人工验证正形成小规模付费市场，以及审阅成本仍是关键变量。
所属事件:千元一份请数学家逐行纠错，AI证明被批每行皆错(3 条相关)→
「漫话AGI」频道最新
- 反直觉观点：AI 最损害的恰恰是不用它的人的思考能力 — jd_pressman · 2026-10-27
- INRIA 研究员将于 ENS 报告「作为实验科学的数学」:LLM 参与数学研究 — marc_lelarge · 2026-10-27
- Lu│读者仍不愿读 AI 生成的书籍 — LuizaJarovsky · 2026-10-27
- Dario 与 Hassabis 对谈:两人都把 AGI 指向 2026-2027 — mtizard · 2026-10-27
- 微软裁员四分之一，AI 时代经济自噬？ — skatejraney · 2026-10-27
- AI 研究者谈脑机接口： augmentation 不保证永生，但比死亡更好 — danfaggella · 2026-10-27