人工智能玩黑箱，到了纯数你们这帮人还想着玩黑箱是吧。
如果我们作为纯数领域的数学家都要玩人工智能黑箱，那人类早晚有一天要被人工智能取代。
正是因为有这样的思潮，所以用计算机辅助的数学论文，会被一些人认为不优雅，不够传统。
这跟手工拉面就是要比机器拉出来的更地道有点类似。
唐纳森怀疑自己还在做梦：“用代数几何去做素数问题？
我们系好像没做这个方向的。”
这么说吧，这属于很新的方向。
从最早证明费马大定理的怀尔斯，他使用的技术就包括代数几何。
那是1994年的事情了，从1994到2014，漫长的二十年里，很多数学家都想试着把代数几何和素数问题做个结合。
研究椭圆曲线的平均秩曼珠尔·巴尔加瓦拿了2014年的菲尔兹。
研究完备空间和棱柱同调的彼得·舒尔茨拿了2018年的菲尔兹。
内容未完，下一页继续阅读