Im Juli 2026 haben Alpöge und Fable eine polynomiale Abbildung angegeben, die eine seit 1939 offene Vermutung widerlegt. zelph verifiziert dieses Gegenbeispiel über den ganzen Zahlen allein mit Regeln. Der C++-Kern der Engine enthält überhaupt keine Arithmetik, also werden Ziffern, Stellenwertrechnung, ganze Zahlen mit Vorzeichen, symbolisches Differenzieren und Polynom-Normalformen zuerst als Regeln aufgebaut, und die Widerlegung läuft darauf.

Das Tutorial: https://acrion.github.io/zelph/math/tutorial-jacobian/