Post #1201993
2025-08-16 14:24 UTC
Gibt es Aspekte der Mathematik die vielleicht wirklich komplett auf syntaktischer Ebene ablaufen und im LLM abstrahiert werden? Lässt sich Mathematik in Sprache abbilden. Das kürzlich von mir erwähnte Buch „Mathematica“ von Bessis argumentiert ja viel mit dieser Masse an internen Bildern, die sich kaum in Sprache abbilden lassen.
Replies (1)
-
@tomkalei@machteburch.social 2025-08-16 14:24
Thurstons klassischer Aufsatz „On Proof and Progress in Mathematics“ macht den Punkt, dass es gar nicht so sehr um die Beweise geht, sondern um dies kollektive menschliche Verstehen. Und so viel davon ist ja gar nicht in all unseren Papers abgebildet. Die Trainingsdaten sind immer nur perfekte Lösungen. Theorem. Beweis. Beispiel. Hier und da eine gute Introduction, aber die wahre, soziale Mathematik ist gar nicht abgebildet.