In den letzten Wochen hat sich die vielleicht größte Revolution in der Geschichte der Mathematik ereignet - und so ganz hat die Öffentlichkeit das noch nicht erkannt. Künstliche Intelligenz hat die Mathematik erobert - was heißt das jetzt? Ich habe aufgeschrieben, was man darüber wissen sollte:
Die unerträgliche Leichtigkeit der Mathematik
Die vielleicht größte Revolution in der Geschichte der Mathematik geschieht genau jetzt: Künstliche Intelligenz hat gelernt, Beweise zu liefern. Was heißt das jetzt für uns Menschen?
florianaigner.substack.com
November 3, 2026 at 10:19 AM
In den letzten Wochen hat sich die vielleicht größte Revolution in der Geschichte der Mathematik ereignet - und so ganz hat die Öffentlichkeit das noch nicht erkannt. Künstliche Intelligenz hat die Mathematik erobert - was heißt das jetzt? Ich habe aufgeschrieben, was man darüber wissen sollte:
etwas weirder ansatz mathematik schmackhaft zu machen aber nagut
Wie viele Chicken-Nuggets kann man mit vier Packungsgrößen bestellen? Ein Schüler hat das Zahlenproblem in eine Landschaft aus Würfeln verwandelt – und damit neue Lösungswege eröffnet.
Algebra: 18-Jähriger macht Fortschritte beim Chicken-Nuggets-Problem
Welche Nugget-Zahlen kann man mit vier Packungsgrößen bestellen? Ein Schüler hat das Zahlenproblem in eine Landschaft aus Würfeln verwandelt.
www.spektrum.de
November 6, 2026 at 5:51 PM
etwas weirder ansatz mathematik schmackhaft zu machen aber nagut
Mathematik, mit Tee
November 6, 2026 at 6:49 PM
Mathematik, mit Tee
Künstliche Intelligenz hat die Welt der Mathematik auf den Kopf gestellt. Lange glaubte sie an ihre Unersetzbarkeit, nun bangt sie um ihre Zukunft.
KI löst Matheprobleme: Das Ende des reinen Denkens
Künstliche Intelligenz hat die Welt der Mathematik auf den Kopf gestellt. Lange glaubte sie an ihre Unersetzbarkeit, nun bangt sie um ihre Zukunft.
taz.de
November 6, 2026 at 1:14 PM
Künstliche Intelligenz hat die Welt der Mathematik auf den Kopf gestellt. Lange glaubte sie an ihre Unersetzbarkeit, nun bangt sie um ihre Zukunft.
Ein schöner Klassiker über den Unterschied zwischen mathematischem Verständnis und bloßer Mustererkennung und -übertragung.
November 4, 2026 at 1:58 PM
Sehr schöne Zusammenfassung des aktuellen Standes von AI und Mathematik
In den letzten Wochen hat sich die vielleicht größte Revolution in der Geschichte der Mathematik ereignet - und so ganz hat die Öffentlichkeit das noch nicht erkannt. Künstliche Intelligenz hat die Mathematik erobert - was heißt das jetzt? Ich habe aufgeschrieben, was man darüber wissen sollte:
Die unerträgliche Leichtigkeit der Mathematik
Die vielleicht größte Revolution in der Geschichte der Mathematik geschieht genau jetzt: Künstliche Intelligenz hat gelernt, Beweise zu liefern. Was heißt das jetzt für uns Menschen?
florianaigner.substack.com
November 3, 2026 at 11:47 PM
Sehr schöne Zusammenfassung des aktuellen Standes von AI und Mathematik
Mathematik lügt nicht
November 5, 2026 at 11:11 AM
Mathematik lügt nicht
Ich muss an die Frauen denken, die Romane oder Theorie hätten schreiben können, aber nein: das ist schöngeistiges Getue, du musst Kinder bekommen. An diejenigen, deren Interesse an Mathematik und Technik lächerlich gemacht wurde, weil "Mädchen können sowas nicht".
November 6, 2026 at 12:04 PM
Ich muss an die Frauen denken, die Romane oder Theorie hätten schreiben können, aber nein: das ist schöngeistiges Getue, du musst Kinder bekommen. An diejenigen, deren Interesse an Mathematik und Technik lächerlich gemacht wurde, weil "Mädchen können sowas nicht".
Formale Verifikation und klassische mathematische Beweisführung erfüllen unterschiedliche Funktionen. Deshalb wäre es sinnvoll, beide Ansätze parallel zu verfolgen. In der Praxis besteht aber die große Gefahr, dass daraus eine Art Instant-Mathematik wird und wir Mathematik schlicht auslagern.
November 3, 2026 at 11:18 AM
Formale Verifikation und klassische mathematische Beweisführung erfüllen unterschiedliche Funktionen. Deshalb wäre es sinnvoll, beide Ansätze parallel zu verfolgen. In der Praxis besteht aber die große Gefahr, dass daraus eine Art Instant-Mathematik wird und wir Mathematik schlicht auslagern.
Die 15-Jährigen schneiden heute in Mathematik und Lesen so schwach ab wie nie, ein Drittel erreicht nicht einmal die Basiskompetenzen. Die soziale Herkunft entscheidet so stark über den Bildungserfolg wie nie zuvor.
November 6, 2026 at 11:49 AM
Die 15-Jährigen schneiden heute in Mathematik und Lesen so schwach ab wie nie, ein Drittel erreicht nicht einmal die Basiskompetenzen. Die soziale Herkunft entscheidet so stark über den Bildungserfolg wie nie zuvor.
Der Podcast diskutiert den Einsatz von KI und formaler Beweissysteme in der Mathematik. Es geht auch um die Frage, ob reine Ergebnisse bereits zu neuen Erkenntnissen führen können. Ich habe da noch keine Meinung, da mir schlicht bisher das nötige Wissen dazu fehlt.
youtu.be/vgrwroWQzQw?...
youtu.be/vgrwroWQzQw?...
Revolutioniert künstliche Intelligenz die Mathematik?
YouTube video by DER STANDARD
youtu.be
November 4, 2026 at 11:48 AM
Der Podcast diskutiert den Einsatz von KI und formaler Beweissysteme in der Mathematik. Es geht auch um die Frage, ob reine Ergebnisse bereits zu neuen Erkenntnissen führen können. Ich habe da noch keine Meinung, da mir schlicht bisher das nötige Wissen dazu fehlt.
youtu.be/vgrwroWQzQw?...
youtu.be/vgrwroWQzQw?...
... und formalen Beweissystemen wie Lean einen vergleichbaren Paradigmenwechsel in der Mathematik einleiten könnte. Nicht nur, indem wir bestehende Probleme effizienter lösen, sondern möglicherweise auch, indem wir neue Wege zu mathematischen Erkenntnissen finden.
November 4, 2026 at 12:08 PM
... und formalen Beweissystemen wie Lean einen vergleichbaren Paradigmenwechsel in der Mathematik einleiten könnte. Nicht nur, indem wir bestehende Probleme effizienter lösen, sondern möglicherweise auch, indem wir neue Wege zu mathematischen Erkenntnissen finden.
Liebe ja Sprechstunden so ein bisschen dafür, dass man nie weiß, was kommt. Von 1. Semester Grundlagen der Mathematik bis 10. Semester superspezielles Wahlfachwissen ist alles möglich.
Am Ende hilft die Kreidetafel.
Am Ende hilft die Kreidetafel.
November 4, 2026 at 10:33 AM
Liebe ja Sprechstunden so ein bisschen dafür, dass man nie weiß, was kommt. Von 1. Semester Grundlagen der Mathematik bis 10. Semester superspezielles Wahlfachwissen ist alles möglich.
Am Ende hilft die Kreidetafel.
Am Ende hilft die Kreidetafel.
Du willst nur meine Mathematik zerstören 🫠
November 6, 2026 at 11:12 AM
Du willst nur meine Mathematik zerstören 🫠
Skeptiker glauben die ganze ""AI""-Esoterik anscheinend wirklich oO in der realen (höhö) Mathematik spielt das alles nicht viel ne Rolle weil LLMs offensichtlich nicht in der Lage sind Mathematik zu erzeugen
In den letzten Wochen hat sich die vielleicht größte Revolution in der Geschichte der Mathematik ereignet - und so ganz hat die Öffentlichkeit das noch nicht erkannt. Künstliche Intelligenz hat die Mathematik erobert - was heißt das jetzt? Ich habe aufgeschrieben, was man darüber wissen sollte:
Die unerträgliche Leichtigkeit der Mathematik
Die vielleicht größte Revolution in der Geschichte der Mathematik geschieht genau jetzt: Künstliche Intelligenz hat gelernt, Beweise zu liefern. Was heißt das jetzt für uns Menschen?
florianaigner.substack.com
November 3, 2026 at 10:48 AM
Skeptiker glauben die ganze ""AI""-Esoterik anscheinend wirklich oO in der realen (höhö) Mathematik spielt das alles nicht viel ne Rolle weil LLMs offensichtlich nicht in der Lage sind Mathematik zu erzeugen
Nur in Trumps eigener Mathematik geht sich das aus…
November 3, 2026 at 2:09 PM
Nur in Trumps eigener Mathematik geht sich das aus…
Als jemand, der mal an der Grenze war: Die Mathematik versucht schon streng zu sein, aber das logische Gebäude der Mathematik ist älter und größer, so dass interessante(!) formale Beweise einfach leichter den Bereich des menschlich nachvollziehbaren verlassen als in der theoretischen Informatik.
November 3, 2026 at 3:04 PM
Als jemand, der mal an der Grenze war: Die Mathematik versucht schon streng zu sein, aber das logische Gebäude der Mathematik ist älter und größer, so dass interessante(!) formale Beweise einfach leichter den Bereich des menschlich nachvollziehbaren verlassen als in der theoretischen Informatik.
"Aber das Kind hat nichts gelernt, hat seine Möglichkeiten nicht erweitert und keine Abenteuer erlebt. Und das sind die Dinge, um die es im Leben geht. Und in der Mathematik.
Was passiert jetzt? Das weiß niemand."
Was passiert jetzt? Das weiß niemand."
In den letzten Wochen hat sich die vielleicht größte Revolution in der Geschichte der Mathematik ereignet - und so ganz hat die Öffentlichkeit das noch nicht erkannt. Künstliche Intelligenz hat die Mathematik erobert - was heißt das jetzt? Ich habe aufgeschrieben, was man darüber wissen sollte:
Die unerträgliche Leichtigkeit der Mathematik
Die vielleicht größte Revolution in der Geschichte der Mathematik geschieht genau jetzt: Künstliche Intelligenz hat gelernt, Beweise zu liefern. Was heißt das jetzt für uns Menschen?
florianaigner.substack.com
November 3, 2026 at 10:38 AM
"Aber das Kind hat nichts gelernt, hat seine Möglichkeiten nicht erweitert und keine Abenteuer erlebt. Und das sind die Dinge, um die es im Leben geht. Und in der Mathematik.
Was passiert jetzt? Das weiß niemand."
Was passiert jetzt? Das weiß niemand."
Atmet auf, Genossen! 🤡
Während hysterische westliche Medien vom Erdrutschsieg der Demokraten und einer Klatsche für die Republikaner schwurbeln, behält man in Moskau den Durchblick. 🤦🏼♀️🤪
Die offizielle Kreml-Mathematik steht felsenfest: Donald Trump bleibt einfach Präsident! 🤡
Während hysterische westliche Medien vom Erdrutschsieg der Demokraten und einer Klatsche für die Republikaner schwurbeln, behält man in Moskau den Durchblick. 🤦🏼♀️🤪
Die offizielle Kreml-Mathematik steht felsenfest: Donald Trump bleibt einfach Präsident! 🤡
November 4, 2026 at 2:36 PM
Atmet auf, Genossen! 🤡
Während hysterische westliche Medien vom Erdrutschsieg der Demokraten und einer Klatsche für die Republikaner schwurbeln, behält man in Moskau den Durchblick. 🤦🏼♀️🤪
Die offizielle Kreml-Mathematik steht felsenfest: Donald Trump bleibt einfach Präsident! 🤡
Während hysterische westliche Medien vom Erdrutschsieg der Demokraten und einer Klatsche für die Republikaner schwurbeln, behält man in Moskau den Durchblick. 🤦🏼♀️🤪
Die offizielle Kreml-Mathematik steht felsenfest: Donald Trump bleibt einfach Präsident! 🤡
Artikel wie dieser lassen mich daran zweifeln, dass Mathematik mit KI nicht zu neuen Erkenntnissen führen kann. Wir sind inzwischen so polarisiert, dass wir alles nur noch rein digital diskutieren. Alles muss richtig oder falsch sein. Dabei scheint uns ...
1/...
openai.com/de-DE/index/...
1/...
openai.com/de-DE/index/...
Ein OpenAI-Modell hat eine zentrale Vermutung der diskreten Geometrie widerlegt
Ein OpenAI-Modell löste das 80 Jahre alte Problem der Einheitsabstände, widerlegte eine wichtige Vermutung der diskreten Geometrie und markierte einen Meilenstein für KI-gestützte Mathematik.
openai.com
November 4, 2026 at 2:00 PM
Artikel wie dieser lassen mich daran zweifeln, dass Mathematik mit KI nicht zu neuen Erkenntnissen führen kann. Wir sind inzwischen so polarisiert, dass wir alles nur noch rein digital diskutieren. Alles muss richtig oder falsch sein. Dabei scheint uns ...
1/...
openai.com/de-DE/index/...
1/...
openai.com/de-DE/index/...
... einen Weg finden könnte, ihre Fähigkeiten immer weiter zu verbessern.
Ich halte mich an die Mathematik. Schmidhuber hat mit seiner #Gödelmaschine ein formales Modell vorgestellt, das zeigt, unter welchen Voraussetzungen eine KI ihren eigenen Programmcode nachweisbar verbessern kann.
2/...
Ich halte mich an die Mathematik. Schmidhuber hat mit seiner #Gödelmaschine ein formales Modell vorgestellt, das zeigt, unter welchen Voraussetzungen eine KI ihren eigenen Programmcode nachweisbar verbessern kann.
2/...
November 5, 2026 at 1:05 PM
... einen Weg finden könnte, ihre Fähigkeiten immer weiter zu verbessern.
Ich halte mich an die Mathematik. Schmidhuber hat mit seiner #Gödelmaschine ein formales Modell vorgestellt, das zeigt, unter welchen Voraussetzungen eine KI ihren eigenen Programmcode nachweisbar verbessern kann.
2/...
Ich halte mich an die Mathematik. Schmidhuber hat mit seiner #Gödelmaschine ein formales Modell vorgestellt, das zeigt, unter welchen Voraussetzungen eine KI ihren eigenen Programmcode nachweisbar verbessern kann.
2/...
der schnelle und sichere weg zum reichtum es ist alles mathematik
November 1, 2026 at 11:07 AM
der schnelle und sichere weg zum reichtum es ist alles mathematik