便多了。”
骆余馨建议道：“不如直接跟微软合作？你知道微软的iean不？这证明器他们做了十多年了。”这显然是有的放矢。
毕竟乔源是微软求而不得的男人，还有对面大人物的联系方式。肯定有得聊。
乔源摇了摇头，说道：“还是算了吧。我跟微软不熟，真要合作很麻烦。
而且有这个想法后我专门去了解过lean。其实我的思路跟微软完全不一样。
他们的lean严格意义上来说是做减法。把数学模糊的部分全部去掉，只留下逻辑骨架。我要设计的ai则是需要它能理解论文作者的直觉跟思想脉络。当然证明过程也是需要考虑的……算了，我直接跟你说数学命题吧。
一个由数学文献构成的拓扑空间k，对于任意给定的研究前沿子流形，总存在一个唯一的最有噪声分布n，使得沿着由n生成的随机路径，首次击中一个更高维度的创新子流形 "的期望时间最小化。也就是……咦，这里竞然没有黑板。”
乔源说着说着，就想直接把他脑子里浮现出的公式给写下来。
可惜了这里不是江大的办公室。
骆余馨随手从兜里掏出了一支笔递给了乔源。
乔源接过笔，直接拿起桌上的一个本子，写下了一串公式。
“我觉得可以让n的强度α由知识空间k在处的曲率张量r和研究者的认知函数f共同决定。当然这个函数的关系我还没想好。不过可以等ai着手设计之后再考虑这些。”
说完，乔源看向骆余馨问道：“是不是有点异想天开了？”
骆余馨没直接回答这个问题，而是反问道：“你怎么想到的？”
乔源答道：“有为雅典娜的凝视项目。我觉得既然分布优化系统最终会收敛到最优解分布。那么设计一个系统在迭代海量文献过程中，内部价值判断标准应该也能收敛到一个稳定状态。无非就是要找到一个绝佳的平衡点。既然能搞定雅典娜的凝视，没道理做不出这样一个ai。当然效果如何我现在也不敢保证。不过我觉得可以尝试一下。哪怕效果不及预期，应该也能有所帮助。”
“女……”
骆余馨撮唇吹了声口哨，气流拂面而过，好在很有温度，不像外面的西北风那般割人，还挺舒服。乔源一脸莫名其妙的看着这女人，毕竟当一个女人比男人更会耍流氓的时候，多少会让当事人感觉有些不适。
“干了，如果真有用，那我以后可就