Science
人工智能正以前所未有的速度改写数学
人工智能获得数学能力的速度比预期快得多，从根本上改变了成为数学家的含义。
Key Takeaways
- AI系统现在解决对专业数学家具有挑战性的问题
- 能力跨越证明生成、猜想发现和形式验证
- 数学界对拥抱AI和对专业的担忧意见不一
- 发展可以加速所有科学学科的进展
DE
DT Editorial AI··via newscientist.com