这不是做论文，而是把事情说出来。

赵奕先是从魔方计算器谈起，重点说起有效与无关进位筛选，顺便感谢了刘贺敏教授的指导，再说起燕华大学的演讲。

然后。

一个戏剧性的场景出现了。

“我最开始没意识到会和角谷猜想有关，是那场演讲报告。当时李益来教授质疑我的结论，因为有一个过程，数学是无法证明出来的，如果结论是正确的，角谷猜想肯定是正确的。”

“我觉得很奇怪，因为整个过程，我都完完全全推导出来了。”

“在仔细思考了以后，我就发现自己证明出了角谷猜想，所以，事实上，角谷猜想的证明过程，就是在我的‘有效与无关进位筛选’的研究中……”

“在这里，我要感谢李益来教授，如果不是他，我根本没有意识到这一点。”

这件事网上是有说的。

当时有很多人在场，消息肯定会被传出去，但多数人都以为是谣传，哪有自己不知道证明出世界猜想的？

赵奕一解释才让人明白过来。

原来是这样！

角谷猜想的证明就包含在‘一个算法研究’中，算法研究作报告的时候，被提醒才知道证明出来了。

这就说得通了。

郑娜娜很感兴趣的听着，她觉得很有戏剧性，赶紧追问一些细节，比如，‘当时的心情怎么样’、‘李益来教授是谁’、‘你觉得角谷猜想的证明和发明新的算法，哪一个成就更大’。

第一个问题还好说。