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

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

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

     在国内接受完九年义务教育之后，他就被父母送到了大洋彼岸，入读普林斯顿国际数理学校。

    去的第一年就拿到了AMC12一等奖，并受邀参加AIME。

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

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

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

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

     薛松跟着这位导师主要从事针对整数论的学习跟研究，涵盖了二次形式到椭圆曲线等比较广泛的主题。

    他的博士毕业论文就是关于整数论中整数分布的深层次结果。

     博士毕业之后，因为种种原因，薛松选择了回国发展。

    并在五年前入职了余江大学。

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

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

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

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

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

     “老板，您在代数与数论小树屋里出的那道题竟然真被那个菜鸟给解了！您快去看看呀！” “是的老板，那个菜鸟真解出来了！答案竟然还是对的，我们刚刚验证过了。

    ” “简直神了，这哪里是什么菜鸟？这是把哪位大拿的小号在跟我们开玩笑吧？” “虽然我也觉得很可能是哪位大佬来跟大家开玩笑，但说实话，你们觉得那些话是一位大佬能写出来的吗？还自称小爷？到时候身份万一曝光了，得多尴尬啊！” …… 薛松大概浏览了一遍群里聊天的内容，没有在群里回话，而是扭头便往家走。

     虽然手机也可以直接登录论坛，但如果涉及到他出的那道题，用电脑更方便。

     他出的题，当然知道如果真有人把解求出来，这道题的解会有多大。

    起码手动演算很累，必须得上计算机。

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

     这也是他已经投稿给ActaMathematica的一篇论文《AClassofDiophantineEquationsArisingfromSymmetricFractionalSums:ExistenceofIntegerSolutions》。

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

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

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

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

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

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

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

    唯一能确定的是，这个数值非常巨大！ 事实上，丢番图方程在数论领域本就是一个未解的难题。

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

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

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