在确定不是探测器的问题以後，李东又盯上了太阳模型。
太阳核心的温度估算，依赖於光度、化学组成和辐射不透明度这一串输入参数，每一个都经过了几代物理学家的反复校准。
如果其中有哪个参数有问题，那理论预测的流量就会跟着出问题，所以就算真的是哪个参数有问题，它真的能刚好凑出三分之二来吗？
李东二话不说，直接开始试。
他把巴考尔最後一版标准太阳模型的误差分析翻出来，往里代了几组参数，又把核心温度上下各调了1%，算出来的流量预测值偏移量在8%以内，完全对不上三分之二这个缺口。
即便把所有不确定性全部叠加在一起，模型误差的上限也不够大。
所以太阳模型也没有问题。
那这条曲线反映的不是仪器的偏差，也不是理论的错误的话。
那就这剩下一个问题了，中微子在途中出了问题……
不过李东抱着严谨的态度，又开始重新检查。
……
大概一周以後，李东深深叹了口气。
他已经完全排除了这两个方向。
剩下的只有最後一条路了……
就在这时候，他的手机响了。
电话是威滕打来的。
“李东教授，我明天就要回普林斯顿了。”
“杨先生和我一起研究的那道命题，你如果有兴趣，我随时欢迎。”
“威滕教授，我发现了一些东西，但现在还不确定。”
“等有了一些进展以後，我再和你沟通。”
电话那头威腾教授轻咦了一声。
“你也发现了有趣的东西？我也发现了一些有趣的东西，看来到时候咱们真的好好交流下。”
“好的，威滕教授。”
李东和威滕聊完以後，就挂了电话。
可正当他准备好好看看，中微子到底在路途中出了什麽问题的时候，电话又响了。
这一次是高稳打来的。
“李东啊今晚有场晚宴，燕大牵头的，主要是关於未央往通用大模型走的一些事情。”
“通用大模型？”
要知道，市面上的通用大模型，底层靠的是概率拟合，输出什麽取决於最可能的下一个词。
而未央不一样它的每一步推理都必须过形式化核验器的类型检查，靠的是可验证的奖励信号来修正自己。
…。。