OpenAI, the Partition Principle, and Mathematics

OpenAI released a preprint claiming to prove that the Partition Principle does not imply the Axiom of Choice, a significant mathematical result. However, the author, a prominent set theorist, criticizes the work as unclear, poorly structured, and inadequately referenced, using unpublished lecture notes instead of established published sources. While acknowledging AI's potential utility in mathematics, the author argues the mathematical community needs to establish clearer standards for evaluating AI-generated research before accepting such contributions.