Grundsätzlich ist ChatGPTs "Beweisskizze" natürlich keine Eigenleistung von ChatGpt
Das Basler Problem ist mit eins der prominentesten Probleme in der Mathematik und in der Literatur und im Internet und bei Youtube tummeln sich Beweise und Beweisskizzen und Hand-Waved Beweise wie Sand am Meer.
Beim "Lernen" hat ChatGPT fix und fertige Beweise dieses Satzes gelesen, vielleicht auch nur Beweisskizzen zb die aus der Wikipedia
Wenn Du jetzt danach fragst so gibt er eher sowas wie eine Inhaltsangabe an. Obwohl ChatGPT möglicherweise hier und da einzelne Schritte auf Nachfrage möglicherweise erklären kann ... die Gesamtleistung hat ChatGPT aber aus der Literatur "abgelesen"
ChatGPT verfügt noch nicht die intelligenz Beweise mit diesem Schwierigkeitsgrad selber zu erfinden.
Wer einen Hand-Waved (intuitiv mit ausreichend hoher Präzision) Beweis verstehen möchte sollte mit den folgenden Begriffen vertraut sein: trigonometrische Funktionen, Polynome vom Grad n, Taylorreihen. Dies ist Stoff der 9-12 Klasse auf dem Gym.
Danach kann man dann folgendes Video auf Youtue schauen:
https://www.youtube.com/watch?v=CTYuVXNaFlk&t=339sWenn ChatGPT eines Tages Beweise mit diesem Schwierigkeitsgrad vollständig eigenständig finden kann, dann wäre die KI wirklich an fast jeden
heute lebenden Menschen vorbeigezogen.
Wenn ich ChatGPT teste, dann versuche ich Rätsel zu finden oder zu erfinden (was gar nicht so leicht ist) auf die ChatGPT beim Training nicht gestossen ist.
Prof Weitz von der Hochschule in Hamburg hat bei Youtube den alten ChatGPT 3.5 mit (einigen selber ausgedachten) unbekannten Logikrätseln getestet:
https://www.youtube.com/watch?v=5cYYeuwYF_0Das Ergebnis war damals eher eine Tragödie für das alte ChatGPT 3.5
Es macht Spass die Rätsel dem neuen ChatGPT 4 zu stellen und ggf umformulieren und ggf im Gespräch den Bot auf Fehler hinweisen.
ChatGPT 4 versteht teilweise sogar vom Benutzer gemachte Hinweise auf Fehler und kann sich gelegentlich korrigieren.
Michael Bechmanns Link auf die alten DDR Mathebüher bietet auch einen tollen Fundus für geeignete Probleme für ChatGPT 4, aber hier sind teils auch prominente Rätsel dabei