一桶布丁提示您：看后求收藏（天书网www.tsms517.com），接着再看更方便。
脑子里正盘旋着关于未来七月这样的人工智能将根数学界带来怎样的改变时，眼睛突然看到彼得·舒尔茨就在他的前方不远处跟另一位波恩大学的数学教授窃窃私语。
也顾不上听米尔诺继续感慨了，直接开口叫了句：「舒尔茨教授，有时间吗？」
彼得·舒尔茨扭头看了眼陶轩之，抬起手比出了一个0K的手势，随后又跟身边的同事聊了几句，然后站在原地，等着陶轩之走了过来。
「彼得，你怎么看？」陶轩之走过来后直接问了句。
「其实我之前收到过一些消息，乔教授在做关于人工智能的研究，但我没想到通用人工智能，嗯，或者说那个七月的能力会如此强大。当然元数学的构思让我震惊。」
彼得·舒尔茨神色严肃的说道。
「你收到过消息？」
「嗯，你知道的，我跟微软研究院之前在Lean这个项目上有过一些合作。
虽然之后这个研究因为一些原因中断了，但在处理特别复杂的数学结构时，我还是会用Lean来进行验证，确保证明过程的严谨性。
