编程语言关键词检索结果

科学美国人
2026年3月26日 15:00

当人工智能开始检查数学家的工作时会发生什么

What happens when AI starts checking mathematicians’ work

一家初创公司的一项突破令科学界感到惊讶：将现代证明转化为编程语言，以便使用人工智能进行验证。但并不是每个人都在庆祝