来源：中国新闻网 来自中国人民大学的沈栋教授任该主旨演讲的回应学者。沈栋认为，"白安雅的演讲提醒我们，需要有 业务精湛的历史学家和对文本的精读，才能够做好对中国古代数学思想的理解"。 沈栋表示，使用人工智能来研究中国古代数学思想，不可避免地会遇到训练数据极其有限、语言特殊性 阻碍语义解析、理解创造性推理的局限性等难题，但是通过把握中国古代数学思想的特色，仍然有望借 助人工智能技术，来为理解中国数学史特别是中国古代数学史作出贡献。 白安雅通过对"实如法而一"的多角度分析，展示中国古代数学语言的语义多样性，表现在理解中国古代 数学语言时所遭遇到的术语纠缠难题；还通过对中国近代数学家李善兰著作《垛积比类》的研究，强调 中国古代数学的文体密码特色。 "人工智能确实有很大的计算功能，但是用它来了解中国的数学史，则既有前景，又有缺点。"白安雅 说，"我是一个汉学家，也是一个中文老师，关注到不少学生现在都非常愿意用'机翻'。但是，若想真 正感受语言的自然魅力，必须经过多年的训练和文学阅读积累，这对掌握语言的本质特征而言，仍然是 不可或缺的。这同时说明语言学的工作不会很快被人工智能所取代。" "人工智能有概率和逻辑的机制，可 ...

