到。
在这段观测技术狂飙突进的岁月里，大夏的理论物理与数学，也迎来了它辉煌的验证时刻。
天体力学的巅峰之作。
随着历代大祭司和天文台积累的行星观测数据越来越庞大，传统的人力演算已经无法支撑那种动辄涉及多个天体引力相互拉扯的“多体问题”。
好在大夏拥有神算机房。
那台由数十万个晶体管和电子管组成的庞然大物，虽然耗电量惊人，但其算力却能将复杂的微积分方程在极短的时间内解开。
大夏的数学家和天体力学专家团队，将太阳与已知行星的引力数据输入了神算。
在漫长的推演中，他们发现了一丝诡异的偏差。
神眷星系外围某颗已知行星的实际运行轨道，与牛理先师的万有引力定律计算出的理论轨道，存在着微小的“摄动”。
“这绝不是父神的法则算错了。”
航空所首席数学院士在黑板前斩钉截铁地说道，“唯一的解释是，在那颗行星的外面，在更加遥远、黑暗的星系边缘，还隐藏着一颗我们尚未发现的大质量未知行星！是它的引力，拉扯了已知行星的轨道！”
凭借着海量的算力推演，学者们在纸面上硬生生地算出了那颗未知行星的质量，轨道周期，以及它在特定时间应该出现的星空坐标。
当这个预言坐标被送到高山天文台时，连天文台的台长都有些将信将疑。
但在预定的那个夜晚，当十米口径的巨型望远镜缓缓转向那个空无一物的黑暗坐标区域，并持续曝光观测后。
在传回的光电数据与影像中，一颗散发着微弱蓝光的行星，精准地出现在了纸面推演的坐标点上！
分毫不差！
这不仅仅是一次天文大发现。
这是数学的胜利，是物理学的胜利，更是人类纯粹理性的胜利！
大夏的学者们用纸、笔和机器算力，在浩瀚的宇宙中，硬生生地“算”出了一颗星球！