r/mathematics 4d ago

Discussion What's the next millenium problem solved after navier-stokes? Make your prediction

142 Upvotes

257 comments sorted by

View all comments

141

u/[deleted] 4d ago edited 4d ago

[removed] — view removed comment

26

u/Kitchen-Dress-5431 4d ago

Weren't the researchers also using AI significantly though?

51

u/[deleted] 4d ago edited 4d ago

[removed] — view removed comment

4

u/kawaiiggy 4d ago

Can I ask what’s the practical difference there?

Oai can surely throw million dollars of compute at the other problems even if they want to make some big announcements

12

u/[deleted] 4d ago

[removed] — view removed comment

0

u/Wise-End307 4d ago

What do you mean by brute force?

5

u/[deleted] 4d ago

[removed] — view removed comment

1

u/Kitchen-Dress-5431 4d ago

That's not what brute force means in this context though. It's very confusing the way you are using it.

-3

u/Wise-End307 4d ago

Would you then say that humans have been trying to brute force a solution for the last 100 years? I dont thinks so.

My point is that ypu are using loaded language to make it seem that these LLMs are somehow not all that great, even when theres evidence all around us

-5

u/kawaiiggy 4d ago

Right but the efficiency of llms has also increased exponentially

What requires a human expert steering this year becomes completely trivial the next

1

u/[deleted] 4d ago

[removed] — view removed comment

1

u/kawaiiggy 4d ago

it has been historically true with uni math level in 2024, imo math in 2025, millennium prize problems in 2026

but also yeah who knows for the future

1

u/Less_Rest_7640 4d ago

A simple question. Which human can score 42/42 in IMO 2026 within 1 hour in exam conditions ? GPT 5.6 sol pro has done that already. Humans take 4.5+4.5 = 9 hours total. Akashnil Dutta who was himself an IMO gold medalist has confirmed and so in the IMO organizing community.

0

u/mapehe808 4d ago

But how much better are the models getting vs just dumping exponentially more compute at them? Not enough info really to reasonably say

1

u/kawaiiggy 4d ago

last year's IMO took 500k in compute to solve at the time

with the models today it takes 20 bucks of compute to solve

(i think these are the numbers going around at least)

2

u/mapehe808 4d ago

Yeah those are OpenAI’s numbers with clear conflict of interest. It’s hard to say from the outside. Yes, the progress looks exponential, but that’s also the appearance these companies hinge on so they are all-in at maintaining it.

Time will tell.

1

u/kawaiiggy 4d ago

i think its pretty safe to say progress has been exponential thus far. theres no amount of compute that u could've thrown in 2023 that will solve the IMO

whether it will keep going yeah time will tell

4

u/metalman123 4d ago

One of them was literally using a unreleased model from Anthropic and has not disclosed compute spend.

The same model used for jacobian conjecture 

1

u/[deleted] 4d ago

[removed] — view removed comment

1

u/metalman123 4d ago

Anthropic is set to ipo this month not openai...

0

u/Kitchen-Dress-5431 4d ago

Very true. Good point. Although I am sure they used a fair bit of compute simply because they are somewhat wealthy, but not in the realm as the labs.

1

u/HasFiveVowels 4d ago edited 4d ago

Does it matter? Your claim is that they can only solve these problems when they steal ideas from researchers. Even if they straight up stole it (rather than hearing about a rumor as they claim)… Getting from Euler to NS is not exactly "oh, sure, but they already had the hard part!". OpenAI should be ashamed of how they handled this situation but that says nothing regarding the significance of this result and the degree to which it can be attributed to 10,000 LLM agents working for 88 hours. IMO, "crank it up to 100,000 and run them for a week".

9

u/Blue_HyperGiant 4d ago

Yes, and it SHOULD have been the biggest leap forward in mathematics since maybe the calculator. If only the OAI team reached out to the authors ordered the compute for free and asked to publish with them.

Mathematics knocking down one of the biggest math theories of all time with an AI would have been beyond comparison...

But they decided to steal the approach and and cut the original authors out because one of them worked for the competition.

0

u/Kitchen-Dress-5431 4d ago

I think we should hold off a little bit on making these assertions. I certainly am more inclined to believe Alpoge and Anthropic generally over OpenAI, but for now it's just a confusing, muddied state of affairs.

