。
虽然耗费了大量时间和资源，但进展却极其有限。
看到这里的林序已经是眉头紧皱，而当他点开“技术”板块的时候，他原本因为智能目镜出现而生出的那点期待，也是瞬间消失无踪。
没有进展！
----不，也不能说是完全没有进展。
针对选择公理失效的数学体系的研究确实有了长足发展，但因为缺少现实的实验和观测数据，那个所谓的k值，始终只能锁定在一个相对模糊的边界上。
他们还没有完成突破。
虽然相对于自己上一次进入2036年那个世界时，靳小川的进度已经可以称得上是快得惊人了，但数学上的事情，实际上只能以“有”和“无”来区分。
有就是有，没有就是没有。