161–170 of 607 posts
Earlier quoted context omitted.
Mine took 20min. Pro. https://chatgpt.com/share/69ed83b1-3704-8322-bcf2-322aa85d7a... But I wish I was math smart to know if it worked or not.
Ask it to formalize it in Lean.
My big question with all these announcements is: How many other people were using the AI on problems like this, and, failing? Given the excitement around AI at the moment I think the answer is: a lot. Then my second question is how much VC money did all those tokens cost .
I've tried my hand at a few of the Erdos problems and came up short, you didn't hear about them. But if a Mathematician at Harvard solved on, you would probably still hear about it a bit. Just the possibility that a pro subscription for 80 minutes solved an Erdos problem is astounding. Maybe we get some researchers to get a grant and burn a couple data centers worth of tokens for a day/week/month and see what it come…
At this point we should make a GitHub repo with a huge list of unsolved “dry lab” problems and spin up a harness to try and solve them all every new release.
That's literally what the Erdős problems are. This post is about one of them being solved.
I wonder if the rationalizations people come up with for why this isn't real intelligence will be as creative as ChatGPTs solution.
Now do P vs NP. If/when these things solve our hardest problems, that's going to lead to some very uncomfortable conversations and realizations.
(To be clear: I'm not agreeing or disagreeing. I sometimes feel the same too. I'm just curious how others reconcile these.)
Earlier quoted context omitted.
I don't see where it says Price was an undergraduate/graduate in math.
I don't see where it doesn't say he is, I feel its implied. Another source, proves me right? https://www.newscientist.com/article/2511954-amateur-mathema... https://archive.is/oQvO4
The article you linked (thanks for the unpaywalled link, by the way) describes him only as an amateur mathematician, but describes Barreto as a math student. If they were both math students, I feel it would say so?
Or perhaps you're arguing it's implicit in him having solved the problem? If so, you're just assuming your conclusion. "AI didn't prove it by itself; Price was a mathematician. Well, he must have been a mathematician to be able to prove it!"
It seems like alot of scientific advancements occurred by someone applying technique X from one field to problem Y in another. I feel like LLMs are much better at making these types of connections than humans because they 1) know about many more theories/approaches than a single human can 2) don't need to worry about looking silly in front of their peers.
Yeah, you should look into the Langlands project sometime