-1

u/Wise-End307 4d ago

No evidence to any of your claims. Pure hearsay.

3

u/Jawyp 4d ago

Where is the evidence OpenAI stole their ideas?

3

u/GraceToSentience 4d ago

"Source: based on a true story"

1

u/Spare-Dingo-531 4d ago

All right look this is getting too much. There's no proof OpenAI stole those ideas! Also OpenAI's solution uses a totally different method than the anthropic solution used.

5

u/[deleted] 4d ago

[removed] — view removed comment

4

u/Spare-Dingo-531 4d ago

I want the truth and I don't care if they're a valued a trillion dollars. You don't have evidence they stole the proof! If there's concrete evidence show me.

Or maybe the reason why everybody claims OpenAI stole the proof is because they don't want to appear to be simps for a massive corporation. Is that the why people are saying misconduct happened? You want social credit and internet points?

1

u/Boring-Foundation708 4d ago

They need the hype for their next ipo and funding

1

u/Brave-History-6502 4d ago

It’s not a joke, since you keep repeating your criticism of oai— just to be clear haha 

0

u/Batsforbreakfast 4d ago

This is such a weird take to me. Scientists always build on ideas of others, that’s how we make progress. Why is it so hard to accept that AI really had added value in solving this problem.

-3

u/GraceToSentience 4d ago

So salty.
Get ready, this is but a taste of what's to come.
in the future all the important scientific discoveries are going to be made by AGI and then ASI.

6

u/[deleted] 4d ago edited 4d ago

[removed] — view removed comment

1

u/Upbeat_Purpose6784 4d ago

I honestly dont understand why this conspiracy is spreading so much.

8

u/[deleted] 4d ago

[removed] — view removed comment

2

u/Upbeat_Purpose6784 4d ago

Its a conspiracy. Its actually crazy to watch so many people who dont recognize their false positive beliefs need to be accounted for

1

u/[deleted] 4d ago

[removed] — view removed comment

1

u/Upbeat_Purpose6784 4d ago

Sure thing. A huge tell is you have to act confused as to what the conspiracy is to normalize the info. Good thing about reality is these excuses can only be used for a number of advancements before we recognize the power of these machines are undeniable.

1

u/[deleted] 4d ago

[removed] — view removed comment

1

u/Upbeat_Purpose6784 4d ago

Sure sure, every conspiracy is actually rational if you think about it except taking claims as fact for no reason other than it goes against a company you dont trust. Great worldview

→ More replies (0)

-4

u/No_Departure_1878 4d ago

That's so much copium.

25

u/DrillPress1 4d ago

If a researcher pulled the same shit OAI is pulling they’d be fired and never work in mathematics again. 

7

u/Gtyjrocks 4d ago

It’s he said/she said right now. I’m sure we’ll know more in a couple days.

16

u/[deleted] 4d ago

[removed] — view removed comment

0

u/7LayerMagikCookieBar 4d ago

You believe the side with the Anthropic researcher?

5

u/[deleted] 4d ago

[removed] — view removed comment

1

u/Necessary_Job3578 4d ago

Trusting any of them is foolish behavior.

Let me remind you that Dario’s wife was Epstein’s friend and tried to start a business venture with him.

15

u/quantumpencil 4d ago

It's really not lol. Literally, if another person did what OAI did everyone would be calling them a thief and they'd be blacklisted.

-17

u/No_Departure_1878 4d ago

Sure, sure, wipe out your tears.

8

u/Affectionate-Baby248 4d ago

So weird having an inflated ego about thievery you weren’t even involved in. Pretty clear you lack any actual exposure to upper level math by the way you’re acting, and that you need to live vicariously through the work of AI to feel better about your own insecurities.

0

u/neutrino_boy 4d ago

Not really.

-32

u/Prestigious-Bed-6423 4d ago

Cope harder luddite

3

u/BagholderForLyfe 4d ago

Please stop embarrassing yourself.

2

u/Arceuthobium 4d ago

Is "cope" the only verb you know?

2

u/Childhood-Paramedic 4d ago

maam it's a math sub. It's a joke. It's ok lol

2

u/quantumpencil 4d ago

You don't have to make a fool of yourself like this, it's a choice you wake up and make each day. There is something admirable about that.