“……孿生素數猜想，一直是困擾數學界的難題。不過就在去年，針對這一問題的研究，出現了突破性進展。”任教授笑了笑，翻到了ppt的下一頁，繼續說道，“華裔數學家，張義堂先生證明了孿生素數的一個弱化形式，發現存在無窮多個差小于7000萬的素數對，從而在孿生素數猜想這個重要問題的道路上，實現了從無到有的突破。”

        說到這里，任教授推了推眼鏡，在黑板上現場板書了張先生的證明過程。

        【定義，如果n為素數；定義=0，如果n為合數。取函數mbdan=……，定義s1x=……，s2x=……】

        【求證s2?＞0……】

        【……】

        看著那黑板上不斷增加的公式，先前還能聽懂的學生們，瞬間懵逼了。

        比如坐在陸舟旁邊那位小學妹，一臉“我是誰？”“我在哪？”“我在聽寫啥？”的表情。就好像明明只是錯過了一秒鐘，卻感覺錯過的是整個世界……

        陸舟倒是能跟上任教授的思路。

        簡單的來講，那位張先生巧妙地選取了一個mbda函數，成功證明了對k＞=3.5*10^6，結論s2?1＞0成立。

        這樣一來，列出將前3.5*10^6個素數作為可接受的集合列出來，便可以進一步證明，存在無窮多個差小于7000萬的素數對。

        “根據張先生留下的證明方法，截至到現在，張先生的k＞=3.5*10^6，已經被縮小到k＞=50。也就是說，7000萬這個數字被縮小到了246。剩下的工作，就需要后來者去完成了。”

        內容未完，下一頁繼續閱讀