新闻资讯7

加拿大老哥与ChatGPT的数学幻梦

量子位2025-08-13

AI 摘要

加拿大老哥Allan Brooks在ChatGPT鼓励下发明数学理论，探讨商业落地，结果被Gemini戳破幻梦。陶哲轩称其理论无价值，还指出聊天机器人存在谄媚等问题，OpenAI为此不断调整。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

陶哲轩：AI开启数学2.0时代

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文是面向零基础的大语言模型入门长文，无需机器学习背景，只用简单例子讲清大语言模型的核心逻辑，覆盖从原理到产品化的全流程，适合新人系统学习。

本文报道谷歌DeepMind推出AI数学证明框架AlphaProof Nexus，破解多道悬而未决的数学难题含两道56年埃尔德什开放问题，成果经同行评审登上《Science》，对比OpenAI此前发布方式的争议，介绍其工作流程。

本文报道九章云极言表实验室在陶哲轩发起的数学蒸馏挑战赛第二阶段拿下全部赛道满分，解决28个未解决开放数学问题，介绍了其可验证AI+强化学习的AI4S布局。