eigenrobot on OpenAI's proof dump: zero humans understood these proofs before AI wrote them
eigenrobot · x · 2026-10-08
Responding to a challenge that he can't prove OpenAI's math proof dump increased human understanding, eigenrobot quips: the number of humans who understood the AI-generated proofs before AI generated them was exactly zero, and he's confident it hasn't decreased since. He adds that he let an agent demonstrate it — people are learning from the proofs, and AI is accelerating that.
Related event: eigenrobot: AI Proofs Are Accelerating Human Understanding of Math(4 posts)→
More from AGI Musings
- 17,600 Agent Actions in 4.5 Days: How AI Agents Rewrite Cybersecurity Economics — bigdata · 2026-10-09
- Stanford HAI Talk: AI Accelerates Discovery, But People Must Stay at the Center — StanfordHAI · 2026-10-09
- Anil Seth: Creating fake people like Tavos's Griffin AI avatar is a terrible idea — mikeflache · 2026-10-09
- Researcher: open-weight risk analysis fixates on capability, ignores cost-per-attack — dhadfieldmenell · 2026-10-09
- tszzl rebuts "future intelligences will love humans" with the megafauna extinction analogy — danfaggella · 2026-10-09
- Researcher: If the AI bubble pops, it may be from people rejecting tools that mass-produce slop — IanArawjo · 2026-10-09