案竟然还是对的，我们刚刚验证过了。”
“简直神了，这哪里是什么菜鸟？这是把哪位大拿的小号在跟我们开玩笑吧？”
“虽然我也觉得很可能是哪位大佬来跟大家开玩笑，但说实话，你们觉得那些话是一位大佬能写出来的吗？还自称小爷？到时候身份万一曝光了，得多尴尬啊！”
……
薛松大概浏览了一遍群里聊天的内容，没有在群里回话，而是扭头便往家走。
虽然手机也可以直接登录论坛，但如果涉及到他出的那道题，用电脑更方便。
他出的题，当然知道如果真有人把解求出来，这道题的解会有多大。起码手动演算很累，必须得上计算机。
事实上他选择在论坛上冒泡，并给出这么一道题，是因为他最近研究中的一个小突破，简单来说就是他找到了一种方法，能够证明类似于他所出题型的一类方程具备整数解。
这也是他已经投稿给ActaMathematica的一篇论文《AClassofDiophantineEquationsArisingfromSymmetricFractionalSums:ExistenceofIntegerSolutions》。
论文主要内容就是证明了对称分数和的一类丢番图方程整数解的存在性。
他给出的那个方程，就是这一类方程中比较具备代表性的一个。
这里需要给大家解释一个数学方面的小知识。
数学中证明某类甚至某个方程有整数解跟直接求出数值解并不是一回事。
前者是使用数学推理跟证明技巧，通过对方程结构的分析以及数学归纳法的使用，确认该类方程有且至少有一个整数解。
求解则是通过具体的计算步骤，比如运用合并同类项、移项、因式分解等等方程求解技巧，计算出方程具体的数值解。
换句话说，虽然薛松已经确定了这个方程具备整数解，但其数值解是多少，他其实也不知道。唯一能确定的是，这个数值非常巨大！
事实上，丢番图方程在数论领域本就是一个未解的难题。
比如费马猜想就是最著名的丢番图方程之一，当然被证明之后就成了费马大定理。
1900年在法国巴黎举办的第二届世界数学家大会上，著名数学家希尔伯特在做开场报告时，曾提出了著名的一百个问题，其中第十个就是关于丢番图方程的
原文是