数学家千元一份审 AI 证明,工作量引发同行好奇
ctjlewis · x · 2026-09-10
一条关于「请数学家审阅 AI 生成的证明并付费 1000 美元」的讨论。被提问者（参与审阅的数学家）表示这种报酬安排对数学家来说不算差；提问者追问实际审阅成本——是几分钟、几小时还是过夜思考，想弄清这份钱对应的真实工作量。对话透露出 AI 数学证明人工验证正形成小规模付费市场，以及审阅成本仍是关键变量。
「漫话AGI」频道最新
- 前 OpenAI 研究员力挺 Evan/Jacob：AI 灭绝担忧不是营销话术 — ronbodkin · 2026-09-10
- lemire:「超级智能会毁灭人类」是道德论证而非理性论证 — lemire · 2026-09-10
- Kelsey Tuoc：OpenAI 与 Anthropic 都信「对方先到就是坏事」 — EigenGender · 2026-09-10
- 下一时代企业软件：像《文明》一样操控公司大脑与智能体 — smtabatabaie · 2026-09-10
- tinygrad:API 访问不算分发,不掌握硬件难谈对齐 — cephaloform · 2026-09-10
- Michael Levin 新论文:以结构化潜空间刻画新形态的生命与心智 — danfaggella · 2026-09-10