Eine KI liefert erstmals einen überzeugenden Ansatz für ein 80 Jahre altes Erdos-Problem – und stellt bisherige Annahmen der Mathematik infrage.

OpenAI's reasoning AI autonomously disproved the Erdős planar unit distance conjecture after 80 years, earning praise from Fields Medalist Timothy Gowers.

Eine KI liefert erstmals einen überzeugenden Ansatz für ein 80 Jahre altes Erdos-Problem – und stellt bisherige Annahmen der Mathematik infrage.