开价千美元请数学家挑证明错误,为 RL 训练生产高质量数据
ctjlewis · x · 2026-09-10
一位 X 用户透露，其团队以每次 1000 美元的报酬请专业数学家「看」证明并找出其中的问题，用于产出高质量训练数据。作者形容受邀数学家虽明显感到疲惫，但仍像专业人士一样高效定位错误、交付高质量数据。原文作者称这应成为数学领域的「职业规范」，暗示前沿实验室正在以高薪外包专家级审校来支撑 RL/证明类模型的训练。
所属事件:千元一份请数学家逐行纠错，AI证明被批每行皆错(3 条相关)→
「研究」频道最新
- DeepMind 论文：LLM 无法真正随机，给随机种子才行 — rohanpaul_ai · 2026-10-27
- DeepMind 论文：LLM 无法自行随机采样，需外部传入随机数 — rohanpaul_ai · 2026-10-27
- 世界模型新玩法：物体赋重量摩擦系数，物理引擎推演机器人动作 — jonstephens85 · 2026-10-27
- 剑桥等机构论文揭露图软提示的 token collapse 病态行为 — Sapienza · 2026-10-27
- Mathathon 2.0 启动：与陶哲轩 SAIR 合作，团队获 150 万美元算力 — _sathvikr · 2026-10-27
- 推友提出「甜课程」真实存在：两类 ML 问题应分而治之 — mike64_t · 2026-10-27