[krige]

Number theorist Jared Lichtman is also involved with an AI startup so he might have a bit of an incentive to frame things this way.

[martin293]

Source: https://www.math.inc/a-conversation-with-terry-tao

However, I think this is still likely a very significant achievement/milestone.

[Zababa]

Thank you, that feels like important context!

[energy123]

This guy also says it's a book proof though:

https://en.wikipedia.org/wiki/Thomas_Bloom

[Zababa]

Important context too, thanks! More context:

- Thomas Bloom is the current owner of https://www.erdosproblems.com/

- He previously posted on X on the 2025/10/17 the following:

> Hi, as the owner/maintainer of http://erdosproblems.com, this is a dramatic misrepresentation. GPT-5 found references, which solved these problems, that I personally was unaware of. The 'open' status only means I personally am unaware of a paper which solves it. [1]

> GPT-5 has been a very useful tool in searching the literature, and this has been a valuable addition to the website. Its literature searching ability is already useful and impressive enough, no need to describe it as something it's not! [2]

[1]: https://x.com/thomasfbloom/status/1979254235075059732

[2]: https://x.com/thomasfbloom/status/1979254675833549207

I don't have the mathematical chops or knowledge of mathematicians to evaluate any of that.