The Erdös unit distance conjecture has apparently been disproved by an internal model of OpenAI (or is it ClosedAI then?). Impressive stuff. Guess it's only a matter of time now before my own favourite problems get absorbed and conquered as well. So far none of them have been touched, but maybe next year all our papers will be obsolete? Sometimes I wonder how many failed AI attacks there have been on a particular problem; only the positive outcomes are reported.