谷歌AI模型已证明超过1200个数学定理
鞭牛士 4月26日消息，据外媒报道，近日，由谷歌团队创造的AI模型已证明超过1200个数学定理。尽管数学家已经知道这些特定定理的论证推理，但AI由此能够开展研究更难的问题。
据称，未来或许不再需要人脑来解决数学难题，人工智能便能写出关于数学定理严谨的论证。
扫码下载app 最新资讯实时掌握
微信
