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:
ZEIT aus dem Briefkasten geholt.
Mathematik.
Gepimptes Rührei auf Brot.
Nachrichten geguckt.
Mehr Mathematik.
Gleich Sessel, Buch, Bier.
Mathematik.
Gepimptes Rührei auf Brot.
Nachrichten geguckt.
Mehr Mathematik.
Gleich Sessel, Buch, Bier.
October 29, 2026 at 7:13 PM
ZEIT aus dem Briefkasten geholt.
Mathematik.
Gepimptes Rührei auf Brot.
Nachrichten geguckt.
Mehr Mathematik.
Gleich Sessel, Buch, Bier.
Mathematik.
Gepimptes Rührei auf Brot.
Nachrichten geguckt.
Mehr Mathematik.
Gleich Sessel, Buch, Bier.
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.
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
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
al-Kindi, 9. Jhdt, forschte zu Mathematik, Optik, Medizin, Astronomie, Musik. Ein großer, extrem vielseitiger Philosoph, der die geistige Welt seiner Zeit stark prägte.
Das Wort "Algebra" kommt aus dem Arabischen, "Algorithmus" auch. Jahrhundertelang war die arabische Welt das Mathematik-Zentrum.
Das Wort "Algebra" kommt aus dem Arabischen, "Algorithmus" auch. Jahrhundertelang war die arabische Welt das Mathematik-Zentrum.
October 28, 2026 at 11:18 AM
al-Kindi, 9. Jhdt, forschte zu Mathematik, Optik, Medizin, Astronomie, Musik. Ein großer, extrem vielseitiger Philosoph, der die geistige Welt seiner Zeit stark prägte.
Das Wort "Algebra" kommt aus dem Arabischen, "Algorithmus" auch. Jahrhundertelang war die arabische Welt das Mathematik-Zentrum.
Das Wort "Algebra" kommt aus dem Arabischen, "Algorithmus" auch. Jahrhundertelang war die arabische Welt das Mathematik-Zentrum.
Er kann Mathematik erklären wie kein anderer. 2,3 Millionen schauen seine Videos. Auch Politik muss besser erklärt werden, sagt Kai Schmidt – und zieht in den Wahlkampf.
Lehrerschmidt: Die Geschichte vom Lehrer Schmidt
Er kann Mathematik erklären wie kein anderer. 2,3 Millionen schauen seine Videos. Auch Politik muss besser erklärt werden, sagt Kai Schmidt – und zieht in den Wahlkampf.
www.zeit.de
November 1, 2026 at 12:30 PM
Er kann Mathematik erklären wie kein anderer. 2,3 Millionen schauen seine Videos. Auch Politik muss besser erklärt werden, sagt Kai Schmidt – und zieht in den Wahlkampf.
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…
"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."
Friedlicher war eigentlich nur noch Telekolleg Mathematik.
October 31, 2026 at 6:11 PM
Friedlicher war eigentlich nur noch Telekolleg Mathematik.
Mir wollte mal jemensch etwas über Mathematik erzählen, aber bei dem Thema kann er mit mir nicht rechnen!
Mir wollte mal jemand was über die Schallmauer erklären, aber ich kriege da einen Knall.
Mir wollte mal jemand was über gesunde Ernährung erzählen, aber das konnte ich nicht verdauen.
October 31, 2026 at 8:39 AM
Mir wollte mal jemensch etwas über Mathematik erzählen, aber bei dem Thema kann er mit mir nicht rechnen!
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.
Ich denke die wichtigste Erkenntnis ist hier, dass oft keine Erkenntnis gewonnen wurde.
Oder anders gesagt: aus der Korrektheit einer Vermutung oder Theorem folgt in der Regel keine neue Erkenntnis. Der Weg dahin ist der Wert in der Mathematik.
Oder anders gesagt: aus der Korrektheit einer Vermutung oder Theorem folgt in der Regel keine neue Erkenntnis. Der Weg dahin ist der Wert in der Mathematik.
November 3, 2026 at 10:48 AM
Ich denke die wichtigste Erkenntnis ist hier, dass oft keine Erkenntnis gewonnen wurde.
Oder anders gesagt: aus der Korrektheit einer Vermutung oder Theorem folgt in der Regel keine neue Erkenntnis. Der Weg dahin ist der Wert in der Mathematik.
Oder anders gesagt: aus der Korrektheit einer Vermutung oder Theorem folgt in der Regel keine neue Erkenntnis. Der Weg dahin ist der Wert in der Mathematik.
Wenn du zu blöd für Mathematik der 7. Klasse eines Gymnasiums bist, dann kannst du ja immer noch Politikchef von RTL und nTV werden.
November 3, 2026 at 4:26 PM
Wenn du zu blöd für Mathematik der 7. Klasse eines Gymnasiums bist, dann kannst du ja immer noch Politikchef von RTL und nTV werden.
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
Die Reflexe der Krähen sind so faszinierend: sie erwischt die Nuss nicht, sie prallt vom Boden ab, aber dann landet sie direkt im Schnabel. Angewandte Mathematik und Berechnung von Flugbahnen sind halt Alltag für die Süßis.
#KrähenContent #KrähenLiebe
#KrähenContent #KrähenLiebe
October 30, 2026 at 3:17 PM
Die Reflexe der Krähen sind so faszinierend: sie erwischt die Nuss nicht, sie prallt vom Boden ab, aber dann landet sie direkt im Schnabel. Angewandte Mathematik und Berechnung von Flugbahnen sind halt Alltag für die Süßis.
#KrähenContent #KrähenLiebe
#KrähenContent #KrähenLiebe
Ich empfehle diesen Artikel zur Vertiefung der Diskussion. Ich verstehe vermutlich zu wenig von Mathematik, um das wirklich beurteilen zu können. Als Informatikerin sind formale Beweise für mich wahrscheinlich weniger abschreckend als für Mathematiker, die traditionell anders arbeiten.
November 3, 2026 at 11:03 AM
Ich empfehle diesen Artikel zur Vertiefung der Diskussion. Ich verstehe vermutlich zu wenig von Mathematik, um das wirklich beurteilen zu können. Als Informatikerin sind formale Beweise für mich wahrscheinlich weniger abschreckend als für Mathematiker, die traditionell anders arbeiten.
Warum das uns nicht wirklich weiterbringt, sondern eher noch schadet, hat @florianaigner.at sehr lesenswert erklärt.
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 8:18 PM
Warum das uns nicht wirklich weiterbringt, sondern eher noch schadet, hat @florianaigner.at sehr lesenswert erklärt.
1. Es gibt diesen Prozess: Mathematik ist immer auch Didaktik der Mathematik, das Wissen wird immer wieder in neue Kontexte gesetzt und vernetzt. Zuletzt ist das Werk des Genies vor 50 Jahren Stoff im 3. Semester. So lange dies läuft, werden Menschen nicht abgehängt.
November 3, 2026 at 5:22 PM
1. Es gibt diesen Prozess: Mathematik ist immer auch Didaktik der Mathematik, das Wissen wird immer wieder in neue Kontexte gesetzt und vernetzt. Zuletzt ist das Werk des Genies vor 50 Jahren Stoff im 3. Semester. So lange dies läuft, werden Menschen nicht abgehängt.
das tragischste daran ist für mich, der ich nichts von den großen Problemen der Mathematik verstehe, die Aussicht, dass der Wille sich mit scheinbar unlösbaren Aufgaben zu befassen, ihnen das Leben zu widmen und über diesen Entdeckergeist letztlich die Zivilisation weiterzutreiben ausgelagert wird
November 3, 2026 at 10:52 AM
das tragischste daran ist für mich, der ich nichts von den großen Problemen der Mathematik verstehe, die Aussicht, dass der Wille sich mit scheinbar unlösbaren Aufgaben zu befassen, ihnen das Leben zu widmen und über diesen Entdeckergeist letztlich die Zivilisation weiterzutreiben ausgelagert wird
Excel Tag 10. Ich habe alle Konstellation durch, Anni und Katrin finden sich immer. Wohl auch eine Art von Mathematik.
Excel Tag 7, Anni und Katrin leben inzwischen zusammen, haben zwei Hunde und drei Katzen, doch Anni vermisst eine gewisse Inspiration, die sie als Musikern braucht. Katrin will nur, dass sie glücklich ist. Anni steht am Flughafen. Wird sie abreisen?
Excel Tag 6, Liebesbriefe zwischen Anni und Katrin entstehen. Was das Herz aufs Papier bringt, webt die Welt weiter.
October 30, 2026 at 8:13 AM
Excel Tag 10. Ich habe alle Konstellation durch, Anni und Katrin finden sich immer. Wohl auch eine Art von Mathematik.
So was bekommt man von Lehrkräften zur Vorbereitung auf eine Mathematik Klassenarbeit.
November 2, 2026 at 5:39 AM
So was bekommt man von Lehrkräften zur Vorbereitung auf eine Mathematik Klassenarbeit.