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”).
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”).