FROM INTUITION TO RESEARCH
Drie niveaus van uitleg
01 · Begrijp het probleem
Sommige puzzels worden razendsnel moeilijker als ze groter worden. Een nieuw AI-bewijs stelt dat een bekende aanname daarover onjuist is.
02 · Begrijp de bijdrage
ETH stelt dat 3-SAT geen subexponentieel algoritme heeft; OpenAI publiceerde een tegenbewijs en Lean-formalisatie voor onderzoek.
03 · Academische verdieping
Formeel gaat het om een looptijd van 2^o(n) voor 3-SAT met n variabelen. Als het klopt, veranderen conditionele complexiteitsgrenzen. Het bewijst NIET dat P=NP.
Mogelijke betekenis
Mogelijke herziening van ondergrenzen in de algoritmiek.
Wat NIET is aangetoond
Onafhankelijke inhoudelijke beoordeling is nog nodig.