GPT 5.6和Fable 5用Lean验证解决了MIMO信号分离难题，但网友热议其实际价值已降低，因工程上已绕过该问题。同时引发对AI证明可信度、人类能否理解复杂推理及科学本质的深层讨论。