熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
我怎麼會成為一名數學家的?
(長話短說)
小時候,我爸爸對我說:“我們家不擅長數學。”而我更喜歡足球和約會,而不是任何需要動腦子的事情,於是我接受了這個事實。
作為本科生,我學習生物學和計算機科學,想進入神經科學(我最後嫁給了我一位受人尊敬的教授的女兒。但那是另一個故事)。
我意識到我真的很喜歡數學課程,而討厭任何應用課程——無論是編程還是生物實驗。事實上,每個學期開始時,我都會去找當時的本科院長(諾亞·尼薩教授,現為StarkWare的顧問)談判,要求用更多的數學課程替代編程課程(這也是我至今不懂編程的原因;儘管《C++入門》是我作為助理教授教授的第一門課程。但那也是另一個故事。)
然後,作為研究生,我想進入機器學習,但那位備受追捧的教授(塔利·提什比,願她安息)已經有了無數學生。
我在一門由一位博士後教授的計算複雜性課程上,當他被阿維·維格德森替換進行一節講座時,我當時對他一無所知(他的照片出現在海報上,因為他剛獲得了內文林獎,但作為一個愚蠢的年輕研究生,我不知道那意味著什麼)。
阿維談到一些人現在試圖正式證明解決P與NP猜想是不可能的。我對此感到著迷。於是我告訴他:我想把這個作為我的碩士項目。
於是開始了一段追求的時期。阿維不確定我是否適合他(我的數學成績還不錯,但我從來不是那種直A學生)。於是,他給我扔了一本關於證明複雜性的書,說:讀完並給我總結一下。
我把那本書從頭到尾讀了三遍,但除了介紹章節外,我一句話也沒理解(今天我知道這更可能是作者的錯,而不是我自己的愚蠢。但那是另一個故事)。
幾周後,仍然對這個主題一無所知,阿維讓我解釋一篇關於“多項式演算證明的度和大小”的最新論文。我們坐在他家裡,我解釋。
在某個時刻,他問:“為什麼這不能應用於分辨率證明系統?”(分辨率是最重要和基本的命題演算證明系統)。我眯起眼睛,想了一會兒,說:“哦,但可以,這就是方法”,並將相同的證明方法應用於分辨率。
阿維非常興奮。
我說:“讓我們給之前論文的作者發封郵件”,想着如果我理解這些東西,那肯定不是什么深奧的內容。
阿維堅持我們把它寫成論文。每隔幾天我試圖說服他放棄,只發封郵件,但他堅持,我聽從了。
我做得真是太好了。它最終成為我在STARK/SNARK論文之前被引用最多和最重要的論文。
在那篇論文之後,又有幾篇論文問世。每一篇,我都確信這只是個值得發郵件的觀察,而不是深奧的數學。我看到所有這些其他論文,難以理解,而相比之下,我自己的東西卻是如此清晰簡單。
我花了很多年才意識到,這就是數學的進步方式。你花很多時間內化一些理論概念,然後有一天你“看到了”。然後在你看來,一切都清晰簡單。但這對別人來說卻很複雜。
今天,當我不得不回顧我早期的一些論文時,我發現自己眯起眼睛,撓著頭,說:“天哪,這真是嚴肅的東西,他們是怎麼想到這些的?”:-)
在那些初步的數學突破之後,阿維建議我不僅僅做碩士,而是實際上做博士,這就是我成為一名理論計算機科學家的原因(這是一種數學家)。
完。
20.69K
熱門
排行
收藏