AI 在数学界能帮什么忙？深大数院创院院长张文俊揭秘：一是重证竞赛难题，二是重构重大定理，三是破解数学家几十年没解开的猜想。AI靠“算得快”逐一检验海量例子，这是人类很难做到的。#媒体原创##数学##AI##人工智能##数学家# http://t.cn/AXlbrNFZ
深圳卫视科创最前沿
AI 在数学界能帮什么忙？深大数院创院院长张文俊揭秘：一是重证竞赛难题，二是重构重大定理，三是破解数学家几十年没解开的猜想。AI靠“算得快”逐一检验海量例子，这是人类很难做到的。#媒体原创##数学##AI##人工智能##数学家# http://t.cn/AXlbrNFZ