登录

计算机

分类

科学

加速科学发现”分论坛现场，海内外顶尖数学家、理论计算机科学家、物理学家、生命与材料领域学者展开了一场关于数学本质、物理现实与科学范式跃迁的深度对话。

文章

“一旦定理被完全形式化，它的证明就不再需要被怀疑，这在数学内部是革命性的，甚至能外溢至计算机科学的代码零差错验证中。

文章