正如数学家丘成桐所说，AI浪潮袭来，不要躲避，要冲浪！既要当AI浪潮的弄潮儿，又要当AI4Math的先驱者！
图1是陶哲轩，他研发并推广了一款最先进的数学研究专业模型Open Math Model，性能极为强大霸道恐怖，基于开源模型kimi k3等精心调校、加入强大数据，使其具备超绝的证明、形式化、数学论文写作能力！现已可在其网站下载！
图2是丘成桐，于近日宣布联合多校与1000名顶级专家创办数学与人工智能实验室，准备训练数学专有模型、提出新的数学猜想和扩展数学的形式化工作，这是真正的“数学曼哈顿工程”，其威力之大绝对超乎想象！
图3是上海人工智能实验室联合许地生老师第一次使用开源大模型解决世界瞩目级的三维Ghys猜想，这是正面击败了GPT 6的顶级难题！！！