Paying mathematicians $1,000 to review AI proofs — but how much work is it?
ctjlewis · x · 2026-09-10
A discussion about paying a mathematician $1,000 to look at an AI-generated proof and flag issues. The reviewer says it's "not bad for mathematicians," while the questioner digs into the actual cost: minutes, hours, or overnight reflection? The exchange highlights an emerging micro-market for human verification of AI math proofs — and that reviewers' time cost is the key open variable.
More from AGI Musings
- Ex-OpenAI researcher defends Evan Hubinger: >10% extinction risk belief is sincere, not marketing — ronbodkin · 2026-09-10
- lemire: 'superintelligence will kill us all' is a moral claim, not a rational one — lemire · 2026-09-10
- Kelsey Tuoc: OpenAI and Anthropic staff believe it'll be bad if the other gets recursive AI first — EigenGender · 2026-09-10
- Next enterprise software era: Civilization-style interfaces atop company agents — smtabatabaie · 2026-09-10
- tinygrad: API access is not distribution — without owning hardware, AI won't stay aligned — cephaloform · 2026-09-10
- Michael Levin's new paper: a structured latent space of patterns for new forms of life and mind — danfaggella · 2026-09-10