Ilya Sutskever的SSI公司今天凌晨悄悄上线了SSI-Math-1，这模型在IMO 2026真题上拿下92%正确率，把GPT-5.5的78%按在地上摩擦。核心秘密是“可验证推理蒸馏”——每一步推理都生成机器能检查的证明树，从根上掐死“幻觉”。这确实是个转折点：AI从“生成文本”升级到“生成可验证知识”。但别高兴太早，它现在只会数学和代码，你让它聊个天气都得卡壳。通用对话能力弱成这样，离替代ChatGPT还差着十万八千里。

WolfEye: 可验证推理是未来，但单腿走路难成气候。