而纳维-斯托克斯这次反转，恰好把这种矛盾暴露出来。过去，数学家通常是先理解问题、建立方法，再逐步写出证明。如今，AI可能先把证明交出来，人类再回过头研究它到底是怎么做的。

好家伙，连波士顿动力的前高管，都被一台中国机器人硬控了。 最近，一条帖子在机器人圈子里火了。 发帖人Marc Theermann大有来头——他在波士顿动力曾干了近六年，官至首席战略官，期间参与推动Spot四足机器人的规模化商业落地，并经历了Stretch搬运机器人从发布走向商业销售的全过程，算得上是机器人商业化落地的顶级操盘手。 他点赞的这台有点「特别」的机器人，来自浙江深辰凯动科技有限公司。 2 ...