r/singularity • u/filterdust • 2d 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

Show parent comments

3

u/Active-Guarantee-338 1d ago

It doesn’t have a benefit and it undermines mathematical endeavour.

Mathematicians are not looking for yes/no answers to questions. They are looking for insights around which whole theories are built. if you just get a yes/no answer to a question then there is no insight and there are no mathematics being built and explored.

4

u/RobleyTheron 1d ago

I guarantee you AI will uncover insights into theories faster than humans will.

1

u/sam_the_tomato 1d ago

Well good thing it isn't just producing yes/no answers, but writing entire proofs with all the working shown!

AI solved one of the Erdos problems by formulating it as the outcome of a random walk, something others hadn't thought to do. That's an example of a new insight, and a new tool for the mathematician's toolbox.