Set theory expert on OpenAI's PP-vs-AC solution: it would be desk-rejected
burny_tech · x · 2026-10-10
OpenAI claims to have resolved the old set theory question of whether the partition principle implies the axiom of choice, but expert Asaf Karagila's verdict is blunt: "If this was an academic paper submitted to a journal, it should be issued a desk rejection."
His core criticism: authors bear the onus of conforming to a journal's communication standards (a paper written in Swedish would be rejected outright by the AMS), yet OpenAI drops hundreds of "incomprehensibly written" solutions and expects appreciation — while he has his own papers to finish and students to supervise. The reaction has sparked debate over whether OpenAI's automated math output meets scholarly communication standards.
More from Companies & People
- "Pics > words": robotics-to-chemistry team hires engineers via portfolios only — jwt0625 · 2026-10-10
- Bindu Reddy: Google's Compute Sales to Anthropic Were a Near-Fatal Mistake — bindureddy · 2026-10-10
- Amelia Joins Manus as Product Lead, Inviting User Feedback and Referrals — AlchainHust · 2026-10-10
- 'SI' Mandate Lets Fake AI Vendors Self-Identify, Argues Technologist — matt_slotnick · 2026-10-10
- Rumor: OpenAI has reportedly paused development for weeks amid total silence — DavidSKrueger · 2026-10-10
- WSJ: Anthropic CEO personally sought compute from Meta and was declined; Google fights over GPU allocations — JFPuget · 2026-10-10