不少考生和家长，现身评论区许愿，"高考数学130+""遇到的题全会"。 ai 在西元前 接高考数学130+ 2小时前·湖北 回复 展开 177 条回复 ▽ WUYE 韦神,请保佑我儿中考遇到的题全会。 (磕头) 4小时前·四川 回复 7 491 展开 48 条回复 ▽ 糖糖 韦神好,保佑我女儿明天高考数学考出好成绩。 -48- -48- 7 450 - 36分钟前·福建 回复 展开 38 条回复 ▽ 林豆豆 韦神 保佑我马上就要高考中考的两批孩子们,旗 开得胜,金榜题名!!! 48,4 (7 236 1小时前·山东 回复 C 展开 18条回复▽ 2021年5月，有自媒体到北大寻找北大学子给准备高考的考生打气，期间偶遇到看似学 生、实为北大教师的韦东奕。 6月6日，网友在短视频平台发现一用户名为"韦东奕"的账号，疑似是北大"韦神"本人。随 后经其堂哥证实，该账号确系韦东奕本人账号。 该账号只发布了一条视频，视频中"韦神" 韦东奕本人出镜介绍：大家好，我是 韦东奕，这 是我的账号。 据红星新闻报道，此账号确为韦东奕所有，由其家人协助注册。未来，该账号计划发布与数 学相关的内容，以促进韦东奕与外界的交流。 彼时，他 ...

韦东奕短视频账号相关情况 - 短视频平台出现名为"韦东奕"的认证账号 IP地址显示北京 账号介绍为"韦东奕本人账号" [1] - 该账号粉丝量超123万且持续上涨 [1] - 经堂哥确认账号确为韦东奕本人所有 由家人协助申请 [7] 韦东奕个人背景 - 1991年出生于山东济南 浙江东阳人 高中就读山东师大附中 [8] - 第49届、50届国际数学奥林匹克竞赛连续两届满分夺金 [8] - 2010年保送北京大学 参与"本博连读特别计划" 2019年毕业后留校任教 [9] - 2017年12月起在北京国际数学研究中心做博士后 2019年12月任北大助理教授 [10] 账号内容规划与公众关注 - 账号后续将分享数学相关内容 旨在增加韦东奕与外界的接触 [8] - 2021年5月因手提矿泉水馒头采访形象走红 被网友称为"韦神" [11] - 北大曾回应网络走红事件 呼吁为青年学者营造安静治学环境 [11]

韦东奕短视频账号事件 - 韦东奕本人在短视频平台开设账号并发布4秒自我介绍视频，IP属地北京，账号简介自称"韦东奕本人账号"[1] - 该账号由家人协助申请，后续将分享数学相关内容以增加韦东奕与外界的接触[1] - 账号开通2天内粉丝数量突破200万，视频获76万点赞和14.8万条评论[1][5] 韦东奕个人背景 - 1991年出生于山东济南，父亲为山东建筑大学数学系教授[3] - 初中二年级加入山东师范大学附属中学奥数训练队，高中期间两次以满分获得国际数学奥林匹克竞赛金牌[3] - 2010年保送北京大学，2018年获博士学位，2019年起留校担任助理教授，现为北大数学科学学院微分方程教研室研究员[3] 社会反响 - 视频评论区出现大量高考许愿留言，包括"接高考数学130+"、"希望孩子高考超常发挥"等内容[3][4] - 此前有不法分子曾假冒韦东奕名义圈钱并积累百万粉丝，家人表示将对此类账号进行处理[1] - 2021年韦东奕因手提矿泉水和馒头的质朴形象与数学天才身份形成强烈反差而走红网络[1]

韦东奕短视频账号 - 短视频平台出现名为"韦东奕"的账号 账号介绍为"韦东奕本人账号" 截至发稿已有160多万粉丝 [1] - 经韦东奕堂哥确认 该账号确实是韦东奕本人的账号 系家人协助申请 [2] - 后续该账号将分享数学相关内容 让韦东奕与外界有更多接触 [3] 韦东奕个人背景 - 2021年5月因手提矿泉水瓶和馒头的采访形象走红 被网友称为"韦神" [6] - 1991年出生于山东济南 高中期间连续两届国际数学奥林匹克竞赛满分金牌 [6] - 2010年保送北京大学 参与"本博连读特别计划" 2019年毕业后留校任教 [6] - 2017年12月起在北京国际数学研究中心进行博士后研究 2019年12月起任北京大学助理教授 [6] 社会反响 - 北京大学曾回应网络走红事件 表示数学研究需要安静环境 希望营造有利于学术研究的氛围 [6] - 账号评论区出现大量考生家长许愿留言 如"高考数学130+"等 [5]

韦东奕短视频账号开通 - 账号用户名为韦东奕，使用真实姓名和图像，并在介绍中明确为本人账号 [1] - 账号首条视频发布于6月4日深夜，内容为韦东奕站在黑板前进行简短自我介绍 [1] - 目前账号粉丝量已突破104万 [4] 账号运营背景与内容规划 - 账号由家人协助申请，后续将分享数学相关内容，旨在增加韦东奕与外界的接触 [4] - 韦东奕为北京大学助理教授、数学科学学院研究员，博士毕业于北京大学 [9] - 2021年5月因手提矿泉水与馒头的采访形象走红，北京大学曾呼吁为其营造安静治学环境 [9] 公众反响与期待 - 网友对账号内容表示高度期待，认为其数学讲解能力可使复杂问题通俗化 [6] - 部分网友呼吁理性关注，避免过度打扰韦东奕的正常生活与学术研究 [6] - 有评论称可通过该账号"听到韦老师上课"，反映对知识分享功能的认可 [7] 关联事件背景 - 韦东奕网络别名为"韦神"、"北大数学系扫地僧"，凸显其在数学领域的公众影响力 [9] - 2021年走红事件中，北京大学通过官方渠道回应，强调数学研究需安静环境 [9]

DeepTheorem团队 投稿 量子位 | 公众号 QbitAI 12.1万道IMO级难度数学"特训题"，让AI学会像人类一样 推导数学证明 ！ "特训"过后，模型定理证明性能大涨 ，7B模型性能比肩或超越现有的开源模型和Claude3.7等商业模型 。 "特训题"为 Deep Theore m ，是首个基于自然语言的数学定理证明框架与数据集，由腾讯AI Lab与上海交大团队联合推出。 团队表示，定理证明是数学前沿的重要组成部分，但当前大语言模型 （LLM） 在数学推理，特别是通过强化学习 （RL） 进行训练时，往往 需要可以自动验证的答案，导致大模型无法像数学家那样通过自然语言进行定理证明。 图（b）展示经过强化学习训练的DeepTheorem-7B模型性能，比肩或超越现有的开源模型和商业模型 （Gemini2.0-flash， Qwen2.5-72B- Instruct， Claude3.7 等 ） ，仅次于o1、o3以及Gemini2.5-pro强推理模型。 DeepTheorem-121K 1、规模与难度：专为"极限挑战"而生 DeepTheorem训练集的显著特点是其大规模与高难度。其包含121K ...

核心观点 - 清华团队推出AI Mathematician（AIM）框架，首次将LRMs的推理能力延伸至前沿数学研究，能够生成猜想、验证证明并修正结论，在数学理论研究中迈出关键一步 [1][8] - AIM通过"探索+记忆"和"检验与修正"两大核心策略，有效拆解复杂数学问题，提升证明完成度，在四个理论问题中展现出自主构造关键引理和提供新结论的能力 [11][12][14] - 实验表明AIM能合理运用数学技术覆盖核心逻辑链，在量子算法、吸收边界条件等问题中给出完成度高的证明，显著加速研究进展 [15][16][18] - 当前AIM仍存在重复探索、特定设定理解不足等问题，未来将通过记忆反思机制和多智能体协作进一步优化 [20] 技术框架 - AIM包含三大模块：探索模块通过开放推理生成猜想和引理，验证模块基于悲观验证机制评估证明严谨性，修正模块根据反馈优化证明结构 [10] - "探索+记忆"机制允许智能体围绕命题自由探索方向，通过多轮递进自动形成研究思路 [11] - "检验与修正"机制采用多重LRM并行评审，取最严苛意见迭代修正证明细节 [12][13] 实验成果 - 成功求解四个数学难题：量子算法问题中给出BSM模型量子算法的详细证明，吸收边界条件问题中完成高完成度证明 [15][16] - 在高对比度极限问题中虽有不严谨之处，但提供了核心结论的主要证明过程和新发现 [17] - 均匀化问题中给出正确结论和思路，对数学家完成研究具有指导意义 [18] 应用前景 - AIM可系统尝试多种证明思路，帮助数学家分析可行性并推进理论证明 [20] - 具备调用基本定理和遵循人工指导的能力，能提供关键中间过程和核心结论 [19] - 未来有望通过算法迭代成为数学研究的核心驱动力 [20]

明敏 鹭羽 发自 凹非寺 量子位 | 公众号 QbitAI 斯坦福华人数学博士AI创业， 0产品0用户 ，目标估值3亿美元。 0产品实现3-5亿估值 方向瞄准 数学AI ，要为量化和对冲基金公司提供可解决实际数学问题的模型能力。 （嗯，打造了DeepSeek的幻方量化，也是用AI来做投资量化） △ 来自个人主页 来自中国广州的 洪乐潼 （Carina Letong Hong）近期开启创业，立马一鸣惊人。 据The Information消息，她正在筹集目标为 5000万美元 的融资，公司估值预计 3-5亿美元 ——尽管目前公司还没有开发出一款产品。 为啥能实现如此估值？ 来看创始人兼CEO洪乐潼身上的标签： 3年时间完成麻省理工数学和物理本科双修 ，然后拿下斯坦福数学博士录取offer研究方向为数论、组合学和概率学，同时也进修了法律学课 程。 本科期间的论文已经发表在《美国数学会会报》、《拉马努金期刊》等刊物。2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之 一…… 如今，她开启创业，希望利用编程语言来训练模型，使其能掌握形式化证明的"语言"。 洪乐潼创立的公司名叫Axiom （公理） ，它的核心 ...

数学AI初创公司Axiom - 斯坦福大学数学博士生Carina Hong创立Axiom 致力于开发基于形式化数学证明训练的AI 目标估值3亿至5亿美元 正筹集5000万美元资金 [2] - Axiom计划将产品出售给对冲基金和量化交易公司 帮助解决涉及资产价值和股票市场的复杂数学问题 [3] - 公司开发方向是利用编程语言训练机器掌握形式化证明语言 而非仅回答问题 [6] 数学AI行业动态 - OpenAI的o4-mini在FrontierMath评估中超越人类数学家团队 谷歌AI达到国际数学奥林匹克金牌水平 [4] - 主流AI模型如Anthropic OpenAI和谷歌在基础数学问题仍存在错误 但复杂查询处理展现潜力 [3] - 谷歌AI模型存在组合数学领域的短板 恰为Carina Hong的专长领域 [5] 竞争格局 - 类似数学AI初创公司Harmonic由Robinhood CEO创立 2023年以3 25亿美元估值融资7500万美元 [6] - 投资者对专业数学AI模型仍保持兴趣 尽管部分认为自主模型开发窗口期已过 [3] 创始人背景 - Carina Hong拥有MIT数学与物理学位 牛津大学深造经历 斯坦福在读 发表过组合数学领域论文 [3] - 曾指出主流AI模型数学表现优异可能源于训练数据包含考题 而非真正掌握证明能力 [6]