黎曼猜想真的被證明了嗎？這些日子，關(guān)于一個重大數(shù)學(xué)猜想的疑惑成了縈繞在很多人心頭的猜想。

令人心跳加快的9月24日終于到來。宣稱已用“簡單”而“全新”的方法證明黎曼猜想的英國著名數(shù)學(xué)家邁克爾·阿蒂亞，在2018年度海德堡獲獎?wù)哒搲闲v了他的相關(guān)證明。

但據(jù)此下結(jié)論，黎曼猜想已被證明，恐怕為時尚早。

“證明太短，直覺告訴我可能不嚴(yán)謹(jǐn)?！睂τ诎⒌賮喌淖C明，中科院院士、中國數(shù)學(xué)學(xué)會理事長袁亞湘說。

“網(wǎng)上炒得很厲害，但是按照慣例，我們數(shù)學(xué)工作者一般以論文在學(xué)術(shù)期刊上正式發(fā)表為準(zhǔn)?！痹瑏喯嬖诮邮芸萍既請笥浾卟稍L時說。言外之意，阿蒂亞在論壇上口頭宣講的內(nèi)容仍有待同行評議和時間檢驗(yàn)。

一場天才的證明游戲

連續(xù)幾天在社交網(wǎng)絡(luò)刷屏的黎曼猜想，已被提出159年之久。

1859年，德國數(shù)學(xué)家波恩哈德·黎曼在一篇名為《論小于給定數(shù)值的素?cái)?shù)個數(shù)》的論文中提出了這一猜想。此后它便折騰了數(shù)學(xué)家超過一個半世紀(jì)。

曾著有《黎曼猜想漫談》的知名科普作家盧昌海在接受科技日報記者采訪時介紹，黎曼猜想是關(guān)于一個被稱為黎曼ζ函數(shù)的復(fù)變量函數(shù)的猜想。黎曼ζ函數(shù)跟許多其他函數(shù)一樣，在某些點(diǎn)上取值為零，那些點(diǎn)被稱為黎曼ζ函數(shù)的零點(diǎn)，其中特別重要的一部分零點(diǎn)被稱為非平凡零點(diǎn)。

“黎曼猜想所‘猜’的是：黎曼ζ函數(shù)的所有非平凡零點(diǎn)都分布在復(fù)平面上一條被稱為‘臨界線’的特殊直線上?！北R昌海說。

理解黎曼猜想本身就具有一定難度。正如中科院院士王元所言，黎曼猜想不像費(fèi)馬大定理和哥德巴赫猜想那樣，只要有中小學(xué)數(shù)學(xué)知識的人，就知道其題意。