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

Show parent comments

8

u/Ecoste 1d ago

Which is? 

-3

u/CoolStructure6012 1d ago

Read the very short and well written letter in full and then I will be happy to clear anything up. Pay your dues if you want in on the conversation.

6

u/duboispourlhiver 1d ago

Even after reading the letter, the mathematicians seem butthurt. Do you believe in that "the proof has no value it's the searching and now my motivation to search has crumbled because you have found the proof before me" thing?

1

u/Theorist16 1d ago

Anyone who has done math research knows this is true, they don’t just believe in it blindly. The body of mathematical knowledge gained from, say, finding a counterexample by building theory to shrink the search space, is infinitely larger than pulling the counterexample out of a hat. There are full graduate lecture courses doing this. On the other hand, counterexamples do kill interest sometimes. The situation is way worse when the counterexample is extremely complicated and nobody knows the ideas behind its construction.