Ensembles von KI-Agenten [etwas offtopic]

By Ingo Althöfer Date 2025-10-31 20:06

Im Moment passiert in der Mathematik eine Zeitenwende.
Der Einsatz von KI-Programmen und KI-Agenten
beschleunigt die Forschung atemberaubend.

In einem Thread von Terence Tao fand ich eine Antwort
eines John Dvorak. Und unter dem Namen einen Bericht
(von Ende September 2025), wie er 9 KI-Agenten
in einem Ensemble "arbeiten" und von einem zehnten
KI-Agenten überwachen lässt:

https://www.linkedin.com/posts/john-n-dvorak_artificialintelligence-research-mathematics-activity-7379350998991118336-Za1R/

Ob er damit "bald" ein offenes Problem lösen wird, kann
ich aus der Ferne nicht beurteilen. Aber vielleicht ist es einer
der zukünftigen Wege in der Mathematik, geeignete Gruppen
von KI-Agenten auf geeignete offene Probleme loszulassen.

Allen einen schönen Abend, Ingo.

By Olaf Jenkner Date 2025-10-31 21:04 Upvotes 2

Das klingt sehr aufregend.
Als alter Skeptiker habe ich die Befürchtung, daß es bald KI-Beweise oder auch
neue Sätze geben wird, die kein Mensch mehr versteht.
Mit Mensch sind in dem Zusammenhang die genialsten Mathematiker unserer Zeit gemeint.

Wie geht es dann weiter?
Haben wir bald die klassische Mathematik und die KI-Mathematik?
Wird die KI irgendwann Spaß daran finden, die Menschen zu verarschen?

By Andreas Mader Date 2025-10-31 22:11

Wenn The Big Greek Computerpartien kommentiert, sagt er des öfteren sinngemäß "Das ist so ein Computerzug, den kein Mensch machen würde und bei dem ich nur raten kann, warum die Engine das macht". Menschen verstehen also schon jetzt manchmal nicht, warum eine KI bestimmte Dinge macht.

Auf der anderen Seite habe ich ChatGPT zwei Mal gebeten, mir einen Bilderwitz zu erklären und die KI hat es nicht geschafft bzw. mir irgendeine eigenartige Erklärung genannt, die nicht gestimmt hat. (Wobei der eine Witz tatsächlich sehr schwierig zu erkennen war, weil er sich auf ein Meme bezogen hat, das nur Anime-Fans kennen)

Irgendwie faszinierend, dass auf der einen Seite hochkomplexe Schachzüge kein Problem sind, aber vergleichsweise einfache Erklärungen (derzeit) schon.

By Ingo Althöfer Date 2025-11-01 08:03

Hallo Olaf,

Olaf Jenkner schrieb:

... Als alter Skeptiker habe ich die Befürchtung,
daß es bald KI-Beweise oder auch neue Sätze geben wird, die kein
Mensch mehr versteht. Mit Mensch sind in dem Zusammenhang die
genialsten Mathematiker unserer Zeit gemeint.

Das liegt noch in der Zukunft.
Bisher jedenfalls brauchen KI-Programme viel Anleitung.
Und etwas komplett neues haben sie auch noch nicht bewiesen.

Als Schachspieler haben wir übrigens den Vorteil, seit Anfang
der 1990er Jahre ein ähnliche Entwicklung erlebt zu haben.
Damals (schon seit 1988) nutzte der Berliner Fernschach-Spieler
Heinrich Burger drei verschiedene Mephisto-Mobil-Geräte und
ging bei der Fernschach-Olympiade damit wie ein heisses Messer
durch die Butter.

Spätestens seit der Jahrtausendwende verstand "man" manche
guten Computerzüge nicht mehr. Und wir haben uns daran gewöhnt.

Ich kann mich auch an Schachpartien begeistern, bei denen
ich nur Bahnhof verstehe. Das war früher bei Meister- oder
GM-Partien schon so.

Zitat:

Wie geht es dann weiter?
Haben wir bald die klassische Mathematik und die KI-Mathematik?

Eine der Fragen wird sein, ob oder in welchem Umfang
Mathematiker angeben sollen, dass ihnen KI geholfen
hat.

Beim Fernschach hat das nie jemand verlangt:
Alle Hilfsmittel waren erlaubt.
Turniere, wo explizit und auf Ehrenwort keine Schach-
programme zum Einsatz kommen, sind nur eine Nische.

Zur Mathematik denke ich: Wenn die Modelle, Vermutungen,
Sätze und Beweise "schön" sind, muss ich nicht wissen, wer
bei ihnen wie viel geholfen hat.

Zitat:
Wird die KI irgendwann Spaß daran finden, die
Menschen zu verarschen?

Wenn das irgendwann passiert,
dann hat die Menschheit größere Probleme als die
mögliche Verarschung bei Mathematik-Fragen...

Viele Größe, Ingo.