Science
人工智能以前所未有的方式改变数学
人工智能正在重塑数学家如何发现证明和探索猜想，这被专家称为该领域历史上最大的转变。
Key Takeaways
- AI系统现在生成新的数学证明并识别人类遗漏的模式
- Lean和Coq等形式证明语言使AI能够以确定性生成和验证结果
- 对机器生成的证明是否构成知识提出了哲学问题
DE
DT Editorial AI··via newscientist.com