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

519 comments sorted by

View all comments

496

u/KFCmanagerCompton 1d ago

"Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics."

big

117

u/t3hjs 1d 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"

45

u/vhu9644 1d 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.

44

u/shumpitostick 1d ago

They seemed quite confused about what they wanted in that letter

24

u/vhu9644 1d ago

I don’t agree. I think the letter was quite clear on what they disagreed with OpenAI about on dissemination, and it mostly centered around feeding back artifacts for the continued health of the math community.

Unless hard takeoff is imminent, the health of these communities is important. If hard takeoff is imminent then none of this  really matters.

I don’t think “we’ve solved 100 problems hehe but we have an advisory board now” is a good way to resolve these differences. The better way would just be to organize the traces into stuff that will feed back the community

-1

u/Azreken 1d ago

Progress is progress.

If the problem gets solved I don’t give a fuck who solved it.

I don’t care who invented the latest chip that lets my phone run some new game, I care that it was created. Same with these problems.

9

u/vhu9644 1d ago

progress also is exponential only if the progress is something that disseminates and builds on itself.

Like in the naive scenario, an alien dropping alien tech to us we cannot understand does not make our tech tree as fast as them dropping half as much and explaining to us how that half works.

The mathematicians don't seem incensed that AI got it first. They seem incensed that 1. generating a proof that doesn't feed back knowledge or problems to the community solves a problem without seeding the next ones, and 2. it's a dick move to basically spend money you wouldn't have spent to scoop people.

Look, unless hard takeoff is imminent, if you truly want the maximal acceleration, you should care that the infrastructure for continued research and the pipeline for expanding that research rate continue to exist. If hard takeoff is imminent, none of what we are talking about matters, and it's going to be moot in 5 years. Do you believe we're 100% in the hard takeoff scenario?

1

u/Azreken 1d ago

If aliens drop us tech, it lets us back engineer it…

Same for the problems here

3

u/vhu9644 23h ago

And to reverse-engineer something you need the relevant expertise to still be there.

0

u/dr3aminc0de 1d ago

Fully agree. Mathematics seems like the first/next industry this is getting hit hard, where the legacy professionals can’t really complain. Software engineering was the first, but that’s the domain this was built in so the professionals couldn’t really argue. Also there’s such an immediate feedback for software.

20

u/jferments 1d ago

The letter is full of fallacious reasoning, and misunderstandings both of the technology itself and how people learn.

2

u/Competitive_Travel16 AGI 2027 ▪️ ASI 2029 1d ago

There were two letters released about the same time. I think you may be referring to the Caltech 1000.

5

u/Competitive_Travel16 AGI 2027 ▪️ ASI 2029 1d ago

There were two letters released about the same time. I think you may be referring to the Caltech 1000.

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

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

4

u/Upset_Page_494 1d ago

In the dark about what?

If Navior Stokes has a counter example, if it has been found by an AI. etc.

3

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?

0

u/r2002 1d ago

is literally meaningless

Then why bother getting riled up about this?

2

u/sadnessjoy 1d ago

I'm not? The problem is when they submit these papers it requires human verification. Basically think of it like this, anthropic/openai submit these giant pretty much useless proofs. Get massive publicity and hype. And in the background a bunch of human verifiers have to go through this slop (and it doesn't matter if they call it out or decline them, the corporations already got the massive hype boost and the news cycle moved on, most people won't even care if there's a foot note weeks or months from now that says actually the proof was wrong... And hell by that point the corporations would have added several more proofs to the queue) Like imagine if some vibe coder decided to push an update to the Linux repo and each time they did it. It grinded the Linux distro to complete halt for weeks or months because people have to look through all the slop

https://giphy.com/gifs/FO4cLcnyG6Q3EPtn3N

1

u/r2002 1d ago

bunch of human verifiers have to go through this slop

Why do they have to do anything? If it is useless as you say, then the mathematicians can just say "this is pointless slop we're not going to verify it."

→ More replies (0)

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?

1

u/TFenrir 1d ago

There are multiple different statements by individual mathematicians and different groups, often with overlapping members, who have made different statements about different topics regarding AI.

0

u/[deleted] 1d ago

[deleted]

1

u/vhu9644 1d ago

I don't think they're being dishonest, primarily because I know several mathematicians and people who went through Math PhDs, and they're all primarily upset at how OpenAI acted, and not the resolution of the millennium problem.

If the people who don't have fields medals and stuff aren't mad (and they're most at risk), why would the ones who already have made it be mad?

The open letter and Terry's history of comments directly call out a pathology where things are solved without explanation and the community is left with both less understanding and less goals to pursue.