History
The unit distance counterexample was the first historically significant mathematical proof produced by an AI model.
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.