San FranciscoOpenAI published ten claimed math advances.
Unlike most artificial-intelligence benchmark claims, a mathematical proof is checkable: it either holds under independent and automated verification, or it does not.
The publication drew over 900 comments questioning whether results are new or already known.
Sources: Hacker News