中文科讯网消息:据外媒报道,近日,由谷歌团队创造的AI模型已证明超过1200个数学定理。尽管数学家已经知道这些特定定理的论证推理,但AI由此能够开展研究更难的问题。
据称,未来或许不再需要人脑来解决数学难题,人工智能便能写出关于数学定理严谨的论证。
本文Tags: AI谷歌