1900年在法國巴黎舉辦的第二屆世界數學家大會上,著名數學家希爾伯特在做開場報告時,曾提出了著名的一百個問題,其中第十個就是關於丟番圖方程的
原文是:是否存在一個通用的演算法,能夠決定任意給定的丟番圖方程是否存在整數解。
1970年,針對這第十問,前蘇國數學家尤里·馬季亞舍維證明了並不存在這樣一個通用演算法,給了希爾伯特第十個問題一個很確定的否定答案。
但這並不代表著丟番圖問題就沒有研究價值了。
事實上這個否定的結論恰好證明了,丟番圖方程在某些情況下具有極大的複雜性,甚至可以說,它超越了傳統演算法可以解決的範疇,在計算理論中具備著根本性的重要作用。
所以丟番圖方程依然被視為數論中的世界性難題之一,尤其是在更高維數和更復雜的情況下。
現在竟然有人徒手直接把這個方程解求出來了?
還是個剛申請加入論壇的菜鳥?
薛松只覺得腦子都是嗡嗡的。
……
華夏數學圈子就那麼大,研究數論的就更少了。
所以代數數論小樹屋其實就是一個特別小眾的論壇,宣傳全靠口口相傳,也沒有任何盈利需求,就是一個國內研究代數與數論教授跟研究生們日常討論的聚集地。
一般人本就不太可能闖進來,哪怕不小心點進來,想要註冊,面對從題庫中隨機挑選的五十道選擇題,也只能抓瞎。
要知道論壇的題庫可是極為豐富的。
因為從數學老鳥開始,每次升級都需要升級者給論壇考核題庫提供兩道選擇題,經過論壇幾位版主至少三人稽核透過之後,被納入題庫。
鑑於每個人的性格不同,有些教授還真就喜歡為難人,所以這麼多年積攢下來,題庫裡可以說什麼亂七八糟的屌題都有。
這麼說吧,前段時間他推薦自己一個新收的碩博連讀研究生加入論壇,都花費了兩天時間,刷了五輪題才順利透過考核拿到九十二分。
當然這也不能完全說他這個學生能力不行,畢竟幾次能成功不止要看實力,還得看運氣。有些惡趣味的題目專門就為了挖坑而存在的選擇題,他一不小心都會被誤導,選到錯誤的答案。
所以只要能成功註冊,哪怕頂著一個菜鳥的頭銜,起碼也已經數論入門了。
但菜鳥頭銜的問題在於,薛松根本不知道對方是誰!
是的,這個論壇裡,但凡頂著數學怪咖以上頭銜的傢伙,薛松不說現實中全部認識,起碼也認識百分之七、八十。無非是其中一些現實中關係並不算太好,現實生活中沒什麼交集。
哪怕有些不認識的,只要隨便在圈內打聽一圈,也能找到正主兒。
但剛申請的菜鳥就不一樣了。
小論壇也就一個很早之前留下的IP記錄功能,甚至註冊都不需要手機號碼的,只要有個能正常收發郵件的電子郵箱,能收到伺服器自動傳送的驗證碼就能註冊了。
沒有實名要求,著實讓人無奈!
……
雖然腦子裡一大堆亂七八糟的念頭,但十分鐘後,薛松已經坐到了書房裡的電腦前,飛快的登陸上論壇。
入目便是那個菜鳥剛發的帖子。
畢竟標題辨識度極高,而且已經被一位他認識的論壇版主手工置頂了。
薛松當然知道這並不是為了針對他,事實上如果他在的話,也會直接把這篇帖子直接置頂。不然他跟某些在他眼中站在茅坑不拉屎的所謂前輩有什麼區別?
點開了帖子,便看到了對方給出的結果。
把結果複製,直接帶入方程並使用計算機演算。鑑於方程本身構造很簡單,程式設計工作也很快,不到十分鐘結果便驗證了,的確是對的。
對於普通人來說,或許覺得這是多此一舉,畢竟微信群裡不止一個學生都說已經驗證過了。
但對於一位合格的數學家來說,自行演算這一步自然是不能省的。