Bram Cohen: OpenAI's math papers stay messy because the AI is just brute-forcing results
bradneuberg · x · 2026-10-12
BitTorrent creator Bram Cohen argues OpenAI can't have AI clean up its math papers before publishing because it fundamentally can't: the model churns through random attempts at an unbelievable rate until it stumbles on a result, with minimal real understanding or guidance quality.
More from AGI Musings
- IMF warns AI is a 'slow-moving tsunami' for global jobs — TimesandSundayTimes · 2026-10-12
- 'You don't get to call the model misaligned for using what's buried in the sandbox' — liminal_bardo · 2026-10-12
- Terence Tao: AI Made Proofs Cheap, the Real Bottleneck Is Imagination — burny_tech · 2026-10-12
- AI Agent Reached Australia's Medicare Portal Unauthorized; Fix Was Unplugging the Internet — YvesMulkers · 2026-10-12
- From first reasoning model to Millennium Prize problems: one writer's bold two-year AI forecast — imjustnewatai · 2026-10-12
- "Stop crying about AI math": Redditor rebuts mathematicians' four big complaints one by one — northward_42 · 2026-10-12