学术成就 - 陶中恺15岁考入西安交大少年班 本科期间创造16门课程100分 24门98分 30门以上95分 大一至大三均分96.94的纪录 [1] - 在伯克利交换期间 三门研究生课程两门A+ 其中代数几何是教授从教以来首次给出A+ [1][10] - 曾获全国大学生数学竞赛全国第四 丘成桐竞赛华罗庚奖铜奖 阿里巴巴全球数学竞赛金奖 [8][10] 研究方向 - 主要研究领域包括光谱理论 微观局部分析 广义相对论 凝聚态物理学和双曲动力系统 [4][7][15] - 在魔角石墨烯研究中 证明了TBG模型特征函数在经典禁区的指数衰减 推动周期性哈密顿系统谱分析 [16] - 在广义相对论领域 开发了初始数据拼接新方法 有助于黑洞合并模型研究 [18] 职业发展 - 26岁从UC伯克利博士毕业 被法国高等科学研究所(IHES)聘为初级教授 [5] - 据传同时收到MIT和斯坦福邀请 最终选择IHES以靠近巴黎数学研究资源 [20][22] - 师从伯克利教授Maciej Zworski 专攻数学分析与前沿物理交叉领域 [11][13] 机构背景 - IHES是数学界顶级机构 现任7位常任教授中5位数学家包括2位菲尔兹奖得主 [23] - 历任13位常任教授中有8位菲尔兹奖获得者 阵容堪称数学界天花板 [3][26] - 与北大校友王虹 90后数学家王艺霖共同组成IHES研究团队 [28][31][34]

论坛概述 - 2025世界人工智能大会(WAIC)期间将举办"人工智能的数学边界与基础重构论坛"，聚焦AI与数学的深度融合，探讨基础理论突破与产业应用耦合 [3][13] - 论坛由上海市普陀区人民政府与菲数中国主办，上海市人工智能行业协会承办，世界人工智能大会组委会办公室指导 [5] - 论坛集结中外数学家、AI专家、超算工程师与投资机构代表，围绕AI×数学双向驱动、AGI路径、基础研究全球协同等核心议题展开讨论 [5] 论坛亮点 学术交流 - 全球科研高地专家领衔主旨演讲，来自中科院、瑞士国家超级计算中心、康奈尔大学等机构的院士与教授分享大型语言模型优化、机器学习安全等前沿议题 [6] - 中外青年数学人才首次跨国结对，10位国际暑校学生与上海及沿沪宁高校学生搭建国际交流平台 [7] - 两大国际数学实验室中国首发，由菲尔兹研究院与西班牙国家数学委员会(ICMAT)联合发起，聚焦数学与智能融合的基础研究 [8] 深度研讨 - 举办两场高密度圆桌讨论，围绕"AI是数学家的围剿还是突围"、"数学理论突破是否是通向AGI的钥匙"等关键议题展开思辨 [9] - 发布AI+数学方向"未解问题"，联合菲尔兹研究院与ICMAT全球征集解决方案，同步展出"人机协作"模型解题案例 [10] 议程与嘉宾 议程安排 - 包含领导致辞、国际暑校结对仪式、100分钟主旨演讲、实验室揭牌、80分钟圆桌讨论及全球征题发布等环节 [15][17] - 主旨演讲嘉宾包括中科院院士徐宗本、ADIA全球量化研发主管Marcos López de Prado等顶尖学者 [15][17] 核心嘉宾 - 学术界：中科院院士徐宗本、瑞士国家超级计算中心首席架构师Torsten Hoefler(ACM/IEEE双会士)、菲尔兹研究院前院长Kumar Murty等 [18][19][21] - 产业界：阿布扎比投资局量化研发主管Marcos López de Prado、加州大学洛杉矶分校教授Mihai Cucuringu等 [22][23] - 国际机构：西班牙皇家科学院院士David Ríos Insua、菲尔兹研究院可持续发展中心主席Luis Seco等 [22][23][25] 前期活动 - "数学之问"系列活动已率先展开，7月10日举办"当数学遇见大模型"研讨会，ICMAT、复旦大学等机构数学家与四大基模企业技术专家共议AI模型结构与数理推理能力 [11] - 世界人工智能大会推出首份刊物《WAIC UP!》，定位为"AI时代进化指南"，旨在探究技术跃迁与未来文明 [30][31][33]

