蚂蚁集团 CTO 何征宇:AI 大模型发展,数据短缺成最大挑战