AI在线 AI在线

AI for Math

菲尔兹奖得主深度参与,WAIC全方位探讨「AI for Math」

2025 年 7 月 26 日,上海世博展览馆迎来一场聚焦 "人工智能的数学边界与基础重构" 的高端论坛。 作为世界人工智能大会(WAIC)的重要组成部分,这场由上海市普陀区人民政府与菲数中国主办、上海市人工智能行业协会和上海东浩兰生威客引力信息科技有限公司联合承办的盛会,正成为全球关注的焦点。 当 AI 技术与数学研究进入深度交织的新阶段,2025 WAIC 的召开恰如一场及时雨,为二者的协同发展搭建了关键对话平台。
7/27/2025 10:48:00 PM
ScienceAI

为大模型恶补数学,上交开源MathPile语料库,95亿tokens,还可商用

在当前智能对话模型的发展中,强大的底层模型起着至关重要的作用。这些先进模型的预训练往往依赖于高质量且多样化的语料库,而如何构建这样的语料库,已成为行业中的一大挑战。在备受瞩目的 AI for Math 领域,由于高质量的数学语料相对稀缺,这限制了生成式人工智能在数学应用方面的潜力。为了应对这一挑战,上海交通大学生成式人工智能实验室推出了「MathPile」。这是一套专门针对数学领域的高质量、多样化预训练语料库,其中包含约 95 亿 tokens,旨在提升大型模型在数学推理方面的能力。此外,实验室还推出了 MathP
1/12/2024 2:53:00 PM
dd
  • 1