近日，由 Google 团队创造的 AI 已证明超过 1200 个数学定理。尽管数学家已经知道这些特定定理的论证推理，但最终人工智能由此能够开展研究更难的问题。未来或许不再需要人脑来解决数学难题，人工智能便能写出关于数学定理严谨的论证。（newscientist）