logoalt Hacker News

drcodetoday at 12:08 AM6 repliesview on HN

An LLM just solved 10 top tier math problems this week. It seems very likely that in 6 months they will solve 100 top tier math problems, maybe 1 millenium math problem, maybe 10 top tier physics problems, etc.

It's only going to get crazier.


Replies

edottoday at 1:26 AM

Math is verifiable. LLMs will continue to make strides in such search spaces where all they need to do is try->verify->repeat. You can't train an LLM on how to end the war in Iran or Ukraine, nor how to solve hunger, nor climate change, etc. Real issues.

And LLMs still suck at art and writing.

show 3 replies
ytoawwhra92today at 2:50 AM

Has an LLM ever intentionally made you laugh? Cry?

show 2 replies
Barrin92today at 1:12 AM

>An LLM just solved 10 top tier math problems this week

and 30 years ago a computer beat Gary Kasparov, if you'd listened to Hans Moravec you wouldn't be surprised that the first thing that gets automated is intellectual domain expertise.

Things are going to get crazy when it can figure out how to walk into a random house a and brew a cup of coffee, not do math

amazingamazingtoday at 12:56 AM

Suppose LLM solved all math problems. So what? It’s not like diplomacy and war will end. Are humanity’s problems really constrained on our intellectual ability? If anything most evidence points to cultural failing and all AI will do is enable unprecedented oppression due to said skills at intellectual tasks.

As you read this some poor person is starving. Humanity already possesses the ability to identify said person and send them aid. How is AI going to help here?

The ultimate fallacy is that all technological progress will benefit mankind. That will be true until it is not.

show 4 replies