Mathematicians Paid $1,000 to Find Errors in AI-Generated Proofs

A team is paying mathematicians $1,000 per review to find errors in AI-generated proofs for RL training data; one mathematician's line-by-line audit found the second part contained a false assertion on every line.

2026-09-10 ~ 2026-09-10 · 3 related posts

• Mathematician littmath's Line-by-Line Review Finds AI-Assisted Proof 'All Wrong' — ctjlewis · 2026-09-10
• Paying mathematicians $1,000 a proof to spot errors for RL training data — ctjlewis · 2026-09-10
• Paying mathematicians $1,000 to review AI proofs — but how much work is it? — ctjlewis · 2026-09-10