Tech
5/4/2026
KI-Update kompakt: Anthropic, Gehirnforschung, KI-Vorsprung, Erdős-Problem
Das "KI-Update" liefert drei mal pro Woche eine Zusammenfassung der wichtigsten KI-Entwicklungen.
H
Heise Onlineerdős-problem
Steady3 stories1 sourcesLast updated: 5/4/2026
Latest Stories
Tech
4/29/2026
KI löst 60 Jahre altes Mathe-Problem mit neuem Ansatz
Ein 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.
H
Heise OnlineDeveloping
Science·4/29/2026AI summary
23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196
Der 23-jährige Liam Price hat mit GPT-5.4 Pro das Erdős-Problem #1196 gelöst, das sich mit der Erdős-Summe primitiver Mengen befasst. Die KI bewies, dass die Summe asymptotisch gegen 1 konvergiert, und verbesserte damit die bisher beste Schranke von Jared Lichtman erheblich. Der Beweis nutzt Markov-Ketten zur Modellierung der Primfaktor-Struktur ganzer Zahlen – ein neuartiger Ansatz, den Terence Tao als engere Verbindung zwischen analytischer Zahlentheorie und stochastischer Prozesstheorie lobte. Das Problem wurde formal im Beweissassistenten Lean verifiziert.
H
Heise Online