Anthropic folgt mit eigener ETH-Widerlegung: internes Claude-Forschungsmodell fand den Algorithmus am 16. Oktober, Lean-Formalisierung ist oeffentlich – Stunden nach OpenAI veroeffentlicht 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 fuer seine Version angibt; Anthropic-Forscher halfen nur bei der Darstellung nach. Anthropic warnt zugleich, dass das theoretische Resultat keinen praktischen Speedup begruendet. Komplexitaetsexperte Ryan Williams leitet die offene Community-Pruefung – die ETH unterfuettert hunderte Resultate ueber 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.
