第四百七十六章 拉马努金奖(3 / 3)

椭圆曲线，E（K）是E上的有理点的集合，已经知道E（K）是有限生成交换群。记L（s，E）是E的Hasse—Weil L函数。

    猜想说的是，E（K）的秩恰好等于L（E，s）在s=1处零点的阶，并且后者的泰勒展开的第一个非零系数可以由曲线的代数性质精确表出。

    在严格意义上，BSD猜想并不属于数学的任何一个领域。

    因为它既涵盖数论、几何，又包含代数，应数，数学家们在其基础上构建的体系十分庞杂。

    沉吟几秒，程诺开口，“在我看来，我们依据目前存在的数学理论，很难证明完全版的BSD猜想。”

    “因为无论是莫代尔定理，还是韦依定理，因为无论这两个，仅仅只是定义了阿尔贝簇，但对于有线交换群，并没有任何的解释。”

    张伟轻轻皱眉，“所以，程诺，你的意思是？”

    程诺目光深沉，“我们需要创造！”

    “创造一个全新的定理！或者，不仅一个！”

    张伟咽了口唾沫，惊讶于程诺这个疯狂的想法。

    为了证明一个猜想，去创造出一个，甚至几个全新的数学定理！

    这样疯狂的想法，似乎只有他面前这位敢提出来吧！

    “那我们第一步需要干什么？”张伟探寻着问。

    “建立框架！”程诺神色恢复了平常。

    “这是一场持久战，我们需要一步步，慢慢的来，证明BSD猜想，我准备用两年的时间来完成。”

    程诺并没有着急把他那创造几个定理的思路付诸于实践。

    第一步，最紧要的，还是先把框架搭起来。

    后面，只需要慢慢填充就好。

    ……

    9月1号。

    程诺正在办公室里搭建那快要完工的课题框架。

    忽然，一声滴响，他收到一封邮件。

    邮件是由印度科技部发来的，内容是邀请程诺参加9月3号举行的拉马努金奖颁奖典礼。

    而程诺，被本届拉马努金奖正式提名。

    并且，程诺的竞争对手并不算强，最近成果最大的也仅仅和程诺前端时间搞定的极小模型纲领两大难题相当。

    也就是说，程诺有很大可能夺得今年的拉马努金奖。