„Haben nicht darum gebeten“: Scharfe Kritik an OpenAI aus der MathematikNachdem OpenAI KI-generierte Lösungen zu hunderten Problemen aus der Mathematik veröffentlicht hat, übt eine junge Organisation heftige Kritik an dem Vorgehen.
OpenAI veröffentlicht hunderte KI-generierte Lösungen für MathematikproblemeDas KI-Unternehmen hat ein internes KI-Modell auf tausende Probleme aus der Mathematik angesetzt. Für ein Zehntel davon hat es relevante Lösungen generiert.
Mathe-Beweise durch KI: Warum Mathematiker den Modell-Anbietern misstrauenOpenAI und Anthropic liefern sich ein atemloses Rennen und nutzen Mathe-Beweise als Benchmark. Doch was ist wirklich KIs Werk und was des Menschen Beitrag?
Fields-Medaillisten kritisieren KI-Fokus auf mathematische BenchmarksRenommierte Mathematiker warnen vor KI-Entwicklungen: Das reine Lösen von Problemen als Benchmark schade dem eigentlichen Erkenntnisgewinn.
Streit um KI-Beweise: Ein weiterer Mathematiker erhebt Vorwürfe gegen OpenAIEin Dresdner Mathematikprofessor fragt nun ebenfalls, ob unveröffentlichte Forschung aus ChatGPT-Chats in OpenAIs Mathe-Durchbrüche eingeflossen sein könnte.
PISA 2025: Wer nicht (intensiv) lesen kann, kann auch nichts lernenDie Lesekompetenz hat abgenommen und das erschwert den Aufbau auch anderer Kompetenzen. PISA 2025 vermutet Zusammenhänge mit schnell getakteten Feeds.
13 Millionen Zeilen Code: KI verifiziert Beweis von Fermats letztem SatzAnthropic hat nach eigenen Angaben erstmals eine vollständig computerverifizierte Fassung von Fermats letztem Satz vorgelegt – erstellt von Claude-Agenten.
Zahlen, bitte! Lesestoff für 190 Millionen Jahre: Die fabelhafte Welt der OulipoDas französische Autorenkollektiv Oulipo hat sich in seinen Werken dem spielerischen Umgang mit Sprache unterworfen. Auch Mathematik liefert dazu Regeln.
Kryptografie: Warum das Merkle-Hellman-Kryptosystem scheitern mussteIn den 1970ern galt die Merkle-Hellman-Verschlüsselung als möglicher Standard. Es kam anders, mit Implikationen bis in die Quantencomputer-Ära.
Leiden Declaration schafft Regelwerk für KI in der MathematikKI beeinflusst die Mathematik in vielfacher Weise. Die Leiden Declaration setzt Richtlinien. Tausende Mathematiker schließen sich an.
Vier Volltreffer: Fields-Medaillen für große Fortschritte in der MathematikDie Fields-Medaille gilt als Nobelpreis der Mathematik. In diesem Jahr werden vier Forscher für die Lösung von Problemen geehrt, die Jahrzehnte überdauerten.
Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro AufgabeMistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.
Blick ins Heft c’t 14/2026: 10-Gigabit-LANMit 10 GBit/s durchs Heimnetz – die Hardware dafür ist erschwinglich geworden. Wir klären, wer vom schnellen LAN profitiert und was es zu beachten gibt.
Wie wir die 1401.-größte Primzahl der Welt entdecktenWir haben uns auf die Primzahlsuche begeben und erklären, wie Sie selbst zum Primzahljäger werden können.
KI beweist: Mathematiker lagen falschEine OpenAI-KI hat die Mathematik einen Schritt näher an die Lösung eines berühmten Erdős-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.
KI löst 60 Jahre altes Mathe-Problem mit neuem AnsatzEin 23-jähriger Laie hat mit einem Prompt an GPT-5.4 Pro das offene Erdős-Problem #1196 gelöst – Mathematiker sehen darin eine neue Qualität.
Die Natur ist unsere Quelle der Zufälligkeit: zum Tode von Michael O. RabinIm Alter von 94 Jahren ist Michael Oser Rabin gestorben. Er war der einzige Empfänger des Turing-Awards, der im Deutschen Reich geboren wurde.
Zahlen, bitte! Die faszinierende Mathematik des höchsten Kirchturms der WeltDie Sagrada Família beeindruckt nicht nur mit dem weltgrößten Kirchturm: Die Mathematik des ungewöhnlichen Jahrhundertbaus fasziniert auch Nicht-Geistliche.
Buchkritik: Mathe entdecken mit TabellenkalkulationenBenno Grabinger nutzt Spreadsheets, um mathematische Alltagsprobleme unterhaltsam zu lösen – von der Gewinnwahrscheinlichkeit beim Lotto bis zum Flussrätsel.
Mathematiker fordern Verlegung des größten Fachkongresses weg aus den USADer größte Fachkongress der Mathematik soll im Juli in den USA stattfinden. Angesichts der politischen Situation dort fordert eine große Gruppe eine Verlegung.
Wie vor 25 Jahren eine „illegale“ Primzahl entstandDVDs, Gerichtsurteile, Festnahmen, Raubkopierer und eine verbotene Zahl: Die Geschichte hinter der ersten illegalen Primzahl und wie man solche Zahlen erstellt.
Kann KI neue Mathe-Erkenntnisse liefern? Spitzenforscher machen den TestMit einer neuen Methode stellen zehn Forscher die mathematische "Kreativität" großer Sprachmodelle auf den Prüfstand. Das vorläufige Resultat ist ernüchternd.