The Erdos unit-distance conjecture disproof was achieved using the publicly available GPT 5.5 Pro by Yichen Huang.
github.com/yichenhuang/...
github.com
GitHub - yichenhuang/unit-distance
Contribute to yichenhuang/unit-distance development by creating an account on GitHub.