么误解？我们的工作是将那些数学定理改造成电脑能看得懂的形式，来训练人工智能进行辅助性定理证明。
实际上广义模态公理体系也可以做类似的改变或者说翻译。区别仅在于我们用哪种方法让电脑能够理解那些复杂的数学定理。”
乔喻连忙劝慰道：“我知道，但那意味着又要重头开始。更意味着之前你多少年的时间都浪费了！这怎么能行？你听我的，舒尔茨教授，这个事业千万不能放弃！
更别提据我所知，数学界已经有很多人使用你的凝聚态数学验证一些复杂定理，这代表着数学界对你的认可，怎么能说不做就不做了？这是对团队其他人的不负责任！”
开什么玩笑？
这套系统对于乔喻来说可是有大用的。
虽然没有太多时间去帮着彼得·舒尔茨一起研究，但之前研究的资料乔喻换脑子的时候已经都浏览过一遍了。
一个菲尔兹奖大佬带领的团队，花费了七、八年时间做的事情可不是开玩笑的。
如果从头再来一次，哪有那么多时间浪费？
广义模态公理体系也好凝聚态数学也好，乔喻都无所谓。但能够读懂数学定理的人工智能技术，乔喻还是很有所谓的。
彼得·舒尔茨愕然的看着乔喻。他真没想到乔喻会有这么大的反应。一时间不由有些感动。
其实说到底，最让彼得·舒尔茨感觉麻烦的还是团队其他人。
虽然说他当初也没保证过这个课题肯定能成功，事实上如此复杂的课题没人能保证一定成功。
但其他人毕竟是因为他才组成了团队，一直坚持到现在。在没有发现明显到让他们无法继续的困难时就放弃，的确很伤人品。
任何行业都一样人心散了，队伍就不好带了。尤其是团队里很多年轻人，都盼着这个项目能成功，才可能在数学界更进一步。
如果项目遇到不可抗力因素失败了还好说，主动放弃的确挺伤人的。
好版主