Erdős-Problem: KI hat ein Problem gelöst, an dem Mathematiker 80 Jahre scheiterten
OpenAI hat kürzlich ein mathematisches Problem gelöst, an dem menschliche Mathematiker seit 80 Jahren gescheitert sind. Die KI widerlegte die Vermutung von Paul Erdős zum sogenannten „Unit Distance“-Problem und lieferte einen Beweis, der nach Expertenmeinung die Standards führender Fachzeitschriften erfüllt. …