90后华人副教授突破30年数学猜想!结论与生成式AI直接相关破解30年数学难题90后华人数学家