表姐没好气地说道：“听说又在折腾什么ABC猜想证明了？”
“望舒雪知道不？就是二爷爷的孙女...”徐茫问道。
“小雪？”
“小雪不是最近住在你们家吗？”表姐愣了一下，不由笑道：“这小妮子给你们夫妻俩惹了不少麻烦吧？”
“唉...”
“都是这个小妮子搞得。”徐茫说道：“表姐...你来华盛顿做什么？”
“最近有一个数学论坛，我被派过来参加这个论坛。”表姐喝了一口咖啡，认真地说道：“对了...NASA最近利用人工智能，来解决数学家所遇到的一些问题，比如计算复杂性轨道的交换问题。”
徐茫愣了一下，这特么的都能靠人工智能解决？
不行吧？
“不可能！”
“宇宙是一个充满了不确定性因素的系统，怎么可能用人工智能解决轨道交换。”徐茫随即否定了表姐的说法，严厉地说道：“有时候必须要让数学家精确计算，否则光靠人工智能还无法解决某些细节的问题。”
“虽然很多人都这么说，但项目已经完成了。”表姐说道：“人工智能的崛起只是时间问题。”
“...”
“哦...