Die KI-“Lösung” des Navier-Stokes-Existenz- und Glattheitsproblems widerspricht sich selbst
Die Lösung wurde einmal als Text mit Formeln veröffentlicht – so wie Menschen das machen würden – und einmal als Computer-Programmcode in der Sprache Lean. Die beiden Fassungen stimmen aber nicht überein.