Yoav Goldberg: 'proof with very little human input' hides a large expert brainstorm pipeline
yoavgo · x · 2026-09-09
AI researcher Yoav Goldberg pushed back on the claim that 'a model produced a proof with very little human input.' In reality, he says, a large team of experts brainstormed and coordinated approaches to the hard problem, then fed the resulting leads to AI models—one idea per session—until a single run succeeded, which was then spun as 'very little user input.'
The thread highlights how marketing around AI-driven scientific discovery can obscure the substantial hidden human effort in the workflow.
Related event: Yoav Goldberg questions AI math proof hype(2 posts)→
More from AGI Musings
- After Microsoft's 60K layoffs, pundit predicts 50-60% headcount cuts at big companies — krishnan · 2026-10-27
- 'Explain how AI isn't impacting productivity': 27% workforce cut sparks debate — alvelda · 2026-10-27
- David Patterson: by 2035, superintelligence brings 100x incomes and post-scarcity housing — davidpattersonx · 2026-10-27
- Claude now handles 27% of Anthropic's R&D, up from zero months ago — thursdai_pod · 2026-10-27
- Resy's scorched-earth war on booking agents sets up a clash with big platforms — matt_slotnick · 2026-10-27
- Michael Levin on AI Emails: Read the Papers First, Then Write Me — drmichaellevin · 2026-10-27