KI hat die Quasi-Riemann-Vermutung bewiesen. Was passiert jetzt?
Quanta berichtet, dass ein OpenAI-Modell einen Beweis der Quasi-Riemann-Vermutung geliefert hat, einer schwächeren Version der Riemann-Vermutung; eine Version wurde in Lean formal verifiziert. Zahlentheoretiker, die den Beweis geprüft haben, halten ihn weitgehend für korrekt und nennen ihn die bislang bedeutendste KI-Leistung in der Mathematik. Die vollständige Riemann-Vermutung ist damit nicht gelöst, aber es zeigt, dass KI vorhandene Ideen so verbinden kann, dass sie Probleme angeht, die Experten für unerreichbar hielten.
QUELLEN
- Hacker News (AI)2026-10-19 17:09