9 ms·
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
by drcode 2mo ago
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.
- amazingamazing 2mo agoSuppose 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.
- drcode 2mo agoI have no idea if diplomacy and/or war will end, I just hope we humans get to hang around a few more years
- ChadNauseam 2mo agoIt's an interesting time when the bar has moved to "It’s not like diplomacy and war will end". But that is on the table. Nuclear weapons caused the end of wars as we know them. Great powers no longer directly attack each other. And AI is much more powerful than nuclear weapons, with an equal capacity for damage and a much greater capacity for good. By the way, I donate monthly to GiveWell and the shrimp welfare project. Do you donate monthly to starving people? Most people don't, and the reason is simple: at the end of the day, most people just don't care that much about helping a starving person far away. They also don't care much about things like that, animals in factory farms, or earthquakes that kill hundreds of thousands. But ideally, we could find a way to empower people such that the minority who do care can make a big difference.
- cure_42 2mo agoYikes
- thin_carapace 2mo agothis comment will be killed, i find it an apt response to the idea that enabling those who believe themselves to be good is more important than reducing wanton suffering
- ChadNauseam 2mo ago> enabling those who believe themselves to be good is more important than reducing wanton suffering I'm genuinely not sure if you're referring to my comment or the one I responded to haha
- thin_carapace 2mo agoi read your article you posted here. in that article you state that you support live and let live. most people who support live and let live either havent been raped by life yet, or have chosen to double down post-rape. the latter is respectable, still im not currently interested in a discussion involving the influence of such a perspective. out of good faith i highlight that i responded to: > ideally, we could find a way to empower people such that the minority who do care can make a big difference is it a coincidence, that in your ideal world, you would be empowered, because you care, as evidenced by your testimony of things you do that make you think you care? in my ideal world, wanton suffering would be minimized, regardless as to the path it took to get there; requiring 1 specific path involving people who think they are good, demarcates our ideals.
- deleted 2mo ago[deleted]
- Cthulhu_ 2mo agoHow is AI "more powerful than nuclear weapons" etc when they're two completely different things? Please explain to me how AI can glass the planet via mutually assured destruction.
- jacquesm 2mo agoAll technological progress will benefit an increasingly smaller (and wealthier) slice of mankind.
- jaggederest 2mo ago> Suppose LLM solved all math problems. So what? It’s not like diplomacy and war will end. These are two vastly different statements, and the the war and diplomacy end is almost trivial by comparison, it would absolutely be solved before we solve all math in even the most steelmanned version.
- Barrin92 2mo ago>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
- tomjakubowski 2mo agoWhen we've done both we will have fully automated Erdős.
- neonnoodle 2mo agoregular LLM use makes people sound like they’re on meth so we must be getting close!
- z0r 2mo agohttps://dsimanek.vialattea.net/twain.htm https://dsimanek.vialattea.net/twain.htm
- edot 2mo agoMath 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.
- MichaelDickens 2mo agoThree years ago, people were saying "LLMs just generate plausible-sounding text, they don't understand the notion of truth so they can't do verifiable work like math proofs."
- bigyabai 2mo ago> they don't understand the notion of truth so they can't do verifiable work like math proofs. Nobody that understands automated proof checking was claiming that.
- jdub 2mo agoYou understand that those are different kinds of "truth", right?
- edot 2mo agoRight, which was true at the time. So hundreds of billions of dollars have been poured into making LLMs better at these tasks via pretraining, RL, RLHF, post training, etc. again all with something verifiable in the loop. In order to improve the thing in the loop, the loop itself needs to be verifiable. There have only been a few thousand wars, and they’re all different and all different in the world in which they occurred. The dimensionality is absurd, which is not a problem for LLMs if there’s enough data, but in this case there isn’t.
- cure_42 2mo agoThey still can't. But very smart humans constructed ways to use the monkeys with typewriters (with a statistical advantage) to find correct answers to problems where they already knew how to verify the answer.
- deleted 2mo ago[deleted]
- ytoawwhra92 2mo agoHas an LLM ever intentionally made you laugh? Cry?
- deleted 2mo ago[deleted]
- cindyllm 2mo ago[dead]
- jibal 2mo agoIncoherent question because LLMs don't have intentions.
- Cthulhu_ 2mo agoHave you? (I'm trolling, I'm not sure what you're asking or why)
- consp 2mo agoNot OP but it implies all efforts are not intentional but at best by chance. For instance, the state of freely available LLM chatbots still makes me cry by the amount of crap they spew out confidently, which is not intentional. (tiny bit of sarcasm, but only a tiny bit)
- Planktonne 2mo agoHow many maths problems does one have to solve before becoming god?