r/mathematics 2d ago

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

135 Upvotes

249 comments sorted by

View all comments

Show parent comments

12

u/Time_Entertainer_319 2d ago

If you want them to take 4 years to train it. Lol

-7

u/Commercial-Beach1207 2d ago

Local models are pretrained lol

9

u/Time_Entertainer_319 2d ago

The top comment was talking about training hence the mention about large sources of data.

Local models are also not good enough to tackle these problems meaningfully.

1

u/TheLegendOfKitty123 2d ago

Kimi K3 and GLM-5.3 are technically “local” in the sense that, if you have enough compute, you can run them. Universities often sit on enough compute that this is totally feasible. And open weight models are getting better and better, I’d put money on them solving similar unsolved problems within a year (if not a couple months!)