OpenAI, the Partition Principle, and Mathematics

A mathematician discusses OpenAI's announcement regarding the Partition Principle and the Axiom of Choice. The author notes that many people inquired about the announcement, indicating significant interest in the problem. Upon reviewing OpenAI's preprint, the mathematician found it unclear, muddled, and strangely structured, with unusual terminology and unexpected theorems like Lemma 7.4 and Lemma 8.1. The author did not review the Lean code due to its complexity and unfamiliarity with Lean's usage.

This account offers a critical review of OpenAI's preprint on the Partition Principle, unlike other reports that may simply relay the announcement.