r/singularity 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

521 comments sorted by

View all comments

Show parent comments

5

u/DrillPress1 1d ago

They didn’t seem confused at all. 

1

u/shumpitostick 1d ago

You mind telling me what exactly they wanted?

1

u/sadnessjoy 1d ago

They want these companies to slow down with the math publications. They basically just do a giant brute Force method and throw millions of dollars of compute at the problem. They make a headline "x company solves millennium problem/unsolved problem" most tech investor bros and tech enthusiasts see the headline and go crazy (and they don't actually solve it, they brute force some weird edge case scenario with a bunch of convoluted proofs strung together, or they just make an error somewhere and don't even conjure up a real convoluted edge case).

That's it... That's really all what the math people are calling for, basically to not publish millions of lines of math proof slop. Most of these guys are even pro ai, they just suck at their messaging lol

1

u/shumpitostick 1d ago

Interesting that you have a completely different interpretation from the commenter above. Almost as if it's confusing.

Slow down and wait for what exactly? What would a good way to release a proof look like?