Skip to main content
MANIFOLD
Which mathematical problems are on OpenAI's list of 100?
22
Ṁ450Ṁ3k
resolved Oct 7
Resolved
YES
Sidorenko’s Conjecture
Resolved
YES
Symmetric Mahler Conjecture
Resolved
NO
[Millennium] P vs. NP
Resolved
NO
[Millennium] Yang-Mills Existence and Mass Gap
Resolved
NO
[Millennium] Birch and Swinnerton-Dyer Conjecture
Resolved
NO
[Millennium] Riemann Hypothesis
Resolved
NO
[Millennium] Hodge Conjecture
Resolved
NO
ABC Conjecture
Resolved
NO
Ramsey number R(5, 5)
Resolved
NO
Ramsey number R(6, 6)
Resolved
NO
Smooth 4D Poincaré Conjecture
Resolved
NO
Twin Prime Conjecture
Resolved
NO
Goldbach's Conjecture
Resolved
NO
Erdős-Hajnal Conjecture
Resolved
NO
Collatz Conjecture
Resolved
NO
Grothendieck's Standard Conjecture B
Resolved
NO
Grothendieck's Standard Conjecture C
Resolved
NO
Frankl’s Union-closed Sets Conjecture

From the company's post:

On August 28, we began training a new internal model. In addition to resolving the Navier–Stokes Millennium Prize problem⁠, this model has now resolved more than 100 long-standing open problems across most areas of mathematics. The pace of its progress⁠ in mathematics has surprised the mathematicians within OpenAI. This has led to internal discussions on the best way to inform the community of the rapid progress to prepare and adapt the field.

Which problems are on the list?

I will use my best judgment to match problems if there is any ambiguity (and yes, I do have the requisite background to do this competently).

Get
Ṁ1,000
to start trading!

🏅 Top traders

#TraderTotal profit
1Ṁ189
2Ṁ140
3Ṁ20
4Ṁ16
5Ṁ13
Sort by:

Math is big :)

bought Ṁ10 NO

GitHub - openai/math

Mahler and Sidorenko Yes, everything else No? This is a bigger list but does seem to correspond to the question.

note the Openai post is Sep 21 and the two resolutions are dated Sep 22 and 23, consistent with them being found earlier and just written up later, like NS was. Seems enough for positive resolution for those and negative for the rest as they don't seem to be holding anything back.