KI und Mathematik: Ich hatte endlich ein wenig Freizeit, um meinen ersten Versuch zu starten, KI -- ChatGPT Pro -- für ein altes Mathematikproblem zu nutzen, das ich vor mehr als einem Jahrzehnt beiseitegelegt habe. Ich bin in den Einzelheiten ziemlich eingerostet, aber die KI ist es nicht. Ich bin bereits ziemlich beeindruckt von den Fortschritten, ich habe meine Vermutung angedeutet und sie hat begonnen, sie zu zerlegen, numerische Experimente durchzuführen, dann Vermutungen daraus abzuleiten, diese ein wenig weiter zu testen und so weiter. Ich möchte noch nicht die genaue Frage offenbaren, an der ich arbeite, noch was sie mir bisher geholfen hat zu finden. Und ich bin selbst ein wenig eingerostet, da ich schon eine Weile nicht an Mathematikproblemen gearbeitet habe. Aber ich kann sehen, wie dieses Werkzeug, wenn ich ein Vollzeit-Mathematikprofessor gewesen wäre, von unschätzbarem Wert gewesen wäre. Diejenigen von euch, die Mathematikforschung beruflich betreiben -- wie nützlich findet ihr KI in eurer Arbeit? Hat sie euch bereits geholfen, eines eurer großen Probleme zu lösen?