我国菲尔兹奖得主邓煜宣布，如果人工智能能够解决所有数学问题，我将从数学界退休，并开始创作言情小说[二哈][二哈] ​