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.
