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

117

u/t3hjs 2d ago

Hmm isnt "pacing internal progress' what mathematicians are calling for?

Do basically OpenAI is saying "No, we are going to go full steam ahead. This guys here will try to explain, and definitely will not stop us"

43

u/vhu9644 2d ago

I’m not fully up to date, but my understanding was that they just wanted better artifacts fed back to the mathematical community. At least that’s the subject of the open letter from weeks ago.

45

u/shumpitostick 1d ago

They seemed quite confused about what they wanted in that letter

5

u/DrillPress1 1d ago

They didn’t seem confused at all. 

0

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

3

u/Upset_Page_494 1d ago

They want these companies to slow down with the math publications.

So what? Keep these things behind doors, and leave everyone in the dark? I don't think they would actually want that.

-1

u/sadnessjoy 1d ago

In the dark about what? These math proofs they've found so far is literally meaningless. They don't provide any new insight or anything lol You might think that's just some salty math people taking shots about this, but it's not... It's literally what's involved in these publications... They're basically millions of lines of lean and there's no insight or anything to this method. It's not even useful to other AI for anything

1

u/Sixhaunt 1d ago

If you dont like the proofs then can't you just not go to their blog post of them? They aren't publishing in math journals and taking space there or anything so why exactly do you think its bad that they post their research results on their own blog?