優(yōu)化后的結(jié)果非常優(yōu)雅。”

    從四色地圖開(kāi)始，不斷有數(shù)學(xué)家把計(jì)算機(jī)證明引入純數(shù)領(lǐng)域，但在一些保守派的數(shù)學(xué)家看來(lái)，這是不優(yōu)雅的。

    這和數(shù)學(xué)的本質(zhì)是相悖的。

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

    如果我們作為純數(shù)領(lǐng)域的數(shù)學(xué)家都要玩人工智能黑箱，那人類(lèi)早晚有一天要被人工智能取代。

    正是因?yàn)橛羞@樣的思潮，所以用計(jì)算機(jī)輔助的數(shù)學(xué)論文，會(huì)被一些人認(rèn)為不優(yōu)雅，不夠傳統(tǒng)。

    這跟手工拉面就是要比機(jī)器拉出來(lái)的更地道有點(diǎn)類(lèi)似。

    唐納森懷疑自己還在做夢(mèng)：“用代數(shù)幾何去做素?cái)?shù)問(wèn)題？

    我們系好像沒(méi)做這個(gè)方向的。”

    這么說(shuō)吧，這屬于很新的方向。

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

    那是1994年的事情了，從1994到2014，漫長(zhǎng)的二十年里，很多數(shù)學(xué)家都想試著把代數(shù)幾何和素?cái)?shù)問(wèn)題做個(gè)結(jié)合。

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

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

    研究素?cái)?shù)分布的詹姆斯·梅納德拿了2022年的菲爾茲。

    上述內(nèi)容都包括了代數(shù)幾何和素?cái)?shù)問(wèn)題的結(jié)合。

    簡(jiǎn)單來(lái)說(shuō)，在這個(gè)領(lǐng)域能做出點(diǎn)名堂來(lái)的，幾乎都拿了菲爾茲。