優化后的結果非常優雅。”

    從四色地圖開始，不斷有數學家把計算機證明引入純數領域，但在一些保守派的數學家看來，這是不優雅的。

    這和數學的本質是相悖的。

    人工智能玩黑箱，到了純數你們這幫人還想著玩黑箱是吧。

    如果我們作為純數領域的數學家都要玩人工智能黑箱，那人類早晚有一天要被人工智能取代。

    正是因為有這樣的思潮，所以用計算機輔助的數學論文，會被一些人認為不優雅，不夠傳統。

    這跟手工拉面就是要比機器拉出來的更地道有點類似。

    唐納森懷疑自己還在做夢：“用代數幾何去做素數問題？

    我們系好像沒做這個方向的。”

    這么說吧，這屬于很新的方向。

    從最早證明費馬大定理的懷爾斯，他使用的技術就包括代數幾何。

    那是1994年的事情了，從1994到2014，漫長的二十年里，很多數學家都想試著把代數幾何和素數問題做個結合。

    研究橢圓曲線的平均秩曼珠爾·巴爾加瓦拿了2014年的菲爾茲。

    研究完備空間和棱柱同調的彼得·舒爾茨拿了2018年的菲爾茲。

    研究素數分布的詹姆斯·梅納德拿了2022年的菲爾茲。

    上述內容都包括了代數幾何和素數問題的結合。

    簡單來說，在這個領域能做出點名堂來的，幾乎都拿了菲爾茲。