费马大定理和众多的数学定理一样，其本质上是数学难题，也是数学家们的益智游戏。
“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。”
这是由法国数学家皮耶·德·费马在1637年提出的定理。
写成简单的公式就是“x^n + y^n \\u003d z^n没有正整数解。”
在1993年的时候，费马大定理就已经由安德鲁·怀尔斯解开，之后由于被提出引用的欧拉系有问题，便继续论证，直到1994年10月25日11点4分11秒，怀尔斯给出了所有数学家都信服的答案，即n＞2时费马大定理成立。
这是一场长达300多年的数字游戏，严夏在研究弦理论的时候接触过一些数学知识，对费马大定理有所了解。
面前的这个学者研究费马大定理，说明其本身在数学上的造诣并不太高，或者说它本身就是在玩一个益智游戏而已。
“费马大定理诞生的时期太过久远了，这个定理似乎没有什么应用方向。”
数学通常和哲学挂钩，很多数学问题重要的并不是论证的结果，而是过程。
就像玩一款游戏，开始游戏到中间探索的过程永远是最好玩的部分，而当打完了最终boss，便会觉得无限的空虚。
ella通过微型机器人将声音传输到严夏的耳朵里。
“根据信息，的确没有相关的技术。”
严夏便不再关注，毕竟只是一次数学上的修行，在文明联邦的现在，很多数学上的论证根本不需要人工去完成，在网络上就能搜索到答案。
而且也有公司在虚拟宇宙中开发出了“大数学公式模型”，在该虚拟空间中，可以进行任何形式的运算工作，如同一个超级计算器。
大数学公式模型不仅是对于这些已知的数学公式有帮助，还对一些数学难题进行辅助性的运算，大大减少数学家本身的运算时间。
一些可能原本费尽脑力几个小时才能完成的运算，在大数学公式模型之中，只需要不到一分钟。
许多这类学术上的虚拟空间完全都是由ella在监管的，ella将网络端口接到这些虚拟世界中，收集这些虚拟空间内的运算信息。
“该死，又没有通过主议会审核。”
“竟然是在这方面有错误，数学械神不愧是数学械神，我在之前的运算中竟然完全没有察觉。”
旁边那光翼族学者骂骂咧咧，又惊叹不已。
严夏看到它面前的屏幕陡然摊开，变成了一个黑板大小，而在这屏幕上用密密麻麻苍蝇般大小的字在论证一个公式。
光是通篇的那些公式信息便看得严夏一哆嗦。
数学这玩意太复杂了，他的主学是生物学，次要是天文物理，物理方面也需要应用到数学，不过之前他都是借助ella完成的运算，在众多学术中，数学的难度绝对是名列前茅的。
其对于逻辑思维能力到达了恐怖的地步，而且这是什么时代？更多的数学难题被提出来，很多的难题都已经不是费马大定理这样的整数难题，更多的微积分，更多的几何图，严夏在之前甚至听说过某学者运算时用脑过度而暴毙的。
很多数学难题越是接近真相往往就越是困难重重，ella作为文明联邦的核心，也会参与很多方向的研究，以它的算力，在以往某次运算数学难题的时候都差点将自己干冒烟，运算了整整289年的时间都没有论证那道题目的真实性。
“械神是什么东西？”严夏有些好奇的问道。
这是他在文明联邦的时期没有的东西。
严夏这次是出声问的，那光翼族学者震惊的扭头看向他。
“你竟然不知道械神？”
“整个文明联邦的所有东西都被械神统管，有管理社会运转的社会械神，有管理学术问题的数学械神、物理械神、化学械神等，也有管理整个虚拟世界的虚拟械神，还有统管军事的军事械神。”
“文明联邦中械神无处不在，等等，你不是那个在冰雪之星半路上来的官员吗？你怎么会不知道械神？”
光翼族学者警惕起来，怀疑严夏是不是其他文明的奸细？
在现在的文明联邦内，不知道械神就和21世纪有人不知道手机是什么一样夸张。
“原来如此，我在宇宙丝绸之路上待了很长的时间，也是最近才回来的，没想到联邦发展这么快。”
严夏有些感慨，也消除了对方的疑惑。
同时ella也在旁边传音入密为严夏解释。
ella本身处理的信息是由算力决定的，宇宙空间太大，也就意味它只能局限于一个恒星系，若是多星系连同就会出现可怕的长达数年的延迟问题。
延迟在计算机中1毫秒都能难以接受，更何况几年甚至几十年的延迟？
所以ella制造了械神。
每一个械神都有自己独立的恒星系主机，分别处理不一样的事情。
械神分为算力极高的主械神和算力较次的副械神，主械神依托庞大的恒星，通常是黄矮星或者蓝矮星，以强大的能源供应算力。
副械神依托红矮星或者白矮星，在环形世界中就有一个副械神统筹环形世界的运转。
“宇宙丝绸之路，那的确十分遥远。”
“两百多光年的距离，若是我的研究能够完成就好了，那么可能将联邦的战舰速度提高到新的档次，至少是15%光速。”
光翼族学者遗憾的摇头。
“可惜我的研究依旧还有很长的路要走，作为光翼族，我的寿命太短了，若能拥有几百年的寿命，那么我或许有一天能够亲自完成这项研究。”
严夏听着十分好奇。
“是怎样的研究，可以让战舰的速度提升那么多？”
光翼族学者将虚拟屏幕的权限打开，面前黑板上的那些公式瞬间消失，取而代之的是一个数字。
137