.@littmath calls OpenAI's autonomous solution to the unit distance conjecture the most important AI math result: "The solution to the unit distance conjecture might be that. That was the first of these substantial results produced by a model fully autonomously. And it had the feature of some amount of creativity that we hadn't seen from the models before. It was taking some idea in one field and applying it to another field." "One reason I liked this solution to the unit distance problem more than some of the more recent results is we've seen actually people taking some of the ideas that appeared in that argument and applying them, so we know the ideas are generative." "The main idea of the construction was to use a classical construction from number theory called class field towers, to construct a counterexample to this question of Erdős." "Shortly afterwards, we saw a number of mathematicians take that idea and use it to construct counterexamples to some other questions in additive combinatorics, the sum-product conjecture over the real numbers."