Ein weiterer großer Durchbruch in der KI-Forschung: Physical Superintelligence erklärt, sein Forschungssystem habe mit einem nicht öffentlichen Modell von Anthropic die Aaronson-Ambainis-Vermutung bewiesen, ein zentrales Problem des Quantencomputings, das seit 2008 ungelöst war.

Physical Superintelligence erklärt, sein KI-Forschungssystem habe mit einem nicht öffentlichen Modell von Anthropic die Aaronson-Ambainis-Vermutung bewiesen, ein zentrales Problem des Quantencomputings, das seit 2008 ungelöst war. Dem Unternehmen zufolge fand das System bereits am dritten Arbeitstag einen vollständigen Beweis, und die finale Version wurde mit dem Beweisassistenten Lean geprüft. Sollte sich der Beweis bestätigen, wäre das ein bemerkenswerter Fall, in dem KI ein langjähriges offenes Problem löst und klärt, wann Quantencomputer einen exponentiellen Vorteil gegenüber klassischen Computern erreichen können.

• Kim2026-11-06 16:01