GoKawiilOpenAI claims proof that Partition Principle does not imply Axiom of Choice
OpenAI released a preprint, accompanied by Lean formalization code, asserting a resolution to a long-standing open problem in set theory: whether the Partition Principle implies the Axiom of Choice. The announcement prompted widespread attention from mathematicians, including a blogger known for offering a whisky bottle reward for a solution to this exact problem.