第199章 千禧年难题得证 (第3/3页)
单纯耗费时间罢了。
何况加上许逸阳，以及刘驰和李若川他们帮忙，效率自然很快。
下秒。
徐铭停下手上的动作。
很是满意的，对面前写字板上的公式审视一眼，然后转过身冲许逸阳他们三人说话。
“大家先吃饭吧。”
自从他将导出平展Motivic上同调复形的进展，告知给张鲁平教授和田纲院士，他们课题小组就成了院里乃至国内整个数学界的重点保护对象。
除得到了整个镜春园作为办公地点，连吃饭问题都有人专门解决。
尽管徐铭不觉得有必要，奈何实在架不住田纲坚持。
不过对于朗润园那边发生的事，他倒是不清楚，毕竟连田纲院士都不主动接触他。
似乎生怕会影响对霍奇猜想的研究。
许逸阳和刘驰以及李若川，对徐铭交代的事，执行起来几乎都快成本能反应。
闻言没有任何迟疑，纷纷放下笔和草稿纸。
“好的徐教授。”
几人和那天在办公室门口，追问情况时比较，面色要显得憔悴许多。
他们明明是跟着徐铭一起加班休息，结果整个人的状态越来越疲惫，属于身体睡眠不足没有休息好，可反观徐铭依旧每天精神充沛。
互相一通分析下来，认为是徐铭每天锻炼的缘故。
到后面不得不，调整自己的作息时间。
但丝毫不夸张的讲，这是他们学习研究数学生涯中最开心满足的两个月。
能每天亲眼见证，霍奇猜想被逐渐证明，恨不得一天二十四小时全扑上面。
毕竟把视角拉到国际数学界，也找不出几个人，可以有这样的机会，去解决千禧年数学大奖难题，关键还感觉到非常的轻松简单。
当然他们心里非常清楚，这全是因为，徐铭构建出的导出平展Motivic上同调复形工具。
不多时。
待众人在饭桌旁坐下，许逸阳想到什么，看向面前的徐铭主动搭话。
“徐教授。”
“在特征P＞0下，利用复形工具，我们已经得到范畴中的映射，等价于它们都是代数相关的存在。”
“估计再有一个多月，就能彻底证明霍奇猜想。”
讲出这几句时，丝毫没有掩饰，眼神中迸发出的炙热和精芒。
话音落下不等徐铭开口，旁边刘驰和李若川，便提出了不同的意见。
“我觉得用不到一个月。”
“通过光滑提升，得到代数性可以从正特性提升到特征零的复数域上，距离解决霍奇猜想只差临门一脚。”
“以徐教授的效率，估摸着最多半个月。”
徐铭将几人的话悉数听进耳中，仅沉声提醒句，没有在这个话题上深究。
“先吃饭吧。”
对于究竟什么时候，完成霍奇猜想的全部证明步骤？
他可以说丝毫不担忧。
反正从成功证明，导出平展Motivic上同调复形工具的那一刻，就已然确认解决霍奇猜想是板上钉钉的事，迟早能给出完整的证明过程步骤，没必要急于这一时半会儿带来失误或者细小的错误。
毕竟作为世界七大数学难题之一的存在，对证明过程的验证程度也极为严格。
往往会持续较长的时间。
……
11月6日，周三。
下午。
镜春园会议室。
徐铭此刻完全沉浸在霍奇猜想的定理中，手上动作没有丝毫停歇，不断书写出一个又一个数学符号公式。
经过将近一个月的推进，眼下终于来到证明霍奇猜想的最后时刻。
伴随时间一分一秒过去，眼前面板上不断浮现出数学学科经验值提示信息。
【经过努力学习，你的[数学]水平提升了，获得经验值11点。】
【经过……】
而许逸阳等人则尽皆站在原地，根本插不上手。
用力控制着因太过激动，导致微微颤抖的身体，见证这一数学伟大时刻的到来。
片刻。
徐铭亲手写出最终结论。
“通过比较定理……”
“在复数域上，一个类是 Motivic代数的，当且仅当它是一个(p，p)-型的霍奇类。”
“霍奇猜想成立。”
……