Flüssigkeitsströmung

MANHATTAN / LONDON (IT BOLTWISE) – Eine KI-Lösung zum Navier-Stokes-Problem sorgt für Aufsehen, weil das Werk bislang schwer verständlich bleibt. Das 166-seitige Manuskript gilt zwar technisch als korrekt, doch viele Mathematiker bekommen daraus kaum menschliches Vorgehen. Gleichzeitig deutet eine Lean-Formalisation darauf hin, dass der Beweis rechnerisch geprüft werden kann. Ob KI künftig wirklich Wissen überträgt […]