Reposted by Lachlan Musicman
For reference, of the 500 problems in the link below, the OpenAI dump claims to prove 50 of them and disprove 29 by counterexample. 9 more have conditional claims and 39 are advanced. Biggest one fully proved is Hilbert’s tenth problem over ℚ, which is solved with "nah, too many variables bruh." 🤷♂️
proofatlas.ai
Top 500 Open Math Problems: LLM-assessed Importance — ProofAtlas
Top 500 open problems in mathematics, ranked by LLM-assessed importance, with exact statements, dated status notes, sources, and ranking uncertainty.
