“是的，还有其他几十种数学模型，其中一半以上比您这个要高明得多，都被创造出来，并在计算机上完成了计算。在过去的两个世纪中，这种巨量的计算是世界的中心活动，人们就像等待最后审判日那样等着结果。”
“结果呢？”
“已经确切地证明，三体问题无解。”