AnalysisScienceOctober 8, 2026

Mathematician criticizes OpenAI's Partition Principle preprint

Read original source →karagila.org

Asaf Karagila, who offered a bottle of whisky for a proof that the Partition Principle does not imply the Axiom of Choice, says he won't pay up and calls OpenAI's preprint "unclear, muddled." He says he did not review the Lean code, which he called enormous.

1 source

More stories today

Open the live feed