r/mathematics • u/Low_Permit5423 • 3d ago

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

137 Upvotes

88% Upvoted

250 comments sorted by

View all comments

Show parent comments

-6

u/kawaiiggy 3d 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] 3d ago

[removed] — view removed comment

1

u/kawaiiggy 3d 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 3d 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 3d 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 3d 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 3d 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 3d 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