陶哲轩发起开放数学模型计划，推动开源AI模型与低成本算力支持数学研究。