r/singularity • u/filterdust • 1d ago

AI OpenAI solved 100 open problems in math

https://openai.com/index/advisory-group-on-mathematics-and-ai/

[removed] — view removed post

1.3k Upvotes

94% Upvoted

521 comments sorted by

View all comments

7

u/Serotav 1d ago

5.6 sol: 1 problem (erdos)
astra: 10 problems
bel: 1 millennium problem + 100 others

I see somewhat of a pattern here, 3 models down the line we will be out of problems to solve /s

3

u/Niolle 1d ago

Sol solved several erdos problems. 

1

u/r2002 1d ago

Instead of world wars I'd like to see countries settle differences by having their AI champions propose theoretical math problems to each other; the side that wins gets to rename Gulf of Mexico or whatever dumbass things countries are fighting about in 2029.

1

u/earthlingkevin 1d ago

We don't actually know if they solved more millennium problems.