nono2357 on Nostr: OpenAI disproves Erdős unit distance conjecture OpenAI disproves Erdős unit distance conjecture https://community.wolfram.com/groups/-/m/t/3719376
