[frozenseven]

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".

[robot-wrangler]

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.

[frozenseven]

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.