没有任何模型能真正解决开放猜想。