Yoav Goldberg questions AI math proof hype

NLP scholar Yoav Goldberg criticized the AI math breakthrough hype, noting it consumed 880K+ GPU hours and millions of dollars, and that a large expert team brainstormed clues beforehand, contradicting claims of minimal human input.

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

• Yoav Goldberg: 'proof with very little human input' hides a large expert brainstorm pipeline — yoavgo · 2026-09-09
• Yoav Goldberg: 880K GPU-Hours vs a Few Hundred Prompted LLM Hours for Same Math Result — yoavgo · 2026-09-10