应用介绍
如果说“结构与随机”是数学世界的内在法则,那么人工智能(AI)和形式化证明工具,则是正在重塑其外在形态的革命性力量。陶哲轩坦言,自己正深度参与这场变革,尽管他将目前与AI协作的体验形容为赶猫 herding cats——充满潜力,却也极其耗费心力。
如果说“结构与随机”是数学世界的内在法则,那么人工智能(AI)和形式化证明工具,则是正在重塑其外在形态的革命性力量。陶哲轩坦言,自己正深度参与这场变革,尽管他将目前与AI协作的体验形容为赶猫 herding cats——充满潜力,却也极其耗费心力。