和大多数数学学霸一样，他也有一个不太受欢迎的特长，那就是他是一个哥德巴赫狂，但他的特长还不仅仅是这样，在他的机器辅助下，他还能够将数学定理画成优美的图案，这种图案以其华丽和优美让人无法相信这是一个数学定理。
这个学霸凭借着这个机器，打破了一次又一次的数学定理记录，他的每一次作品都会在网上引起极大的热议，对于这种能够将数学定理变成艺术的图案，网友们赞叹不已。
但在经历了几次爆红之后，这个学霸却开始备受质疑，人们担心他自己根本就不会证明，只不过是用机器手段将数学定理图案化了而已，但是学霸却出人意料的挑战道:“我能把定理完全证明出来!”
学霸和他的神秘机器。这个学霸叫弗辛，和其他数学学霸一样，他对于数学的痴迷程度，超过了一切，但是他比其他数学学霸还有一个特殊的地方，那就是他身边似乎总是能够绕不开哥德巴赫猜想。
而弗辛对于哥德巴赫猜想的兴趣，甚至还不止于证明猜想，当他的神秘机器出现的时候，这种兴趣也表现的更加明显，而这个神秘机器，就是他的“人工智能”机器。
和数学大神邓肯若依一样，弗辛喜欢叫这个机器为“AI人工智能”机器，尽管人们并没有见识过这个所谓的“人工智能”机器有任何智能。
但是，人工智能的名字对它来说，还是很背后，因为它的确比一般的计算机要强大的多，这台“AI智能”机器，最强大的地方在于它能够以人类的方式，对付数学定理。
弗辛的这台神秘机器，是他花费数年时间研发出来的，这是一台专门处理哥德巴赫猜想的机器，核心处理器是一个型号小得可怜的，而且配置也很一般的处理器，与一般的计算机相比，这个处理器没什么优势。
但是，弗辛在这个处理器上集成的计算模块，却是他研发的“AI人工智能”机器，这个机器通过连接高级服务器，将高级服务器的处理能力，通过小处理器进行利用，极大的减少了花费。
弗辛的这台“AI人工智能”机器也有别于一般的计算机，它能够在接受任务之后，将任务分解成为一个个单独的小的任务，然后消化完毕之后，再将这些任务统一起来变成一个任务，直到最后完成整个任务。
弗辛对于此机器的原理，就是“猜测型真命题证明”，爱格尔曾经说过一句名言:“存在性状为真的任何陈述，都有其存在性证明。”
“AI人工智能”机器，也是通过按照爱格尔的“猜测型真命题证明”原理来的，而弗辛的这个机器，也能够按照这个原理指引人们找到正确的证明方案，所以，他将这个机器称为“AI人工智能”。
尽管人们对于这个机器的质疑之声，从未停止过，但是弗辛并不在意，因为他的这台机器，是他的成果，他对于这个机器的原理和原创都清楚，他对于质疑，也有着自己所期望的一个结果。
作为一个数学学霸，他的兴趣不仅仅限于挑战哥德巴赫猜想，他希望通过这个机器的效果，来进一步推动数学的研究，并且在研究过程中，将各种数学定理，都通过他的这个“AI人工智能”机器，转变成优美的图案。
数学定理的艺术图案。汉若尼斯，是弗辛给这台机器的名字，他有一个很长的名字，只有弗辛才会记得，并且能够准确的念出来，但他觉得这个名字不够给他的机器起名，所以，他给他的机器起了一个昵称，叫做“汉若尼斯”。
这个名字并没有什么特别的含义，只是弗辛突然说出来，他就开始喜欢了，所以他就给这个机器起了这个名字，而这个昵称对于弗辛来说，却是十分的重要，他和这个昵称绑定在了一起，经常会调侃这个机器。
被弗辛严肃化之后，它对于“汉若尼斯”的名字很不满，所以，弗辛每次开机，就会严厉的和他说:“汉若尼斯，别给我惹麻烦，老实待着给我好好工作，不然我就给你换一个名字。”
但是汉若尼斯，却一点也不给弗辛面子，不管弗辛做什么，它都会嘀咕着一些不太清楚的话语，弄的弗辛头疼，但是弗辛也没有真的去换掉它的名字，因为弗辛很喜欢这个名字。
尽管汉若尼斯对于弗辛来说，十分的重要，但它却并不是弗辛的最满意的一款产品，弗辛对于它还有一个目标，那就是它能够做到“零证明”。
所谓的“零证明”，就是弗辛将一个数学定理，通过这个机器处理之后，然后将数学定理的图形，所覆盖的区域全部处理完，他无需对这个定理进行证明，而这个人工智能机器就能做到这一点。
但是，弗辛也承认，这个目标至今还没有达到，所以，他也没对这个机器进行发布，所以，汉若尼斯，对于外来的数学学霸来说，就是一个很神秘的机器，也正是因为如此，才给了弗辛的身上更多的争议。
但是，弗辛并不在意，这个机器还没有达到他想要的效果，也不代表它不是“AI人工智能”机器，对于其他人的质疑，弗辛无需去理会，因为他早已习惯了。
汉若尼斯的神奇，很快就吸引了不少数学学霸们的注意，他们对于这台神秘机器，也十分好奇，但是弗辛并不会给数学学霸们解答，所以他们都在等待着这台机器正式发布的时候。
但是，弗辛并没有急着对这台机器进行发布，他先是两次拿出自己证明哥德巴赫猜想的机会，但是都只是一次被忽略，另一次则被质疑，对于弗辛的作品，数学学霸们也不太看好，有人开始对这个“AI人工智能”机器开始质疑。
认为这是一个假的机器，并且对于弗辛自己来说，能否也真的对这个定理进行苟同的证明，他们不置可否，都是有人质疑，就有人捍卫。
但是相比众人的争议，都不如这台机器的出现让数学学霸们更加兴奋，他们对这台机器的好奇心，超过了这次哥德巴赫猜想的证明。
人们惊叹的是，这台机器源源不断的将数学定理图案化，而图案的好看程度，让人觉得这是一幅幅艺术作品，无法相信这是一个数学定理。
而弗辛也因此对他的机器进行了几次升级，对于这台机器，他最满意的一点，就是他的“AI人工智能”机器，能够按照面向人类的思维方式进行工作，可以在不经过人类的证明，也能够将定理进行分解、消化最后统一起来。
这是他始终想要的一个效果，但是这台机器还是没有达到他的效果，对于这次效果，他也没有告诉其他人，因为即便是这个效果，我也不能公开，他的作品必须经过人类的证明。
人们纷纷猜测，究竟是哪一台机器，也是一台机器，要不然怎么会将数学定理，变为如此美丽的图案，而这个机器性能和配置，又将会是怎样的一个赞叹，但是弗辛也就和他唯一的知己，汉若尼斯淡然一笑。
对于弗辛的机器，人们都在猜测，到底是不是真的有人工智能机器，这样的配置和性能，才能将数学定理画的如此优美，甚至有人怀疑，弗辛自己也没有能力进行苟同的证明。
直到有人提出了这个问题，也没有对弗辛进行回复，更没有从弗辛这得到的回答，弗辛还是和“AI人工智能”机器一样，趾高气昂的。
这个人工智能机器，也成为了数学界的一大悬案。
,
