Zurück Zurück
Modelle6/Tag per E-MailPrimärquelle

Epoch AIs FrontierMath-Erdős-Benchmark stellt KI-Modellen die Aufgabe, 68 bedeutende ungelöste Erdős-Probleme in Lean zu beweisen oder zu widerlegen, jeweils mit einem festen Budget von 300 Dollar und 72 Stunden. Bei einem Test von fünf Spitzenmodellen im August 2026 lieferte nur eines eine verifizierte Lösung: GPT-6 Astra löste 2 von 68 Problemen (3 %) — jedes andere getestete Modell erzielte 0 %

Epoch AI hat den FrontierMath Erdős-Benchmark entwickelt, um die mathematischen Fähigkeiten von KI rigoros zu messen. Er fordert KI-Modelle heraus, 68 bedeutende ungelöste Erdős-Probleme, formalisiert in Lean, innerhalb eines Budgets von 300 $ und 72 Stunden pro Problem zu beweisen oder zu widerlegen. Im August 2026 testete Epoch AI fünf Frontier-Modelle, und nur GPT-6 Astra lieferte verifizierte Lösungen, indem es 2 der 68 Probleme löste.

QuelleEpoch AI·Aug 2026

Geprüft 2026-09-16

Mit Insider verfolgen

Warum das zählt

KI beginnt, echte offene Mathematikprobleme zu knacken, obwohl der Erfolg selten und auf ein Modell beschränkt bleibt.

KOSTENLOS · KEINE KARTE

Fakten wie diese, sechs Tage die Woche

The Daily Receipts an Werktagen, The Weekly Brief am Samstag — sechs belegte Fakten pro Tag per E-Mail, zwei mehr als die kostenlose Website zeigt. Jeder bis zur Quelle belegt. Kostenlos.

Tägliches Gratis-Briefing holen

Kostenlos · Keine Karte · Jederzeit abbestellbar

Treten Sie jetzt bei, und Sie starten mit 100 Receipts in The Receipts Ledger — Ihr erster Schritt zu einem kostenlosen Jahr Insider oder Pro. So funktioniert es →

Die heutige Ausgabe ansehen →