@rohanpaul_ai That's silly, you can't use a computer while solving the problems, so what difference does it make?

Did chess engines destroyed chess tournaments? Nope.

@rohanpaul_ai I am 100% certain a commercially available model will get a perfect score on this year’s math Olympiad

"Pretty soon, competition math, competition coding, is not going to be interesting anymore.

I'll be disappointed if we don't have a model out by next year that anybody can use to get a perfect score on the IMO (International Math Olympiad)."

@rohanpaul_ai IMO solved? Cool. Now the real fun begins: defining problems AI *can't* just ace on command. 🧠

@rohanpaul_ai People realising the real talent is something else. It's not basically about making the best calculator in the world by acing math it's about applications/implementation, things that can benefit all and make a difference.

@rohanpaul_ai Something just doesn't stop being interesting because machine intelligence can solve it. The inner drive of individuals keeps things interesting for individuals.

@rohanpaul_ai I think some hackathons might transition to being like chess compeitions where you are not allowed to use artificial intelligence.

@rohanpaul_ai Perfect IMO score within a year? Geometric reasoning still trips up current models.

@rohanpaul_ai We've had chess engines that can beat the world champion for decades. Does that mean being the world chess champion today is no longer interesting?

@rohanpaul_ai Postulating is primary. Proofs are secondary.

@spicey_lemonade @rohanpaul_ai wanna do a bet at 100:1?

@ShinkaIoT @rohanpaul_ai The Millennium Prize already has done that.