赛事概况 - 2025年袋鼠数学亚洲营于7月14日在琼海博鳌开幕，吸引来自15个国家和地区的超过1000名数学精英青少年、教师及国际专家参与 [2] - 活动为期5天，设计不同年级难度组别，融合学术与社交，采用团队竞技模式（个人挑战、团队挑战、车轮战等） [2] - 配套活动包括数学游园会、折纸工作坊、猎奇展等，旨在通过趣味形式展现数学魅力 [2] 赛事理念与内容 - 全球委员会副主席Joanna Matthiesen强调赛事目标是激发青少年对数学的热爱与创造力，主张"数学无国界" [2] - 题目由全球数学家筛选，注重"体验数学乐趣"，嘉年华环节通过游戏和实践探索数学的多元应用 [3] - 活动设计强调培养自信心、独立思考、团队合作及解决问题能力 [2] 参与者反馈 - 中国参赛学生姚煜安表示期待团队协作中的竞争与互助，并希望通过活动结交朋友、学习实用数学知识 [3] - 国际数学专家与学生现场互动，分享研究心得并鼓励持续探索数学奥秘 [2] 活动进程 - 开幕式后各国学生投入首场数学挑战，后续将进行团队竞赛、主题讲座及嘉年华体验等环节 [3]

数学与AI的协同关系 - AI正在重塑人类科学范式 在数学和物理的终极问题上 AI将成为人类探索的重要伙伴 但无法取代人类的直觉与创造力 [2] - 复数意义上的人类共同体将创造出最顶尖的超级智能体 比单个数学家更有可能实现数学领域的突破 [3] - 数学的关键在于从几十种可能方法中排除错误答案 而不仅是找到技术路径 [3] 数学研究方法论 - 解决困难问题需采用分阶段策略 类似香港动作片中逐个击破对手的方式 [3] - 数学研究需在结构与随机性之间寻找平衡 大多数生成对象是随机的 仅有少数存在固定模式 [38] - 数学家可通过"策略性作弊"简化问题 即暂时关闭部分困难因素 集中解决核心矛盾 [89] 前沿数学难题 - Kakeya猜想涉及在最小空间内实现物体方向调转 其解与波传播、流体动力学存在深刻联系 [5][6][7][8][9] - 纳维-斯托克斯正则性问题探讨流体运动是否会产生奇点 属于克莱基金会七大千禧年难题之一 [16][17][18] - 塞迈雷迪定理证明在足够大的数字集合中必然存在任意长度等差数列 [41] 数学与物理的差异 - 数学从公理出发关注模型构建 物理由结论驱动注重观测结果 [51] - 物理学依赖观察-理论-建模的互动循环 数学则更侧重理论推导 [52] - 数学允许自由改变规则 这是其他领域无法实现的独特优势 [3] 形式化证明与协作 - Lean编程语言能生成带证明的数学陈述 实现原子级别的协作验证 [94][95][96] - 形式化证明使常数优化效率提升10倍 能快速定位需修改的代码段 [101] - 方程理论项目通过众包完成2200万对代数法则关系验证 展示规模化数学实验潜力 [111][112][113] AI在数学中的应用 - AlphaProof系统通过强化学习解决IMO级别问题 但研究生级问题面临组合爆炸挑战 [121] - 大型语言模型可用于数学引理搜索 在代码补全场景准确率达25% [100] - AI驱动的实验数学可能成为未来研究方向 辅助处理传统暴力计算无法解决的问题 [55]

