KI löst Navier-Stokes-Problem – aber Mathematik lernt noch kaum etwas daraus
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 […]
#Sophos
#AmazonPrime
#Bestseller
