2 ms·
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.
by krige 6mo ago
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.
- Zababa 6mo agoThank you, that feels like important context!
- energy123 6mo agoThis guy also says it's a book proof though: https://en.wikipedia.org/wiki/Thomas_Bloom https://en.wikipedia.org/wiki/Thomas_Bloom
- Zababa 6mo agoImportant context too, thanks! More context: - Thomas Bloom is the current owner of https://www.erdosproblems.com/ 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 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 https://x.com/thomasfbloom/status/1979254235075059732 [2]: https://x.com/thomasfbloom/status/1979254675833549207 https://x.com/thomasfbloom/status/1979254675833549207 I don't have the mathematical chops or knowledge of mathematicians to evaluate any of that.
- martin293 6mo agoSource: https://www.math.inc/a-conversation-with-terry-tao https://www.math.inc/a-conversation-with-terry-tao However, I think this is still likely a very significant achievement/milestone.