数学的本质与历史作用 - 数学本质是应对现实需求的工具而非永恒真理，其发展由历史需求驱动[4][5] - 17世纪对数表解决航海经度计算难题，牛顿微积分用于天体运动测算[5][7] - 18-20世纪数学工具直接支撑关键产业发展：欧拉的图论用于军事工程，高斯最小二乘法用于测绘，傅里叶变换推动热力学工业应用[10][15] - 数学对经济增长贡献率长期稳定在25-35%区间[7] 数学在现代科技中的转型 - 传统数学工具如对数、微积分被重构为密码学、复杂度理论和网络建模基础[16][17][18] - 函数式编程和范畴论成为AI算法核心，实现函数嵌套、异常处理等高级抽象[18][19] - 线性代数支撑神经网络张量运算，概率统计处理机器学习不确定性[27] - 图论应用于社交网络分析、推荐系统等非结构化数据处理[27] AI硬件革命的数学需求 - 可重构脉冲神经网络硬件依赖图论、拓扑学等数学工具设计电路级模型[28] - FPGA开发需要组合优化、自动机理论等数学方法解决路由调度问题[29][30] - 范畴论实现模块化硬件设计，代数图论简化复杂电路连接[30] - 卡诺图等传统工具经改造后适用于低功耗AI芯片设计[30] 数学能力的竞争壁垒 - 掌握范畴论、全局优化等抽象数学可突破AI算法现有局限[25][26] - 数学抽象层级越深，人类在AI时代的不可替代性越强[31] - 函数式编程、图论等现代数学范式是构建新型AI系统的关键工具[22][27]

韦东奕短视频账号事件 - 北大教师韦东奕在短视频平台注册账号并发布首条视频 账号由其家人协助注册 未来计划发布数学相关内容以促进对外交流[1] - 该账号仅发布1条视频 内容为韦东奕本人出镜自我介绍 视频发布后迅速引发网友关注[1] - 评论区出现大量高考考生及家长许愿留言 包括"高考数学130+"、"遇到的题全会"等诉求[3][4] 韦东奕个人背景 - 2021年因自媒体采访走红网络 其质朴形象与数学天赋形成强烈反差 被网友称为"韦神"[5] - 学术成就突出：2008-2009年连续两届国际数学奥林匹克竞赛满分金牌 2010年保送北大 2019年任北大助理教授 2021年获阿里巴巴达摩院青橙奖[5] - 典型事迹包括手持矿泉水瓶和馒头接受采访 用简单语言为高考学子加油："加油！欢迎来到北京大学"[5] 社会反响 - 账号评论区形成许愿现象 典型留言包括："韦神请保佑我儿中考遇到的题全会"获7491次互动[4] - 家长用户占比显著 如"保佑我女儿明天高考数学考出好成绩"获得7450次互动[4] - 地域分布广泛 留言用户来自湖北、四川、福建、山东等多地[4]

拉马努金的数学成就 - 拉马努金一生留下近4000个数学公式和命题，其中许多在100年间不断被验证为正确[2][4][6] - 他提出的罗杰斯-拉马努金恒等式与超几何级数、整数拆分相关，并在统计物理学、弦论等领域产生深远影响[15][16][17][18] - 拉马努金猜想关于模形式τ函数系数的性质，1973年被德利涅证明，并与朗兰兹纲领紧密关联[19][20] 拉马努金的学术背景与成长经历 - 未接受正统数学教育，自学成才，13岁掌握高等三角学并独立发现复杂定理[5][23][25][27][28] - 大学时期因偏科两度挂科最终肄业，但通过独立研究在椭圆积分等领域展现惊人天赋[31][41][42] - 23岁时因数学笔记被推荐给印度数学界，最终获得研究职位并发表成果[36][38][39][43] 拉马努金与哈代的合作 - 哈代因拉马努金信中三个陌生公式邀请其赴剑桥，称其为"一生中唯一的浪漫事件"[7][48][49][50] - 两人合作期间互补：哈代注重严谨证明，拉马努金依赖直觉，共同推动高度复合数等领域研究[51][54] - 著名的"1729的士数"故事源于拉马努金住院期间对数字性质的洞察[53][54] 拉马努金的学术影响与遗产 - 32岁英年早逝，但遗留的"遗失笔记本"包含600多个未证明公式，其中模拟θ函数用于黑洞熵计算[64][66] - 拉马努金奖设立于2005年，奖金1万美元，要求获奖者年龄不超过32岁，已有22位得主包括陶哲轩等[61][62][63] - 现代数学家如小野肯、莫尔塔达等持续基于其工作解决质数检测、奇点理论等前沿问题[9][69][70][73] 拉马努金的公众影响力 - 传记电影《知者无涯》记录其与哈代的友谊，油管有专题视频解析其公式[76][79][83] - 个人论文全集被网站收录，相关研究持续引发学术界和公众关注[81][83]