diego.blogger.de

Wieder ein Mathe-Beweis, der mittels "KI" gefunden wurde: On the Navier–Stokes Millennium Prize Problem. Klingt aber eher aufwändig.
Ich frage mich dann immer - wie bei den von Menschen gefundenen Beweisen - muß das ja jemand nachprüfen. Und das dauert doch immer Jahre ...

Hier eine Liste: AI proofs (github).

siehe auch: 1, 2

Nachtrag: Mathematics in the age of AI, AI Is Taking Over Physics and Nobody Talks About It