FROM INTUITION TO RESEARCH
Tres niveles de comprensión
01 · Entender el problema
Algunos acertijos se vuelven muchísimo más difíciles al crecer. Un argumento de IA cuestiona esta predicción.
02 · Entender la aportación
La ETH descarta algoritmos subexponenciales para 3-SAT; OpenAI comunica una refutación con formalización en Lean.
03 · Contexto académico
La afirmación se refiere a tiempos 2^o(n) para 3-SAT. Si se confirma, afectaría a límites inferiores condicionales, pero no probaría P=NP.
Qué podría cambiar
Podría cambiar supuestos clave en teoría de algoritmos.
Qué NO está demostrado
Se requiere revisión técnica independiente.