第440章 小心资本 (第1/2页)
在确定不是探测器的问题以後，李东又盯上了太阳模型。
太阳核心的温度估算，依赖於光度、化学组成和辐射不透明度这一串输入参数，每一个都经过了几代物理学家的反复校准。
如果其中有哪个参数有问题，那理论预测的流量就会跟着出问题，所以就算真的是哪个参数有问题，它真的能刚好凑出三分之二来吗？
李东二话不说，直接开始试。
他把巴考尔最後一版标准太阳模型的误差分析翻出来，往里代了几组参数，又把核心温度上下各调了1%，算出来的流量预测值偏移量在8%以内，完全对不上三分之二这个缺口。
即便把所有不确定性全部叠加在一起，模型误差的上限也不够大。
所以太阳模型也没有问题。
那这条曲线反映的不是仪器的偏差，也不是理论的错误的话。
那就这剩下一个问题了，中微子在途中出了问题……
不过李东抱着严谨的态度，又开始重新检查。
……
大概一周以後，李东深深叹了口气。
他已经完全排除了这两个方向。
剩下的只有最後一条路了……
就在这时候，他的手机响了。
电话是威滕打来的。
“李东教授，我明天就要回普林斯顿了。”
“杨先生和我一起研究的那道命题，你如果有兴趣，我随时欢迎。”
“威滕教授，我发现了一些东西，但现在还不确定。”
“等有了一些进展以後，我再和你沟通。”
电话那头威腾教授轻咦了一声。
“你也发现了有趣的东西？我也发现了一些有趣的东西，看来到时候咱们真的好好交流下。”
“好的，威滕教授。”
李东和威滕聊完以後，就挂了电话。
可正当他准备好好看看，中微子到底在路途中出了什麽问题的时候，电话又响了。
这一次是高稳打来的。
“李东啊今晚有场晚宴，燕大牵头的，主要是关於未央往通用大模型走的一些事情。”
“通用大模型？”
要知道，市面上的通用大模型，底层靠的是概率拟合，输出什麽取决於最可能的下一个词。
而未央不一样它的每一步推理都必须过形式化核验器的类型检查，靠的是可验证的奖励信号来修正自己。
换句话说，它是被机器判对练出来的，而不是被人类偏好喂出来的。
如果这套底层逻辑往通用场景迁移，意味着它给出的推理链，是可以被逐步追溯和核验的，这在通用大模型里，几乎是不存在的东西。
高稳那边时不时还能听到喇叭声，像是在开车。
“对，因为我们知道它的优势，所以想往通用大模型靠拢。”
“所以这次圈子里一些厂商的人会来，学校的意思是想听一听他们那边的想法，想让你也一起过来把把关。”
“未央没挂你的名字，但这块核心是你的。”
“学校也希望听听你的意见，到时候如果觉得合适，我们商量一下和这边有没有合作的空间。”
“毕竟通用大模型这个东西，想要做得长久，是真的非常烧钱的。”
这话没有半点夸张。
通用大模型的训练成本从来不是小数字。
即便只是中等规模的一次全量训练，光是算力租用这一项，就不是普通高校科研经费能够轻松覆盖的。
燕大自己做，算力成本、数据成本、工程人力成本加在一起，压力其实很大。
所以学校想和外面的厂商聊聊，这件事本身没什麽问题。
李东看了看时间，已经下午了。
他又看了看桌上的那条中微子数据曲线，第三条路还没开始走，回来再看也一样。
“行，我去。”
……
晚上七点半老张把黑色轿车停在了澜湾酒店的门口。
李东下车的时候发现外面已经站了不少人。
除了北行的李总他认识以外，旁边站的人他大多不认识，只不过他也在一些科技板块上见过。
见李东下了车，这些人笑着迎过来，挨个和握手。
“李东教授啊！真是年轻有为呀。”
“久仰久仰，李东教授如果有空可以来我们公司参观参观……”
他们大多都说着恭维的
（本章未完，请点击下一页继续阅读）