Comment by frozenseven
1 day ago
If you squint hard enough, every new thing is an example of "answer-from-search / answer-from-remix". Solving any Erdős problem in this manner was largely seen as unthinkable just a year ago.
>the problem does not matter.
Really? All of the other Erdős problems? Millennium Problems? Anything at all? This gets us directly into the territory of "nothing can convince us otherwise".
Tiresome. You're quoting me out of context, and generally assigning me the POV you want to argue with. You come across as pro-AI looking for anti-AI to do combat with. First, I'm not the right guy, and second, all I'm really saying above is that if we're going to do argument-from-authority, maybe let's engage with what the authority is actually saying in TFA.
I don't think I quoted you out of context. In any case, Terence Tao and co. are doing wonderful work in this area. I'd encourage everyone to bookmark the following link: https://github.com/teorth/erdosproblems/wiki/AI-contribution...
It's a rapidly evolving story and I expect H1 2026 to bring much clarity on this topic. Especially with upcoming model releases and more professional mathematicians taking an interest.