李朔在美國陪著書穎過了星期六,星期天一早從紐約出發的班機,他只來美國幾天,訂的是往返機票,一天后就能到達北京。
星期六晚上,書穎回學校宿舍休息,因為他當天晚上也是在紐約住ote的。書穎本來想在感恩節假期把康威結的問題解決的,結果還是因為男人給耽誤了。
在古代,男人只會影響她的拔劍速度,在現代也一樣,影響她的學術進步。于是星期天時,她就接著三天前的工作,去證明那個與康威結相同跡的新扭結做證明了。
她已經畫出了這個康威結的姐妹結,這就已經成功了一大半了。她從早到晚做著細致的證明,部分住得不遠的校友們從小長假中回校,書穎也不能關注他們了。
她花了十幾個小時才做出這個證明,現在還要花時間將這個過程寫成論文。她小心保存好了原文的文稿,之后三天,白天上課,下午上完課照樣去訓練冰球。三個晚上則驗證證明,然后組織寫好論文,星期四時整理好總共六頁手寫稿。
星期五上午,就有康威老教授所授的“數論”課程,等他上完兩小時的課程,便有三個學生還圍上去請教一些問題,書穎跟在他們身后。注1
等到那三個學生問完了,書穎上前“教授,打擾您一下。”
老教授對年輕學生親切友好“sue,你有什么疑問呢”
書穎很漂亮,她是最后入學的國際學生,還是亞洲美女面孔本就是美麗的風景,小課討論時比較活躍,老教授對她也有不錯的印象。
書穎取出了她的論文手寫稿副本,說“這是我做的康威扭結不是切片的證明,我想請您指點一下。”
附近的學生和老教授本人都像看怪物一樣看著她。這可是40年來全球無數頂級科學家都無法解決的問題。
數學家馬克休斯arkhughes發明了一種神經網絡,它運用扭結不變量和其他信息來預測扭結的切片性等特征。對于大部分扭結,這個網絡都能做出清晰的預測。
對于康威結是否是平滑的切片,它卻只能靠猜測了,猜測的概率是50對50。康威結實在是一個頑固的對象,不管你想出怎樣的不變量,它都無法告訴你康威結到底是不是切片。
老教授本著鼓勵學生去嘗試的態度,沒有說她是在開玩笑,只微笑地說“sue,你可以跟我講一講你的思路。”
書穎便平定下心緒,說“教授,每個扭結都有一個與它相關的四維形狀,稱為“軌跡”,一個扭結的軌跡里,深刻編碼了關于這個扭結的信息。”
老教授點了點頭“嗯哼,所以呢”
書穎解釋道“不同的扭結可以擁有相同的四維軌跡,而這些軌跡姐妹總有相同的切片狀態要么兩個都是切片,要么兩個都不是。
我花了一個星期的時間,設計了一種與康威結擁有相同四維軌跡的姐妹結。我證明了姐妹結不是切片,那么康威扭結也不是切片。”
老教授眼睛一亮“這是一個好思路,你設計了怎么樣的扭結”
書穎翻開她裝訂好的論文手稿副本,打開“姐妹扭結”那一頁,說“我再用拉斯穆森式氏s不變量來判定這個姐妹扭結不是一個平滑切片,那么就可推斷,康威扭結不是切片。”
老教授可是這個時空提出這個問題的本人,作為一個頂級的數學家,看過那扭結設計一眼就基本能識貨了。
老教授沒有離開教室去吃午飯,而是選擇坐下來看下面的證明步驟,許多好奇的學生們也等在這里。如果這個亞洲女孩給出的是垃圾,教授不可能還要仔細看她的論文。
過了十幾分鐘,老教授滿面紅光,說“這真是一個天才的思路,是漂亮完美的證明”
留下的好奇學生都不禁瞪大了眼睛,老教授顯得很激動“sue,你解開了我和很多人心中40年的結你應該把論文送去annas”