OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]

OpenAI gab heute bekannt, dass eines seiner Allzweck-Argumentationsmodelle eine Konstruktion gefunden hat, die eine vermutete Obergrenze im Erdős'schen Problem der planaren Einheitsdistanz widerlegt. Dies stellt eine bedeutende Entwicklung in der Fähigkeit der KI zum fortgeschrittenen mathematischen Denken und zur Problemlösung dar.