OpenAI widerlegt Erdős-Vermutung: Modell liefert unendliche Punktfamilie mit n^1,014 Einheitsdistanzen 20. Mai 2026