CoolmAIth Games is a parody of the classic 2005 Coolmath-Games.com. Every "game" on this site is a real result from openai/math, a collection of 719 manuscripts in 372 result families that, according to its README, were "produced by an internal OpenAI model."

The repo's README says roughly 4,000 open problems were posed to the model, with an average of three hours of ChatGPT Pro thinking per result. About 42% of the top-line results have Lean formalizations. The README also says "some of the unformalized results could have issues," so on this site those games carry an orange warning.

PLAY buttons open the actual PDFs on GitHub. "How to Play" is the repo's own summary of each result, and "Level Select" lists every manuscript in the family with its abstract.

Parents: no violence, no empty action, just a lot of challenging proofs. Ads on this site are fake and nothing is for sale. Ratings live only in your own browser.

Not affiliated with Coolmath.com LLC or OpenAI. Coolmath Games is great and you should go play it.