1900年在法国巴黎举办的第二届世界数学家大会上,着名数学家希尔伯特在做开场报告时,曾提出了着名的一百个问题,其中第十个就是关于丢番图方程的原文是:是否存在一个通用的演算法,能够决定任意给定的丢番图方程是否存在整数解。
1970年,针对这第十问,前苏国数学家尤里·马季亚舍维证明了并不存在这样一个通用演算法,给了希尔伯特第十个问题一个很确定的否定答案。
但这并不代表着丢番图问题就没有研究价值了。
事实上这个否定的结论恰好证明了,丢番图方程在某些情况下具有极大的复杂性,甚至可以说,它超越了传统演算法可以解决的范畴,在计算理论中具备着根本性的重要作用。
所以丢番图方程依然被视为数论中的世界性难题之一,尤其是在更高维数和更复杂的情况下。
现在竟然有人徒手直接把这个方程解求出来了?
还是个刚申请加入论坛的菜鸟?
薛松只觉得脑子都是嗡嗡的。
华夏数学圈子就那麽大,研究数论的就更少了。
所以代数数论小树屋其实就是一个特别小众的论坛,宣传全靠口口相传,也没有任何盈利需求,就是一个国内研究代数与数论教授跟研究生们日常讨论的聚集地。
一般人本就不太可能闯进来,哪怕不小心点进来,想要注册,面对从题库中随机挑选的五十道选择题,也只能抓瞎。
要知道论坛的题库可是极为丰富的,
因为从数学老鸟开始,每次升级都需要升级者给论坛考核题库提供两道选择题,经过论坛几位版主至少三人稽核透过之后,被纳入题库。
监于每个人的性格不同,有些教授还真就喜欢为难人,所以这麽多年积攒下来,题库里可以说什麽乱七八糟的屌题都有。
这麽说吧,前段时间他推荐自己一个新收的硕博连读研究生加入论坛,都花费了两天时间,刷了五轮题才顺利通过考核拿到九十二分。
当然这也不能完全说他这个学生能力不行,毕竟几次能成功不止要看实力,
还得看运气。有些恶趣味的题目专门就为了挖坑而存在的选择题,他一不小心都会被误导,选到错误的答案。
所以只要能成功注册,哪怕顶着一个菜鸟的头衔,起码也已经数论入门了。
但菜鸟头衔的问题在于,薛松根本不知道对方是谁!
是的,这个论坛里,但凡顶着数学怪咖以上头衔的家伙,薛松不说现实中全部认识,起码也认识百分之七丶八十。无非是其中一些现实中关系并不算太好,
现实生活中没什麽交集。
哪怕有些不认识的,只要随便在圈内打听一圈,也能找到正主儿。
但刚申请的菜鸟就不一样了。
小论坛也就一个很早之前留下的IP记录功能,甚至注册都不需要手机号码的,只要有个能正常收发邮件的电子邮箱,能收到伺服器自动传送的验证码就能注册了。
没有实名要求,着实让人无奈!
虽然脑子里一大堆乱七八糟的念头,但十分钟后,薛松已经坐到了书房里的电脑前,飞快的登陆上论坛。
入目便是那个菜鸟刚发的帖子。
毕竟标题辨识度极高,而且已经被一位他认识的论坛版主手工置顶了。
薛松当然知道这并不是为了针对他,事实上如果他在的话,也会直接把这篇帖子直接置顶。不然他跟某些在他眼中站在茅坑不拉屎的所谓前辈有什麽区别?
点开了帖子,便看到了对方给出的结果,
把结果复制,直接带入方程并使用计算机演算。监于方程本身构造很简单,
程式设计工作也很快,不到十分钟结果便验证了,的确是对的。
对于普通人来说,或许觉得这是多此一举,毕竟微信群里不止一个学生都说已经验证过了。
但对于一位合格的数学家来说,自行演算这一步自然是不能省的。
丢给电脑演算的时候,薛松也把这个菜鸟发的帖子,连带着下面的回覆大致扫了—遍。