人类用了250年的方程，居然被计算机证伪了? 2022年12月9日 环球科学 图片来源：DVDP 自然界中的流体方程十分复杂，它们都起源于欧拉方程。为了找到这个方程在特定情况下失效的情况，数学家不得不用上了计算机。有人却觉得他们的证明不够“优雅”。 撰文 |… 阅读全文