想的证明工作吧。”
程诺面色一肃,搬过一把椅子坐在方教授办公桌对面。“嗯。教授,确实最近我在证明过程中遇到了一些问题,顺便请教您一下。”
“说来听听。”
“关于阿贝尔簇的有理点,如果形成一个有限生成交换群,我用了局部点集……”
……
一老一少,渐渐进入忘我的境界。
等程诺的心神从数学海洋游回岸边的时候,一抬头,发现窗外已经夕阳西下。
匆匆告别了方教授,程诺离开数院大楼。
…………
之后一个月的时光,程诺除了每天的课程之外,便是把剩余的时间全部倾注在弱BSD猜想的证明工作上。
但取得的成果……并不可喜!
准确的说,最近一周,研究进程可以用寸步为艰来形容。
证明进度一直卡在56%这个坎上迈不过去。
以至于拿到建模国一奖的消息,都没有冲淡程诺心头的忧虑。
又是过了三天,情况依旧如此。
渐渐的,方教授和程诺意识到,两人的研究方向,可能出现了错误。
…………
地点:数学院方教授办公室。
时间:2021年11月27号晚10点。
人物:方若愚,程诺。
办公桌上,摆着整整三大摞的草纸。这些,便是两人这段时间关于BSD猜想的全部心血。
明亮的灯光下,面色有些憔悴的程诺开口,“教授,你说到底是哪个步骤我们出现了问题?”
方教授推推老花镜,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难知道,到底是前面哪个环节出现问题,导致造成如今这个局面。”
“因此,想要让证明工作继续进行下去的话,我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦,但对现在的情况最为有效的解决方案。
程诺苦笑着点点头,表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况,但当事实真的发生在你面前时,还是有些难以接受。
其实,乐观上讲,他们能够及时的发现证明中存在的错误,总归是一件好事。
总比那些一错
(本章未完,请点击下一页继续阅读)