KI knackt einen 27 Jahre alten Pfeiler der Informatik, behaupten OpenAI und Anthropic
OpenAI und Anthropic sagen, ihre Modelle hätten eine scheinbare Widerlegung der Exponentialzeit-Hypothese hervorgebracht, eines 1999 vorgeschlagenen Pfeilers der theoretischen Informatik, wobei die Beweise in Lean formal geprüft, aber von Menschen noch nicht vollständig bestätigt wurden. Science berichtet, Anthropic habe mehr als 800 Arbeiten gezählt, die diese Hypothese voraussetzen, obwohl ihre praktische Wirkung vorerst begrenzt sei. Das ist relevant, weil es ein langjähriges theoretisches Fundament erschüttert und zeigt, dass führende KI-Systeme eine umstrittene Grenze der Mathematik erreichen, auch wenn die Überprüfung noch unvollständig ist.
QUELLEN
- Hacker News (AI)2026-11-03 17:43