KI löst 80 Jahre altes mathematisches Problem

Ein KI-Modell von OpenAI hat ein mathematisches Problem gelöst, das 1946 von Paul Erdős formuliert wurde. Svante Linusson, Professor an der KTH, zeigte sich schockiert über das Ergebnis.

Das Problem betrifft die Frage, wie viele gleich lange Linien zwischen Punkten auf einem Blatt Papier gezogen werden können. Erdős' Theorie, dass die meisten Linien in einem Gitter erzielt werden, erwies sich als falsch.

Das KI-Modell nutzte Werkzeuge aus einem anderen Bereich der Mathematik und verfasste einen eigenen Forschungsartikel über die Lösung. Linusson schätzt ein, dass der Artikel in Top-Fachzeitschriften hätte veröffentlicht werden können, wenn er von einem Menschen geschrieben worden wäre.

Die Entdeckung wurde am 30. Mai 2026 gemeldet.

Verwandte Artikel

A Harvard mathematician has used artificial intelligence to disprove a long-standing problem in algebra that experts had spent decades trying to prove true. Levent Alpöge announced the finding on social media on 19 July with a short counterexample.

Von KI berichtet

Researchers gathered in London this week to accelerate the formalization of Fermat's Last Theorem using advanced AI models. The workshop focuses on converting Andrew Wiles's 1993 proof into Lean code for computer verification. Progress has been rapid, with code lines doubling after the first day.

SVT reporter Jonna Björnbom trained with a free AI service for eight weeks to run 10 kilometers. Running coach Hugo Östby in Ludvika comments on the experiment.

Von KI berichtet

An effort to verify a controversial proof of the ABC conjecture using computer software has made no progress. An interim report from the Lean and Anabelian Geometry project shows that mathematicians remain divided over the validity of the underlying theory.

Diese Website verwendet Cookies

Wir verwenden Cookies für Analysen, um unsere Website zu verbessern. Lesen Sie unsere Datenschutzrichtlinie für weitere Informationen.
Ablehnen