菲尔兹奖得主邓煜表示，如果人工智能能够解决所有数学问题，他将退出数学界，转而创作