An internal OpenAI model disproved both formulations of the Erdős unit distance conjecture, outperforming the Mythos model

Confusingly, there are apparently two versions of the Erdős unit distance conjecture: one with exponent 1 + o(1), and a stronger version (easier to disprove) with exponent 1 + O(1/log log n). Mythos apparently disproved the latter; the internal OAI model disproved both.