Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located).
So it seems we now have a non-example, or something closer to one (depending on how you weight “similar results proven by similar methods”).
It seems that Erdos problem 897 was already resolved, with an essentially identical solution, in the literature: https://www.erdosproblems.com/forum/thread/897
See the comment thread between KoishiChan and Terrence Tao.
So, this is yet another example of an “original insight” from an LLM turning out not to hold up under scrutiny.
More recently, Tao on a different problem:
So it seems we now have a non-example, or something closer to one (depending on how you weight “similar results proven by similar methods”).