Christoph Drösser
speaker
285 appearances
2 recordings
1 series
first heard Jul 2026
last heard 7 Sep
Christoph Drösser’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 2 in all, peaking in Sep 2026 with 1.
Appearances
Auch diejenigen, die noch nicht viel mit KI in Berührung gekommen sind.
Sie lesen die Meldungen und fragen sich, wann kommt die KI auch in meinem Spezialgebiet an.
Alex Kontorovich will sie eher beruhigen.
Der mathematische Erkenntnisprozess besteht nämlich nicht nur aus formalen Beweisen, sondern brauche sehr viel menschliche Kommunikation.
Kontorovich erklärt mir, dass der Prozess vier Phasen hat.
Die erste sei tatsächlich der Austausch mit Kolleginnen und Kollegen.
Dann kommt Phase 2, die Sache sauber aufschreiben, für eine Fachzeitschrift.
3 ist relativ neu.
Diese Beweischecker haben sich in den letzten Jahren stark verbreitet.
Von Menschen verfasste mathematische Artikel enthalten noch viel normale Sprache.
Sie sind in kompletten Sätzen geschrieben, da können sich leicht Fehler einschleichen.
Übrigens auch bei KI-Beweisen.
Die Formalisierung reduziert die mathematischen Argumente auf einen Code, der vom Computer überprüft und mit dem Siegel stimmt versehen werden kann.
Yeah.
Diese ersten drei Phasen können auch KIs bewältigen, Beweise finden, sie in gewöhnlicher Sprache aufschreiben und formal überprüfen, auch wenn Mathematiker diese von der KI verfassten Artikel nicht unbedingt gerne lesen.
Aber für viele jüngere Mathematiker ist die KI schon ein alltäglicher Partner bei diesen ersten drei Schritten des mathematischen Erkenntnisgewinns.
Zum Beispiel für Yu Song von der Universität.
Leicester in England.
Komplette Beweise in seinem eigenen Feld führt er noch nicht auf diese Weise, aber die Sprachmodelle können einige Lücken in seiner Argumentation füllen.
Aber dann kommt die Phase 4 und daran scheitern die Maschinen noch.
Showing 41–60 of 285 · page 3 of 15
← Previous
Next →