人工智能是否刚刚解决了数学界最大的难题之一? 笔记