馀江省，潇州市，馀江大学，距离紫金校区不远处的紫金西苑小区里，馀江大学数学科学学院研究所的薛松教授正在小区里散着步。

作为馀江大学最年轻的博导，更是最年轻的百人计划研究员之一，现年不过三十八岁的薛松教授未来可以说是前途无量。

能有现在的成就还真不能说完全是靠着良好的家境，事实上薛松本就属于少年天才那一类人。

在国内接受完九年义务教育之后，他就被父母送到了大洋彼岸，入读普林斯顿国际数理学校。去的第一年就拿到了AMC12一等奖，并受邀参加AIME。

在AIME拿到了极高的成绩之后，更是在USAMO取得了不错的成绩，

本来那一年他也收到了加入IMO的邀请，但因为父母的反对，加上他也觉得考累了，便乾脆他选择了放弃代表美国参加IMO的资格。

但即便如此，他还是被直接保送到了普林斯顿大学数学院就读，用三年就完成了本科学业，并被普林斯顿知名数学教授曼朱尔·巴尔加瓦看重，成了这位着名数论学家的学生，开始硕博连读。

曼朱尔·巴尔加瓦的主要研究方向是高阶数论跟代数几何，并曾经因为这方面的贡献拿到过菲尔兹奖。

薛松跟着这位导师主要从事针对整数论的学习跟研究，涵盖了二次形式到椭圆曲线等比较广泛的主题。他的博士毕业论文就是关于整数论中整数分布的深层次结果。

博士毕业之后，因为种种原因，薛松选择了回国发展。并在五年前入职了馀江大学。

薛教授的能力的确是很出众的，同龄人还在头疼怎麽才能过3+3的时候，他直接两连跳，不但拿到了副教授职称，更是凭藉一篇发表在《数学年刊》上的论文，拿到了百人计划的名额。

更是馀江大学未来重点培养的人才，不出意外的话，未来肯定是要往院士的方向冲击的。

数学家，尤其是研究数论的数学家散步肯定不止散步那麽简单，大脑通常也不会休息，而是思考一些乱七八糟的东西。

就很突然的，兜里的手机突然开启了连续震动模式。

薛松停下了思考，拿出手机，发现是微信里自己手底下的研究生群直接炸锅了，几个学生@他后，直接在群里讨论上了。

「老板，您在代数与数论小树屋里出的那道题竟然真被那个菜鸟给解了！您快去看看呀！」

「是的老板，那个菜鸟真解出来了！答案竟然还是对的，我们刚刚验证过了。」

「简直神了，这哪里是什麽菜鸟？这是把哪位大拿的小号在跟我们开玩笑吧2

「虽然我也觉得很可能是哪位大佬来跟大家开玩笑，但说实话，你们觉得那些话是一位大佬能写出来的吗？还自称小爷？到时候身份万一曝光了，得多尴尬啊！」

薛松大概浏览了一遍群里聊天的内容，没有在群里回话，而是扭头便往家走虽然手机也可以直接登入论坛，但如果涉及到他出的那道题，用电脑更方便。

他出的题，当然知道如果真有人把解求出来，这道题的解会有多大。起码手动演算很累，必须得上计算机。

事实上他选择在论坛上冒泡，并给出这麽一道题，是因为他最近研究中的一个小突破，简单来说就是他找到了一种方法，能够证明类似于他所出题型的一类方程具备整数解。

这也是他已经投稿给ActaMathematica的一篇论文《AClassof

Diophantine Equations Arising from Symmetric Fractional Sums: E.istence

ofIntegerSolutions》。

论文主要内容就是证明了对称分数和的一类丢番图方程整数解的存在性。

他给出的那个方程，就是这一类方程中比较具备代表性的一个。

这里需要给大家解释一个数学方面的小知识。

数学中证明某类甚至某个方程有整数解跟直接求出数值解并不是一回事。

前者是使用数学推理跟证明技巧，透过对方程结构的分析以及数学归纳法的使用，确认该类方程有且至少有一个整数解。

求解则是透过具体的计算步骤，比如运用合并同类项丶移项丶因式分解等等方程求解技巧，计算出方程具体的数值解。

