KI widerlegt Jacobi-Vermutung: Terence Tao erklärt das Gegenbeispiel
A digestion of the Jacobian conjecture counterexample
Die Jacobi-Vermutung, ein seit 87 Jahren offenes Problem, wurde kürzlich mithilfe der KI Fable in drei Dimensionen widerlegt. Terence Tao präsentiert auf seinem Blog eine konkrete polynomiale Abbildung mit konstanter, nicht verschwindender Jacobi-Determinante, die dennoch nicht invertierbar ist. Er zerlegt das scheinbar magische Beispiel in verständliche Schritte und zeigt, wie die Abbildung aus der Multiplikation von Polynomen niedrigen Grades aufgebaut ist. Dabei nutzt er Symmetrien und Resultanten, um die lokale Injektivität zu beweisen und die globale Nicht-Injektivität zu erklären – ein Meisterkurs in algebraischer Geometrie.
Die Tatsache, dass alle nicht-konstanten Koeffizienten dieses Polynoms verschwinden, sieht wie eine massive Auslöschung aus, an der 1299 Koeffizienten beteiligt sind, was viel größer ist als die 120 Freiheitsgrade eines generischen Polynoms siebten Grades in drei Variablen.