在 AI for Math 领域，如果你一直找不到合适的资源，这份清单或许会有帮助。 刚刚，著名数学家陶哲轩的个人博客又更新了，这次他们整理了一份有用的资源列表，该资源专注于 AI for Math，专为那些希望进入数学 AI 领域的人提供帮助。 这份清单发起时间最早可 ...

初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 ...

进入2019年，当杨凯峪在ICML发表那篇关于定理证明自动化的论文时，他或许没有想到，从计算机视觉转向AI4Math的决定，正是叩响人工智能进化的另一扇门。 回顾杨凯峪的学术生涯，仿佛他的每次转折都能切中 AI 的时代脉搏，早年在计算机尚未成为热门方向时 ...

为深入AI核心命题，今年WAIC重磅提出“AI三问”——直击数学、科学和模型方向亟待探讨与思辨的前沿话题。数学之问以公理公式推演规律，建认知框架；科学之问扎根实证，探自然本质；模型之问融合二者，化抽象为实用。 三问共生，数学为科学量化，科学赋 ...

2025世界人工智能大会暨人工智能全球治理高级别会议（WAIC）将于7月26日至28日在上海举行。本届大会以“智能时代，同球共济”为主题，知识共创阵容系历届之最。 为深入AI核心命题，今年WAIC重磅提出“AI三问”——直击数学、科学和模型方向亟待探讨与思辨的 ...

为深入AI核心命题，今年WAIC重磅提出“AI三问”——直击数学、科学和模型方向亟待探讨与思辨的前沿话题。数学之问以公理公式推演规律，建认知框架；科学之问扎根实证，探自然本质；模型之问融合二者，化抽象为实用。 三问共生，数学为科学量化，科学赋 ...

本届人工智能大会的论坛有点不一样。为了让大会论坛更具思辨性，本届大会特意设置了“AI三问”系列论坛，将学界与业界的专家聚集起来，一同探讨AI在数学、科学、模型领域最关键的行业问题。 大会开幕两日来，系列论坛上嘉宾们的观点层出不穷，问题 ...

上证报中国证券网讯（记者 宋薇萍）当大模型步入深水区，人工智能对基础理论的“渴望”前所未有，而作为万物计算之本的数学，也迎来一场属于自己的“高光时刻”。7月26日在上海召开的2025世界人工智能大会（WAIC）期间，主题论坛“人工智能的数学边界与 ...