换句话说，虽然薛松已经确定了这个方程具备整数解，但其数值解是多少，

他其实也不知道。唯一能确定的是，这个数值非常巨大！

事实上，丢番图方程在数论领域本就是一个未解的难题。

比如费马猜想就是最着名的丢番图方程之一，当然被证明之后就成了费马大定理。

1900年在法国巴黎举办的第二届世界数学家大会上，着名数学家希尔伯特在做开场报告时，曾提出了着名的一百个问题，其中第十个就是关于丢番图方程的原文是：是否存在一个通用的演算法，能够决定任意给定的丢番图方程是否存在整数解。

1970年，针对这第十问，前苏国数学家尤里·马季亚舍维证明了并不存在这样一个通用演算法，给了希尔伯特第十个问题一个很确定的否定答案。

但这并不代表着丢番图问题就没有研究价值了。

事实上这个否定的结论恰好证明了，丢番图方程在某些情况下具有极大的复杂性，甚至可以说，它超越了传统演算法可以解决的范畴，在计算理论中具备着根本性的重要作用。

所以丢番图方程依然被视为数论中的世界性难题之一，尤其是在更高维数和更复杂的情况下。

现在竟然有人徒手直接把这个方程解求出来了？

还是个刚申请加入论坛的菜鸟？

薛松只觉得脑子都是嗡嗡的。

华夏数学圈子就那麽大，研究数论的就更少了。

所以代数数论小树屋其实就是一个特别小众的论坛，宣传全靠口口相传，也没有任何盈利需求，就是一个国内研究代数与数论教授跟研究生们日常讨论的聚集地。

一般人本就不太可能闯进来，哪怕不小心点进来，想要注册，面对从题库中随机挑选的五十道选择题，也只能抓瞎。

要知道论坛的题库可是极为丰富的，

因为从数学老鸟开始，每次升级都需要升级者给论坛考核题库提供两道选择题，经过论坛几位版主至少三人稽核透过之后，被纳入题库。

监于每个人的性格不同，有些教授还真就喜欢为难人，所以这麽多年积攒下来，题库里可以说什麽乱七八糟的屌题都有。

这麽说吧，前段时间他推荐自己一个新收的硕博连读研究生加入论坛，都花费了两天时间，刷了五轮题才顺利通过考核拿到九十二分。

当然这也不能完全说他这个学生能力不行，毕竟几次能成功不止要看实力，

还得看运气。有些恶趣味的题目专门就为了挖坑而存在的选择题，他一不小心都会被误导，选到错误的答案。

所以只要能成功注册，哪怕顶着一个菜鸟的头衔，起码也已经数论入门了。

但菜鸟头衔的问题在于，薛松根本不知道对方是谁！

是的，这个论坛里，但凡顶着数学怪咖以上头衔的家伙，薛松不说现实中全部认识，起码也认识百分之七丶八十。无非是其中一些现实中关系并不算太好，

现实生活中没什麽交集。

哪怕有些不认识的，只要随便在圈内打听一圈，也能找到正主儿。

但刚申请的菜鸟就不一样了。

小论坛也就一个很早之前留下的IP记录功能，甚至注册都不需要手机号码的，只要有个能正常收发邮件的电子邮箱，能收到伺服器自动传送的验证码就能注册了。

没有实名要求，着实让人无奈！

虽然脑子里一大堆乱七八糟的念头，但十分钟后，薛松已经坐到了书房里的电脑前，飞快的登陆上论坛。

入目便是那个菜鸟刚发的帖子。

毕竟标题辨识度极高，而且已经被一位他认识的论坛版主手工置顶了。

薛松当然知道这并不是为了针对他，事实上如果他在的话，也会直接把这篇帖子直接置顶。不然他跟某些在他眼中站在茅坑不拉屎的所谓前辈有什麽区别？

点开了帖子，便看到了对方给出的结果，

把结果复制，直接带入方程并使用计算机演算。监于方程本身构造很简单，

程式设计工作也很快，不到十分钟结果便验证了，的确是对的。

对于普通人来说，或许觉得这是多此一举，毕竟微信群里不止一个学生都说已经验证过了。

但对于一位合格的数学家来说，自行演算这一步自然是不能省的。