Anthropic folgt mit eigener ETH-Widerlegung: internes Claude-Forschungsmodell fand den Algorithmus am 16. Oktober, Lean-Formalisierung ist öffentlich
Anthropic folgt mit eigener ETH-Widerlegung: internes Claude-Forschungsmodell fand den Algorithmus am 16. Oktober, Lean-Formalisierung ist öffentlich – Stunden nach OpenAI veröffentlicht Anthropic eine behauptete Widerlegung der Exponentialzeithypothese, zugeschrieben “Claude (Anthropic)”. Laut Paper fand das interne Forschungsmodell den Kernalgorithmus ohne menschliche Eingabe am 16. Oktober – derselbe Tag, den OpenAI für seine Version angibt; Anthropic-Forscher halfen nur bei der Darstellung nach. Anthropic warnt zugleich, dass das theoretische Resultat keinen praktischen Speedup begründet. Komplexitaetsexperte Ryan Williams leitet die offene Community-Prüfung – die ETH unterfuettert hunderte Resultate über die Haerte von 3-SAT. Quelle · Formal-Math · 🗃 Wayback Machine (Archiv)
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von techcrunch.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Kalina Digest unterstützen
Lesen bleibt frei. Wer mag, gibt etwas zurück — ab 1 € einmalig, oder als Stufe für einen Monat, ein Quartal oder ein Jahr.
