魏哲巍：AI时代数学三问
Best Partners TV
演讲者探讨人工智能对数学的深层影响，提出三个核心思考：当AI揭示的数学结构不再优雅时数学是否仍然美丽、人类数学直觉被AI挑战后如何向其学习，以及当跨学科应用到数学的反馈周期从百年缩短至数小时将带来何种变革。
人工智慧與數學研究的未來角色及學術規範反思
Best Partners TV
講者在論壇中討論了人工智慧在數學研究中的工具定位與潛力，指出 AI 能降低試錯成本並跨領域整合技術。講者質疑了部分商業 AI 公司不公開思路、缺乏形式化驗證等行為，主張推進開源模型與規範化使用，並展望 AI 將助力數學連結現實及各分支的整合，強調人類獨立思考的核心地位不可替代。
陶哲軒與鄧煜談 AI 數學證明爭議與開源反擊
Best Partners TV
針對 OpenAI 發布 700 多個數學證明引發的爭議，菲爾茲獎得主陶哲軒與鄧煜在舊金山峰會上探討 AI 在數學研究中的角色。他們批評商業巨頭黑箱操作與公關炒作，倡導開源數學模型生態系統，並強調人類在宏觀戰略、提出問題與深刻理解上的不可替代性。
丘成桐：數學家與功利時代的基礎科學探索
Best Partners TV
節目探討兩位年輕中國數學家獲菲爾茲獎後，丘成桐呼籲其回國所引發的爭議。丘成桐反思了中國學術環境、院士制度、奧數選拔體系與功利主義思維，並論述本土一流原創成果的必要性，同時分享其對基礎科學好奇心、人工智慧在數學研究中的局限性及個人學術生涯的體悟。
从伽罗瓦到夸克：需要200年验证的想法，AI能产生吗？ · 乔木博客
向阳乔木
文章探讨了人工智能在数学领域产生需要长期验证的想法（如伽罗瓦的直觉）的可能性。核心观点在于区分 AI 擅长的‘连接闪电’和需要创造新框架的‘建造山峰’的能力，并指出当前训练方法（如RLVR）难以捕捉缺乏即时反馈的洞见。文章强调了‘可磨性’的重要性，以及AI在写作、证明与理解上的局限性，并展望了未来数学家可能从定理证明者转变为对AI发现的导航者。
AI 时代的智能重构：从廉价知识到深度洞察
EO
著名数学家 Ken Ono 分享了他从最初对大语言模型的恐惧到重塑智能定义的深刻转变。他指出，在知识获取变得极其廉价的今天，真正的智能不再是事实的堆砌，而是创造新概念、跨学科模式识别以及人类特有的判断力。通过回顾印度传奇数学家拉马努金如何拯救其学术生涯的故事，他呼吁教育应回归保护好奇心与挖掘潜在“天才”的本质，而非陷于应试系统的恶性竞争。
陶哲轩：AI for Science 的数学之道
Best Partners TV
数学家陶哲轩创立Sair基金会，旨在推动AI for Science发展。他认为当前AI在科研领域存在随机性、不可靠性等致命弱点，并提出以数学的形式化验证作为核心解决方案，对抗AI的不确定性。陶哲轩强调AI应作为辅助者，而非主导者，并指出AI在创造力、持续学习能力和人机协作方面仍有待提升，公众对AI的认知也存在误区。