吴俊说：“自动证明机3.0已经研制成功了吗？”
王园说：“说起这个来，我倒是停工很久了，因为遇到了麻烦。”
吴俊说：“诸多不同领域数学公理化研究不是建立起来了吗？”
王园说：“如果说多项式计算，概率论，随机数理论，几何学，代数学，数值计算，群论这些还好。就是这里面出现了一些可以相连的跨学科理论，这个比较麻烦，典型的比如就是椭圆曲线与模形式这种东西，虽然有千丝万缕的联系，但是深入研究却让我越来越糊涂，甚至连根基都找不到。”
吴俊说：“那就把复杂的理论去掉，用我们现有的擅长的理论去制造就可以了。”
王园笑着说：“怎么突然关心起这个了？你遇到问题了？”