An internal OpenAI model disproved Erdős's 1946 unit-distance conjecture. Which is what Wiles did, what Langlands is doing, what every mathematical breakthrough has ever been. Does that mean AI can think?