了，我在白板上写下推理公式，满满两板，数学部分我对着谢利夫教授介绍，因为分工明确，我就不照顾其他几人的数学功力了，大概讲了半小时左右，中间谢利夫教授频频发问，最后 点点头说，数学上逻辑是通的，至少他挑不出毛病，我又转头跟汉密尔顿教授介绍，因为一直又跟他沟通我的进展，他那边顺畅许多，我跟他讲，他还时不时跟其他人介绍分享，然后我跟戴维教授的团队提出我的目标和实验设想。

超级计算机平时维护的费用不菲，一旦开机那钱烧的能吓死人，我自然不能随便拿不成熟的方案跑人家这里来瞎搞。

到最后，他们认同我的结论，我的困难只有靠超算来验证，最困难的不是验证行或不行，而是两个分子