近日GPT-6发布，在孪生素数猜想上将连续素数间距上界推至186，引发热议。对此，著名数学家陶哲轩发出警告，吐槽这是“令人无语的一幕”。他指出，AI解题极快且过程“黑盒”，直接给出答案会掩盖探索中宝贵的“失败”，进而“污染”开放性数学难题，阻碍数学领域的真正发展。若AI在黑盒内解决问题并向公众隐瞒过程，数学界将无法从中提炼新洞见。陶哲轩强调，伟大数学题的核心价值在于探索路径上产生的新思想，而非单纯的答案。此外，他庆幸牛津数学家于8月31日抢先公开了相关分析，避免了人类研究成果被AI“埋没”。

近日，在2026年国际数学家大会及菲尔兹奖颁奖现场，06年菲尔兹奖得主陶哲轩发表演讲，警示数学界正迎来一场关于价值观与实践方式的“百年新危机”。他指出，随着AI解题能力的突破，数学将从“证明稀缺”步入“证明过剩”时代，研究在生成、验证、表述等环节易出现“阻抗失配”与“证明消化不良”。为此，陶哲轩呼吁学界规范披露AI使用情况，降低“首次解出”权重，提高“消化”权重，并强调“若作者无法清晰讲解成果则不应发表”。他主张不拒绝、不隐瞒AI，但数学的规则必须由人类数学家自己定义。

12年前，菲尔兹奖得主陶哲轩曾预言：未来数学论文将使用计算机理解的形式化语言，并实现自动验证与大规模协作。如今，他正借助AI亲手兑现这一预言。自2023年起，陶哲轩学习Lean4证明系统，发起PFR猜想形式化项目，仅三周即完成验证。2024年9月，他发起Equational Theories项目，面对2200万个代数等式，通过“AI+Lean+全球社区”协作，48小时内攻克大半，更催生出全新数学概念。陶哲轩用行动证明，AI与人类协作正极大提升数学研究效率，他已成为AI数学最坚定的布道者。

2026年5月，数学家陶哲轩在论文审稿过程中巧妙利用AI工具Claude Code，仅用15分钟便高效完成第二轮修改。此前，陶哲轩与合作者需花费数天时间人工处理审稿人提出的详细反馈，而此次他将审稿报告、LaTeX源文件和论文PDF交给Claude Code后，AI迅速识别并修正了12个问题，甚至发现审稿人一处错误。陶哲轩表示，未来会优先借助AI处理琐碎任务，让人类专注于创造性工作。他还强调，AI应作为数学家的‘副驾驶’而非替代者。自2022年起，陶哲轩便积极探索AI辅助数学研究的可能性，并取得显著成果，如解决Erdős难题等。AI正逐渐成为数学界的重要趋势，助力科研效率大幅提升。

5月12日至13日，硅谷将举办“2026 Science for AI Summit”峰会，由科学与人工智能研究基金会（SAIR Foundation）主办。此次峰会首次线下集结全球顶尖科学家、企业家和投资人，包括陶哲轩、诺贝尔奖得主巴里·巴里什、兰迪·谢克曼，以及图灵奖得主杰弗里·乌尔曼等学术领袖，还有谷歌母公司董事长约翰·轩尼诗、红杉资本合伙人Alfred Lin等产业界代表。会议聚焦AI与科学的融合发展，探讨技术开发、治理、投资等议题，并介绍“数学蒸馏挑战赛”进展。背景是AI发展面临数据与算力瓶颈，亟需理论突破。峰会采用定向邀请制，席位有限，现已开放报名。

陶哲轩在普林斯顿高等研究院的一年经历，让他意识到数学家不能只埋头学术。起初，他享受无干扰的研究环境，但几个月后灵感枯竭，甚至沉迷上网摸鱼。这段经历让他感慨：数学家有时需要生活中的琐事激发灵感。 在与播客主理人Dwarkesh Patel的对话中，陶哲轩分享了对科学、数学和AI的思考。他认为，科学不仅...

2026年初，数学家陶哲轩以联合创始人身份发起非营利组织SAIR Foundation，旨在重塑AI与科学的关系，连接学术界与产业界，推动两大目标：用科学方法打造AI、借助AI重塑基础科研。陶哲轩指出，AI在科研中的应用需解决幻觉和可解释性问题，并强调高质量数据的重要性。SAIR希望促进跨学科、全球化协作，降低科研门槛，让AI成为普惠工具。陶哲轩认为，未来的科研将更注重团队合作，年轻研究者可通过导师制及多样化背景参与前沿研究。此外，高等教育需适应AI时代，培养批判性思维与协作能力。

北京时间2月11日凌晨1:00，SAIR Foundation将举办“AI for Science: Kickoff 2026”年度峰会，汇聚全球顶尖科学家与AI产业领袖，探讨人工智能如何驱动未来十年的科学发现。菲尔兹奖得主陶哲轩将发表《机器辅助与未来数学研究》主题演讲，诺贝尔物理学奖得主巴里·巴里什和图灵奖得主理查德·萨顿也将分享见解。微软、英伟达等科技企业负责人将讨论AI在工业科研中的应用与挑战，会议还将聚焦AI时代的高等教育转型。可通过SAIR官方微信公众号等平台同步收看直播。

2026年1月17日，OpenAI的GPT-5.2 Pro独立证明了一道由保罗·埃尔德什和罗纳德·格雷厄姆于1980年提出的数论猜想，该猜想涉及同余覆盖系统与自然密度的关系。菲尔兹奖得主陶哲轩验证了这一证明，并评价其为‘最明确的第一类结果’，且未犯任何数学错误。与此同时，网友KoishiChan发现该问题可通过1936年和1966年的两个经典定理直接解决，揭示了文献传播中的盲点。陶哲轩提醒，评估AI数学能力需警惕报告偏差，当前AI在埃尔德什问题上的真实成功率仅为1%-2%，但仍具研究价值。

1月18日，Eclipse创始人Neel Somani在X平台发文称，使用OpenAI最新高级模型GPT-5.2 Pro破解了一个著名的Erdős数学难题。数学家陶哲轩对此表示认可，认为这是‘AI解决开放问题的最明确案例’，并强调解答需谨慎理解。OpenAI总裁布罗克曼转发评论，称其为数学与科学进步的重要标志。GPT-5.2 Pro于2025年发布，擅长复杂任务推理与结构化输出，尤其在草拟证明和快速修改数学文本方面表现突出，但仍需人类专家校验结果。Erdős问题由匈牙利数学家保罗·埃尔德什提出，涵盖多个领域，难度分布广泛。陶哲轩指出，许多问题可能只是未被充分研究。