心中猛地一动。
忍不住脱口追问句。
「铭哥。」
「莫非你的霍奇猜想课题——有进展了？」
「算是吧。」徐铭点点头大方承认。
当这句话传进朱志轩和蒋旭耳中，神情肉眼可见的狂喜激动起来，两人作为燕大数院硕士研究生，怎么会不清楚这个消息意味著什么。
尽管此课题同他们并无关系，却和整个国内数学界的影响力息息相关。
甚至足以让每位国人骄傲自豪。
对面的程欢和孙敏婷，因对数学界关注较少，面对眼下的话题显得有些茫然。
倒是陈璐目光全程不舍得离开徐铭一秒，对徐铭所讲的话从来不会怀疑。
徐铭并没有享受整个元旦假期，考虑到锦飞那边自己主导的智能平台搭建项目，以及数学研究中心课题，第二天便迫不及待投入到了工作状态。
接下来几个月。
他每天的生活都相当充实，就是有点重复。
除远程指导宋振宇他们开发相应的算法，并整合进无人机智能平台。
剩下便是继续复形工具范畴性的证明。
只有在比较关键的地方，才会抽时间前往锦飞一趟。
至于箐华数学系，以及国内其他数学机构，邀请参加的一些学术会议讲座。
则暂时选择婉拒。
就这样。
伴随时间一分一秒过去，徐铭信息学科和数学学科经验值增长的同时，项目课题进度也在稳步推进。
转眼又到暑假。
这天徐铭坐在镜春园自己办公室内，房门处于紧锁状态外面则挂著勿打扰的牌子。
经过这几个月的推导，他顺利找到了复形工具范畴性的证明方法。
在大量演算验证下，如果步骤计算顺利的话，今天就能彻底证明导出平展Motivic上同调复形，集齐解决霍奇猜想的全部拼图。
放眼望去书桌和地面上，凌乱散落著大量草稿纸。
每张皆写著密密麻麻的数学公式。
办公室内的几块写字板，也同样如此。
倒并非徐铭故意不去收拾，而是整个人完全沉浸在对范畴性的证明中。
根本顾不上环境问题。
「通过以上可得，代数圈Z给出了一个映射M(Z)->:M()。」
「M(Z)的切片过滤表明，它可以通过Z_I(-p)[-2p]的叠代扩展来构建。」
「因此—」
「映射M(Z)->M(X)在过滤后的映射谱中定义」
「反之，任何一个这样的映射，通过比较定理，都会在deRham侧