对于比赛的信念立马从有点迷茫变得坚定锐利。

        叶清河的话让她明白一个道理，那就是前沿题不能靠死记硬背，而是要靠不变量分类思想加原创严谨逻辑。

        不必完全解决猜想，只要给出公理自洽，思路独创，就可以是一个高分的高阶答案。

        叶清河听到她的话，微微点头，没有说什么，而是扭头看向这支比赛队伍的队长何欢。

        何欢在数值建模、微分方程数值解、大数据拟合能力方面是顶尖的。

        但是在纯理论公理证明与数值计算这一块，他与另外三个人多少有一点点脱节。

        三个人负责严谨的公理不变量推导，他负责演算，但是经常会算出脱离证明体系的一些冗余数据。

        甚至有时候会导致团队整篇学术论文逻辑断裂，前后不自洽。

        “作为队长，你应该明白，计算永远服务形式化证明，不是独立运算。

        苟强的公理闭环、陈程的不变量约束以及孙婷的拓扑等价关系。

        你的所有误差数值边界都要贴合纯数学理论结论，不做无关的冗余计算。”

  The content is not finished, continue reading on the next page