#mathematics
6 stories taggedmathematics.
Eine KI löste gerade ein schwieriges offenes Problem der reinen Mathematik. Mathematiker sind erschüttert.
OpenAIs Astra-Modell knackte diesen Monat eine lange offene Frage der Gruppentheorie. Ein arbeitender Mathematiker erklärt, warum das noch vor wenigen Wochen unmöglich erschien.
Will AI replace mathematicians? Probably not yet, say experts
About 40 top mathematicians met at OpenAI's offices this month to talk about their profession's future. The mood was worried. The evidence, though, tells a more complicated story.
AI Cracked Ten Hard Maths Problems in One Summer. Now Mathematicians Are Fighting Back.
OpenAI's models solved open problems that stumped humans for decades. The world's most celebrated mathematician says the field has until the end of 2025 to decide who controls its future.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
OpenAI's KI löste 10 schwierige Mathematik-Probleme. Jetzt fragen sich Mathematiker, was ihre Jobs noch wert sind.
Ein neues OpenAI-Modell knackte Jahrzehnte alte mathematische Rätsel, die Forscher jahrelang ratlos machten. Die Ergebnisse sind beeindruckend. Der Streit um die Urheberschaft bei einem davon ist eine Warnung, wie KI-Labore über die Menschen sprechen, deren Arbeit sie aufbauen.
Ultraschnelle KI-Beweisverifikation: Was ein neues mathematisches Ergebnis für die Überprüfung enormer Datenmengen bedeutet
Forscher haben einen Weg gefunden, um ungefähre Fakten über riesige Datensätze zu überprüfen, indem sie nur einen winzigen Teil der Daten zweimal nutzen. Hier ist, warum das wichtig ist.