Amateur armed with ChatGPT solves an Erdős problem
61–70 of 607 posts
Re: Amateur armed with ChatGPT solves an Erdős problem
#62Re: Amateur armed with ChatGPT solves an Erdős problem
#63Re: Amateur armed with ChatGPT solves an Erdős problem
#64The LLM took an entirely different route, using a formula that was well known in related parts of math, but which no one had thought to apply to this type of question. Of course LLMs are still absolutely useless at actual maths computation, but I think this is one area where AI can excel --- the ability to combine many sources of knowledge and synthesise, may sometimes yield very useful results. Also reminds me of th…
Also just the sheer value of brute force. 80 hours! 80 hours of just trying shit!
Re: Amateur armed with ChatGPT solves an Erdős problem
#65The LLM took an entirely different route, using a formula that was well known in related parts of math, but which no one had thought to apply to this type of question. Of course LLMs are still absolutely useless at actual maths computation, but I think this is one area where AI can excel --- the ability to combine many sources of knowledge and synthesise, may sometimes yield very useful results. Also reminds me of th…
Wait, what do you mean "LLMs are still absolutely useless at actual maths computation"? I rely on them constantly for maths (linear algebra, multivariable calc, stat) --- literally thousands of problems run through GPT5 over the last 12 months, and to my recollection zero failures. But maybe you're thinking of something more specific?
Re: Amateur armed with ChatGPT solves an Erdős problem
#66Re: Amateur armed with ChatGPT solves an Erdős problem
#67I wonder if the rationalizations people come up with for why this isn't real intelligence will be as creative as ChatGPTs solution.
Re: Amateur armed with ChatGPT solves an Erdős problem
#68My 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 .
Can you imagine how many bags of chips we could buy if we stopped funding cancer research? It's so expensive!
Re: Amateur armed with ChatGPT solves an Erdős problem
#69Earlier quoted context omitted.
Wait, what do you mean "LLMs are still absolutely useless at actual maths computation"? I rely on them constantly for maths (linear algebra, multivariable calc, stat) --- literally thousands of problems run through GPT5 over the last 12 months, and to my recollection zero failures. But maybe you're thinking of something more specific?
They are bad at math. But they are good at writing code and as an optimization some providers have it secretly write code to answer the problem, run it and give you the answer without telling you what it did in the middle part.
Re: Amateur armed with ChatGPT solves an Erdős problem
#70Earlier quoted context omitted.
Also, it's one thing if the AI age means we all have to adopt to using AI as a tool, another thing entirely if it means the only people who can do useful research are the ones with huge budgets.
Your logic undoes your point, because the kid who "solved" this technically didn't even have to invest in a degree.