FROM INTUITION TO RESEARCH
Tre livelli di comprensione
01 · Comprendere il problema
Alcuni problemi diventano enormemente più difficili quando crescono. Un argomento prodotto dall'IA contesta questa previsione.
02 · Comprendere il contributo
L'ETH esclude algoritmi subesponenziali per 3-SAT; OpenAI annuncia una confutazione formalizzata in Lean.
03 · Contesto accademico
La tesi riguarda tempi 2^o(n) per 3-SAT. Una confutazione cambierebbe numerosi limiti inferiori condizionati, ma non dimostrerebbe P=NP.
Possibili implicazioni
Potenziale revisione dei risultati di complessità.
Cosa NON è dimostrato
Serve una verifica indipendente approfondita.