Was kann KI fĂĽr Mathematik tun und was Mathematik fĂĽr KI? Ich frage chatGPT danach.
Das erste KI-Sprachsystem, das mich mal begeistert hat, war Emacs Eliza, was man bis heute in Emacs mit M-x doctor aufrufen kann und was einen dann psychologisch beim Programmieren berät. Beratung auf einem ganz anderen Level liefert heutzutage chatGPT von OpenAI, mit dem ich seit ungefähr einem Monat täglich experimentiere. Ich bin mir noch nicht ganz sicher, was man da mathematisches herausholen kann, aber es wird interessant.