“The AI model "5.5" was capable of disproving the Erdős unit distance conjecture with sufficient scaffolding, at an estimated cost of $1,000 to $100,000.”