@tomkalei In 1 1/2 h podcast kommt das Thema gar nicht vor. Das offenbart für mich schon, dass das für dich, den Mathematiker der Runde, nicht so wichtig sein kann. Und bei 500 Zeichen hatte ich dann keinen Platz mehr für eine differenziertere Einordnung als "keine Rolle". Die Kombination mit ITP könnte der Gamechanger für LLMs in der math. Forschung sein, das sollte bei einem Podcast zu LLMs in den Wissenschaften mit einem Mathematiker als Gast imho nicht fehlen.