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