第196章 Day3(5k)
多伊林已經無語了,你叫什么勁啊,這又不是你們的主場,阿美莉卡人都這么令人討厭嗎!
不過考慮到這是前所未有的場合和時間,他沒有發飆。
“我們現在要繼續推進了。”
林燃在黑板上寫了一個新的公式:
這個公式在60年后,叫elliott-halberstam猜想,eh猜想由elliott和halberstam在1968年提出,發表在《symposiamathematica》上,直到2025年該猜想都沒有被證明。
這么說吧,這個猜想被證明的話,意味著素數在模數≤1的算術級數中的分布誤差可以被有效控制,遠超標準定理的二分之一。
孿生素數的k=246,能夠迅速被推進到k=6,幾乎離孿生素數猜想需要的k=2,只有一步之遙了。
像nathaliedebouzy在2019年的成果,就通過改進漸進篩法,假設eh猜想成立的話,存在無窮多幾乎孿生素數,什么叫幾乎孿生素數,意思是p為素數,p-2為素數或半素數。
eh猜想是如此重要,后世的數學家們甚至都已經開始假設它成立了。
也就是說,林燃現在無法再依賴后人智慧,得完全靠自己把eh猜想先給干掉。
甚至可以這么說,eh猜想是模數無限接近于1的猜想,而如果要把eh猜想再往前推,也就是直接就是1,這需要全新的數學框架。
因此進入到這個環節之后,林燃的速度明顯慢了下來。
因為更要命的在于,林燃沒有辦法直接用六十年后現成的定理或者引理,所有六十年后要用的工具都得現場在哥廷根大學的大會堂里重新造一遍輪子。
“雙線性形式與分散化,不行,這個最多推進到七分之四。”
“typeii估計,靠短區間分布控制和平滑模數優化,也不行,它還是推不到這個程度。”
“l函數零點關系會是條路。
eh猜想涉及平均模數q的誤差項,而每個q對應一個dirichlet字符x(modq),其l函數的零點影響分布。