餘江省,瀟州市,餘江大學,距離紫金校區不遠處的紫金西苑小區裡,餘江大學數學科學學院研究所的薛鬆教授正在小區裡散著步。
作為餘江大學最年輕的博導,更是最年輕的百人計劃研究員之一,現年不過三十八歲的薛鬆教授未來可以說是前途無量。
能有現在的成就還真不能說完全是靠著良好的家境,事實上薛鬆本就屬於少年天才那一類人。
在國內接受完九年義務教育之後,他就被父母送到了大洋彼岸,入讀普林斯頓國際數理學校。去的第一年就拿到了AMC12一等獎,並受邀參加AIME。
在AIME拿到了極高的成績之後,更是在USAMO取得了不錯的成績,
本來那一年他也收到了加入IMO的邀請,但因為父母的反對,加上他也覺得考累了,便乾脆他選擇了放棄代表美國參加IMO的資格。
但即便如此,他還是被直接保送到了普林斯頓大學數學院就讀,用三年就完成了本科學業,並被普林斯頓知名數學教授曼朱爾·巴爾加瓦看重,成了這位著名數論學家的學生,開始碩博連讀。
曼朱爾·巴爾加瓦的主要研究方向是高階數論跟代數幾何,並曾經因為這方麵的貢獻拿到過菲爾茲獎。
薛鬆跟著這位導師主要從事針對整數論的學習跟研究,涵蓋了二次形式到橢圓曲線等比較廣泛的主題。他的博士畢業論文就是關於整數論中整數分布的深層次結果。
博士畢業之後,因為種種原因,薛鬆選擇了回國發展。並在五年前入職了餘江大學。
薛教授的能力的確是很出眾的,同齡人還在頭疼怎麽才能過3+3的時候,他直接兩連跳,不但拿到了副教授職稱,更是憑藉一篇發表在《數學年刊》上的論文,拿到了百人計劃的名額。
更是餘江大學未來重點培養的人才,不出意外的話,未來肯定是要往院士的方向衝擊的。
數學家,尤其是研究數論的數學家散步肯定不止散步那麽簡單,大腦通常也不會休息,而是思考一些亂七八糟的東西。
就很突然的,兜裡的手機突然開啟了連續震動模式。
薛鬆停下了思考,拿出手機,發現是微信裡自己手底下的研究生群直接炸鍋了,幾個學生@他後,直接在群裡討論上了。
「老板,您在代數與數論小樹屋裡出的那道題竟然真被那個菜鳥給解了!您快去看看呀!」
「是的老板,那個菜鳥真解出來了!答案竟然還是對的,我們剛剛驗證過了。」
「簡直神了,這哪裡是什麽菜鳥?這是把哪位大拿的小號在跟我們開玩笑吧2
「雖然我也覺得很可能是哪位大佬來跟大家開玩笑,但說實話,你們覺得那些話是一位大佬能寫出來的嗎?還自稱小爺?到時候身份萬一曝光了,得多尷尬啊!」
薛鬆大概瀏覽了一遍群裡聊天的內容,沒有在群裡回話,而是扭頭便往家走雖然手機也可以直接登入論壇,但如果涉及到他出的那道題,用電腦更方便。
他出的題,當然知道如果真有人把解求出來,這道題的解會有多大。起碼手動演算很累,必須得上計算機。
事實上他選擇在論壇上冒泡,並給出這麽一道題,是因為他最近研究中的一個小突破,簡單來說就是他找到了一種方法,能夠證明類似於他所出題型的一類方程具備整數解。
這也是他已經投稿給ActaMathematica的一篇論文《AClassof
Diophantine Equations Arising from Symmetric Fractional Sums: E.istence
ofIntegerSolutions》。
論文主要內容就是證明了對稱分數和的一類丟番圖方程整數解的存在性。
他給出的那個方程,就是這一類方程中比較具備代表性的一個。
這裡需要給大家解釋一個數學方麵的小知識。
數學中證明某類甚至某個方程有整數解跟直接求出數值解並不是一回事。
前者是使用數學推理跟證明技巧,透過對方程結構的分析以及數學歸納法的使用,確認該類方程有且至少有一個整數解。
求解則是透過具體的計算步驟,比如運用合並同類項丶移項丶因式分解等等方程求解技巧,計算出方程具體的數值解。
換句話說,雖然薛鬆已經確定了這個方程具備整數解,但其數值解是多少,
他其實也不知道。唯一能確定的是,這個數值非常巨大!
事實上,丟番圖方程在數論領域本就是一個未解的難題。
比如費馬猜想就是最著名的丟番圖方程之一,當然被證明之後就成了費馬大定理。
1900年在法國巴黎舉辦的第二屆世界數學家大會上,著名數學家希爾伯特在做開場報告時,曾提出了著名的一百個問題,其中第十個就是關於丟番圖方程的原文是:是否存在一個通用的演算法,能夠決定任意給定的丟番圖方程是否存在整數解。
1970年,針對這第十問,前蘇國數學家尤裡·馬季亞舍維證明了並不存在這樣一個通用演算法,給了希爾伯特第十個問題一個很確定的否定答案。
但這並不代表著丟番圖問題就沒有研究價值了。
事實上這個否定的結論恰好證明了,丟番圖方程在某些情況下具有極大的複雜性,甚至可以說,它超越了傳統演算法可以解決的範疇,在計算理論中具備著根本性的重要作用。
所以丟番圖方程依然被視為數論中的世界性難題之一,尤其是在更高維數和更複雜的情況下。
現在竟然有人徒手直接把這個方程解求出來了?
還是個剛申請加入論壇的菜鳥?
薛鬆隻覺得腦子都是嗡嗡的。
華夏數學圈子就那麽大,研究數論的就更少了。
所以代數數論小樹屋其實就是一個特彆小眾的論壇,宣傳全靠口口相傳,也沒有任何盈利需求,就是一個國內研究代數與數論教授跟研究生們日常討論的聚集地。
一般人本就不太可能闖進來,哪怕不小心點進來,想要注冊,麵對從題庫中隨機挑選的五十道選擇題,也隻能抓瞎。
要知道論壇的題庫可是極為豐富的,
因為從數學老鳥開始,每次升級都需要升級者給論壇考核題庫提供兩道選擇題,經過論壇幾位版主至少三人稽核透過之後,被納入題庫。
監於每個人的性格不同,有些教授還真就喜歡為難人,所以這麽多年積攢下來,題庫裡可以說什麽亂七八糟的屌題都有。
這麽說吧,前段時間他推薦自己一個新收的碩博連讀研究生加入論壇,都花費了兩天時間,刷了五輪題才順利通過考核拿到九十二分。
當然這也不能完全說他這個學生能力不行,畢竟幾次能成功不止要看實力,
還得看運氣。有些惡趣味的題目專門就為了挖坑而存在的選擇題,他一不小心都會被誤導,選到錯誤的答案。
所以隻要能成功注冊,哪怕頂著一個菜鳥的頭銜,起碼也已經數論入門了。
但菜鳥頭銜的問題在於,薛鬆根本不知道對方是誰!
是的,這個論壇裡,但凡頂著數學怪咖以上頭銜的家夥,薛鬆不說現實中全部認識,起碼也認識百分之七丶八十。無非是其中一些現實中關係並不算太好,
現實生活中沒什麽交集。
哪怕有些不認識的,隻要隨便在圈內打聽一圈,也能找到正主兒。
但剛申請的菜鳥就不一樣了。
小論壇也就一個很早之前留下的IP記錄功能,甚至注冊都不需要手機號碼的,隻要有個能正常收發郵件的電子郵箱,能收到伺服器自動傳送的驗證碼就能注冊了。
沒有實名要求,著實讓人無奈!
雖然腦子裡一大堆亂七八糟的念頭,但十分鐘後,薛鬆已經坐到了書房裡的電腦前,飛快的登陸上論壇。
入目便是那個菜鳥剛發的帖子。
畢竟標題辨識度極高,而且已經被一位他認識的論壇版主手工置頂了。
薛鬆當然知道這並不是為了針對他,事實上如果他在的話,也會直接把這篇帖子直接-->>