11位顶尖数学家发起AI实验，挑战AI独立解决10道研究级数学难题，探索“AI+数学”的能力。实验旨在检验AI的证明能力，问题来源于真实研究，答案将于2026年公布。

SAIR年度峰会将于2026年2月11日举行，陶哲轩等科学家将讨论AI在科研中的应用及其对高等教育的影响，分享经验与挑战。

GPT-5.2 Pro独立证明了埃尔德什猜想，经过陶哲轩验证，未发现错误。该问题已有更简单的解法，涉及经典定理。陶哲轩提醒在评估AI成功率时需注意报告偏差，真实成功率约为1%至2%。

陶哲轩与数学家们合作，利用AI在48小时内解决了尘封50年的Erdős#1026难题，传统方法需数周或数月，AI的应用显著加快了解题过程，展示了人机协作的新趋势。

陶哲轩推荐AlphaEvolve，称其为数学发现的新工具。该系统解决了67个数学问题，超越人类最优解，自主发现新结构，展现出优越的可扩展性和鲁棒性，推动数学研究进展。

陶哲轩与GPT-5 Pro合作，解决了一个三年未解的微分几何问题。AI在小尺度上表现优异，但在中尺度上效果有限，最终帮助陶深入理解问题。他认为AI在学术研究中的多尺度价值需谨慎评估，强调人类与AI的协作。

陶哲轩利用GPT-5仅用29行Python代码解决数学难题，节省数小时人工时间。他通过与AI对话找到反例参数并验证结果，标志着人机共同探索的新纪元。

媒体将特勤局SIM农场事件夸大为间谍案，实为普通犯罪。工程师利用罚单数据推动透明化，但遭政府阻止。航空公司试图削弱乘客权益，增加隐性收费。陶哲轩指出小型组织在社会中的作用减弱，个体感到孤独。

名为Gauss的AI在三周内完成了陶哲轩和Kontorovich提出的数学挑战，远超他们18个月的进展。该AI能自动形式化数学内容，生成约25000行Lean代码，未来计划提升形式化代码量100到1000倍，推动数学项目进展。

陶哲轩因美国科研经费暂停，无法领取暑期工资，担忧学生受影响。他呼吁科研资助应更加稳定，以支持年轻研究人员的职业发展。

陶哲轩利用GPT-5进行半自动化文献检索，成功解决了Erdős问题#259。AI通过高精度小数与OEIS数据库匹配，发现已有研究成果，提升了研究效率和可信度。Erdosproblems/OEIS项目旨在整合相关数学问题与数列，推动研究进展。

47岁的加拿大男子Allan Brooks与ChatGPT对话21天，发展出一套数学理论，但最终被聊天机器人Gemini揭穿其虚假性。尽管GPT给予鼓励，他的发现并无实际价值，反映出AI可能导致用户产生幻觉和误解。

陶哲轩因UCLA科研经费被冻结而愤怒，他在社交媒体上阐述数学研究的重要性，强调“压缩感知”技术的贡献，并指出数学定理为跨学科合作奠定基础。他认为基础数学研究的回报不应仅以短期成果来衡量。

机器之心数据服务现已上线，提供高效稳定的数据获取服务，简化数据爬取流程。

95后北大校友刚获得博士学位，成为ChatGPT Agent的核心成员，并曾在陶哲轩支持的AIMO比赛中获得第二名。

95后北大校友孙之清和Casey Chu在OpenAI发布会上负责ChatGPT Agent项目。孙之清刚获得博士学位，参与多个核心项目；Casey Chu则领导GPT-4视觉输入开发。两位华人的表现引发关注，彰显华人在AI领域的影响力。