Hallo in die Runde,

seit gut zwei Wochen gibt es nicht nur ChatGPT 5.1, sondern auch
das ähnlich gute Werkzeug Gemini 3 vom Konkurrenten Google.

Ich habe (und bezahle für) beide (je etwa 20 Euro pro Monat) und
nutze sie interaktiv. Mit den meisten Forschungsfragen aus der
Mathematik sind sie "noch" überfordert. Aber man kann folgendes
machen: Zunächst Programm 1 auf das Problem loslassen, dessen
unvollkommene Lösung an Programm 2 geben mit der Bitte, kritisch
durchzuschauen, Fehler zu finden und nachzubessern. Dessen Antwort
wieder an Programm 1 usw.

Der Ansatz hat in einigen Fällen (aber natürlich längst nicht immer)
gute Ergebnisse gebracht. Insbesondere muss man als Mensch die
erste oft lange Antwort von Programm 1 gar nicht genau durchschauen.
Man iteriert einige Runden, liest im wesentlichen die Konklusionen,
stellt einige Zusatzfragen. Erst wenn die Konklusionen auf deutliche
Fortschritt hindeuten, schaut man sich die letzten Antworten genauer
an.

Natürlich ist das Übertragen per Hand mit drag+drop etwas umständlich.
Schön wäre so etwas wie eine UCI-Schnittstelle für KI-Programme im
Mathe-Forsch-Modus.

Viele Grüße, Ingo.