Intelligence SynthesisJAEN

KI und die schwierigen Probleme der Welt ─ Mathematik

Von KI vorangebrachte Wissenschaft und Gelehrsamkeit, nach Disziplin

RSS-Feed · 3 Einträge

Science · Fachzeitschrift / Wissenschaftsnachrichten · 2026-10-13Mathematik

KI kommt der Lösung der Riemannschen Vermutung näher, einem der schwierigsten Probleme der Mathematik

Originaltitel: AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems

Original lesen ↗🔗 Link teilen

Nature (machine learning) · Fachzeitschrift / Wissenschaftsnachrichten · 2026-10-07Mathematik

OpenAI stellt 700 Mathematik-Preprints online: Mathematiker sind empört

Originaltitel: OpenAI posts 700 maths preprints online: mathematicians are up in arms

OpenAI setzte ein unveröffentlichtes Modell auf Hunderte hochkarätiger mathematischer Probleme an und veröffentlichte am 6. Oktober mehr als 700 KI-generierte Preprints auf GitHub. Einige Mathematiker begrüßten die Lösungen lang bestehender Probleme, andere beklagten in den sozialen Medien, ihnen sei jemand zuvorgekommen. Ein Mathematiker nannte die Flut eine "Slopokalypse", auch wenn die Inhalte sich dennoch als formal korrekt erweisen könnten.

Original lesen ↗🔗 Link teilen

Anthropic · KI-Labor · 2026-09-26Mathematik

Claude hat eine seit Langem bestehende untere Schranke für den Anteil der Nullstellen der Riemannschen Zetafunktion verbessert, die die Riemannsche Vermutung erfüllen

Originaltitel: Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis

Die Riemannsche Vermutung, ein ungelöstes Problem, besagt, dass die Nullstellen der Riemannschen Zetafunktion alle auf einer bestimmten senkrechten Geraden liegen. Beim Versuch, das Problem zu lösen, bewies eine unveröffentlichte Forschungsversion von Claude die Vermutung nicht, verbesserte aber eine seit Langem bestehende untere Schranke für den Anteil der Nullstellen, die sie erfüllen, und hob sie von 41,6 % auf 67,2 % an. Zwei Mathematiker von Anthropic prüften die Arbeit und verfassten eine informelle Expertenanmerkung; Claude erstellte außerdem einen formal überprüfbaren Beweis. Es wird nicht erwartet, dass das Ergebnis zu einem Beweis der Vermutung selbst führt.

Original lesen ↗🔗 Link teilen