千元一份请数学家逐行纠错，AI证明被批每行皆错

有团队以每次 1000 美元的报酬聘请专业数学家审查 AI 生成的数学证明并找出问题，用于为强化学习训练生产高质量数据。参与审阅的数学家 Andrzej（littmath）应请求逐行审查一份 AI 辅助证明，结论毫不留情：第一部分论断或欠明确或无依据，第二部分每一行都是错误断言。同行则对实际审阅工作量与成本表示好奇。

2026-09-10 ~ 2026-09-10 · 3 条相关

• 数学家 littmath 免费逐行纠错 AI 证明：每行都是错误断言 — ctjlewis · 2026-09-10
• 开价千美元请数学家挑证明错误,为 RL 训练生产高质量数据 — ctjlewis · 2026-09-10
• 数学家千元一份审 AI 证明,工作量引发同行好奇 — ctjlewis · 2026-09-10