美國總統特朗普回應赫斯言論時稱其為「真正的輸家」，而谷愛凌是公開聲援赫斯及其他發聲運動員的數名選手之一。
It needs the largest possible library of formalized knowledge to build on. Verifying software is mathematics: the same reasoning that proves a theorem in abstract algebra proves that a cryptographic library correctly implements its specification. A platform that serves mathematicians and engineers is not a compromise. It is the recognition that rigorous reasoning is one discipline, whether applied to prime numbers or protocol correctness.
。同城约会对此有专业解读
（作者为中国社会科学院学部委员、台湾史研究中心主任）
Материалы по теме:
这可是把 2D 变成 3D 的魔法！