琴棋书画都难不倒AI，现在大型语言模型还能解困难数学问题