Post #1201990
2025-08-16 14:23 UTC
Wenn man das alles so sieht, kann man natürlich auch auf die Idee kommen, dass ein LLM auch für die Mathe-Forschung etwas nützliches beitragen kann. Standardargumente die eigentlich auf einem syntaktischen Level ablaufen automatisieren vielleicht?
Replies (1)
-
@tomkalei@machteburch.social 2025-08-16 14:23
Über diese Frage diskutiere ich seit mehreren Jahren mit meinem Kollegen und Freund Christian Stump und natürlich probiere ich auch ständig damit herum. Meine Erfolge sind sehr bescheiden (Christian ist wesentlich optimistischer und wir wissen nicht ob es evtl. an Unterschieden zwischen Kombinatorik und Algebra liegt.)