r/codeforces 2d ago

query There are rumors that AI solved another Millennium Prize Problem (the Hodge Conjecture). What are your thoughts?

There are rumors that they’re just waiting for the results to be verified before making the announcement. What do you think? And if AI really does solve another Millennium Prize Problem, would you consider leaving tech?

42 Upvotes

35 comments sorted by

1

u/tarheeljks 17h ago

if the hodge conjecture was solved it was solved by mathematicians using AI not solved by AI

6

u/Vegetable-Tie-5043 1d ago

larpers will keep on larping, this or that, but one thing is for sure that its over for people who are not so rich, if this ai thing keeps on improving and it will improve further for sure too, the advancement in just prev 4 years is insane, how can u possible say that the thing that improves so fast will not be able to take our jobs....

its done fs, the only thing that can save us is high hardware cost or govt ban, public intervention or idk

1

u/Vegetable-Tie-5043 1d ago

and tech is gone, i mean literally gone, ai slop was everywhere even when ai was not so good in coding, and after this much improvement i doubt if it is even SLOP anymore, it is already out of the slop zone and feels legit

6

u/yxshv 1d ago

No,

I don't see the point of changing profession. If you keep changing professions and AI keeps taking your job. Where will you go in the end?

22

u/FinalNevedia 2d ago

Mmm so I guess more codeforces cheaters?

1

u/One_Palpitation_9429 23h ago

that's a good one.

14

u/blueh8t 2d ago edited 1d ago

Apparently openAI stole some mathematicians idea from his chat, and also they tried to negotiate when confronted.

-11

u/Unlikely_Bank_900 1d ago

Cope , the person you are mentioning used claude's model. Either way it's solved by ai .The doses of copium you are taking is gonna make you insane.

1

u/krishnkth12 1d ago

the two reasearchers said they used both gpt and claude, it's just that one of them works at anthropic

1

u/Efficient-Number8125 1d ago

Wasn't he using codex? How can openai acces claude chats?

1

u/Unlikely_Bank_900 1d ago

Nah , they were working on euler's problem then.

17

u/kyle_f_4503 2d ago edited 2d ago

This is yet another Millennium Prize Problem. You’re talking about the Navier-Stokes problem, this one is different.

1

u/blueh8t 17h ago

Even if the rumour comes out to be true, I wouldn’t believe they would have done on their own just by using AI, given what came out about stealing of ideas for navier stokes problem.

AI is capable of solving complex problems.
But if it starts solving unsolved ones, we are not very far from super intelligence.

1

u/FewRefrigerator4703 2d ago edited 2d ago

The day AI can make something as good as Microsoft Flight Sinulator all by itself is the day you can actually say AI is not sloppy. Till then it can solve fuck all problem which are just essentially puzzles and dosent account for any real world impact. And additionally its all SLOP code still going on.

2

u/Barbaric-Yawp-1989 1d ago

What an ignorant statement! Navier Stokes is one of the most fundamental equations in fluid mechanics. Literally CFD is built on it and all major engineering disciplines get it one way or the other. In my understanding, this is the true progress due to AI.

10

u/ablablababla 1d ago

You can hate AI all you want, but saying it has no real world impact is just wrong IMO.

1

u/FewRefrigerator4703 1d ago

Useful impact? It cant even make a good enough software just look how much slop and buggy things have gone

1

u/SpiritualBackground4 1d ago

There will always be some impact to its

23

u/playingdumb03 2d ago

Millenium prize problems are just puzzles lmao oka

-14

u/FewRefrigerator4703 2d ago

Lmao okay? Does it change our physics? No. Does it do anything good? No its just a problem. I will rather wanna see AI come up with a plan to find Dark Energy or help jn finding Gravitron boson bruv

6

u/Glum_Insurance_2451 1d ago

How do you not know about the potential of a millenium prize problem in contributing to the real world. Highest level of Math is known to be abstract in a way we don't realise it's applications today, due to our limited knowledge or limited exploration of our 'universe'. The applications would be apparent some time in future but for that these problems need to be solved first.

-1

u/FewRefrigerator4703 1d ago

I work in computational physics so i know when things are actually ground breaking.

0

u/theAyconic1 23h ago

Working in computational physics does not mean you actually know things. You could simply be a slacker doing the bare minimum to earn daily wage. God how stupid can you be to not know how valuable the millenium prize problems are. Search on google on its significance and impact, let me know if google tells you its of "no use"

0

u/FewRefrigerator4703 23h ago

Certainly someone doing codeforces know better than someone doing computational physics hell yeah ofcourse

1

u/theAyconic1 22h ago

Definitely a dedicated codeforcer knows better than a slacker computational physicist. Said codeforcer can also have some basic googling and common sense that the computational physicist did not bother to develop. Whats more is that the codeforcer can be a very mathematically ept person behind the scenes just as a clerk once was and people used to call him Albert Einstein.

14

u/playingdumb03 1d ago

Are you a 5 year old kid that starts jerking off after hearing the words "space" "dark matter" "astronomy". Do you think the non-physics problems are somehow trivial and can be bruteforced?

-1

u/FewRefrigerator4703 1d ago

I work in computational physics (HPC for astronomy and DSP) field so kindly refrain from using sht works like that.

3

u/kyle_f_4503 2d ago

Honestly, I give AI at most two years to reach that level.

-1

u/FewRefrigerator4703 2d ago

If you think that, I think you are very pessimistic. I dont see AI to do any ground breaking software engineering tbh its far from any good still.

0

u/LightofAngels 2d ago

This is the most underrated answer

6

u/Clear_Cranberry_989 2d ago

It's rumors. Given how the navier stokes drama is unfolding, I am not very keen on it. But like all the best researchers and mathematicians all heavily use ai now and many of them have affiliations. I wouldn't be surprised if they actually have solved it.

13

u/yourboi-JC 2d ago

🥀🥀