之江实验室发起未来数学计划，全球首个地层学AI大模型问世

会懂网AI资讯，10月15日，近日，二零二六年十月十四日，在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士、浙江大学数学高等研究院院长励建书与中国工程院院士、之江实验室主任王坚共同启动未来数学计划。这反映出人工智能技术正在从单点突破走向系统级能力的构建，企业与应用侧对此高度关注。

具体来看，该计划由浙江大学数学高等研究院与之江实验室联合发起，围绕AI与数学双向赋能开展四方面开放创新：研发具备整合各数学分支知识的数学基础模型，开展形式化验证研究让AI生成的数学内容可验证、可累积、可复用，研究AI背后的学习、泛化与长链条推理机理，以及推动数学基础能力赋能其他学科。在算力供给持续扩张与推理成本快速下行的背景下，这类进展对开发者和行业用户都意义重大。

从技术细节出发，同期，沈树忠院士领衔的南京大学团队与之江实验室合作，面向全球发布首个地层学AI大模型OneStrata及智能全球地层剖面对比系统，依托数百万条全球化石记录建立高精度、可动态更新的全球标准地质时间轴，为认识生命起源、资源分布与气候演变提供智能工具。业内普遍认为，相关能力的成熟将直接拉动上下游生态的协同创新与商业落地速度。

在产业层面，同期，沈树忠院士领衔的南京大学团队与之江实验室合作，面向全球发布首个地层学AI大模型OneStrata及智能全球地层剖面对比系统，依托数百万条全球化石记录建立高精度、可动态更新的全球标准地质时间轴，为认识生命起源、资源分布与气候演变提供智能工具。从产业节奏看，头部厂商正把模型能力转化为可直接调用的服务，竞争焦点已转向工程化与可用性。

对开发者与企业用户而言，同期，沈树忠院士领衔的南京大学团队与之江实验室合作，面向全球发布首个地层学AI大模型OneStrata及智能全球地层剖面对比系统，依托数百万条全球化石记录建立高精度、可动态更新的全球标准地质时间轴，为认识生命起源、资源分布与气候演变提供智能工具。对用户而言，此类更新意味着更低的使用门槛与更稳定的体验，智能助手的实用价值持续提升。

展望后续，同期，沈树忠院士领衔的南京大学团队与之江实验室合作，面向全球发布首个地层学AI大模型OneStrata及智能全球地层剖面对比系统，依托数百万条全球化石记录建立高精度、可动态更新的全球标准地质时间轴，为认识生命起源、资源分布与气候演变提供智能工具。相关进展将持续影响行业格局，值得长期跟踪。