AI攻克22年数学难题,陶哲轩警告证明已严重消化不良

源自207位全网作者

20:28

精选参考来源

1
中国数学教育的问题,可能不是不会教,而是太会教“怎么做题”高中数学里,有几个很有意思的现象。一道题如果可以用大学数学解释,总有人马上告诉你:“这其实是高等数学里的某某问题。”一道题如果存在一个漂亮的技巧,又有人会说:“这是一个二级结论。”而如果有人从教材里找到了原始的方法,便会强调:“其实教材里早就讲过。”表面上看,这只是几种解题方法之间的争论。但如果再往深处看,会发现它们其实指向同一个问题:我们太习惯讨论“这道题应该怎么做”,却很少讨论“数学知识为什么会长成今天这个样子”。这可能才是中国数学教育里最值得讨论的地方。一、高等数学不是不能讲,问题是不能只剩一个名字我并不反对用大学数学的眼光理解高中数学。恰恰相反,我一直认为,高中数学和大学数学不应该是两个完全割裂的世界。函数、极限、导数、向量、概率,这些内容本来就存在连续的发展关系。真正的问题是:我们有没有真正把这条思想上的路铺出来?如果没有,那么所谓“高数视角”,很容易变成另一种术语崇拜。你告诉学生:“这个问题本质上是高等数学里的某某问题。”听起来很高级。但如果他并不知道这里的本质到底是什么,那么这句话除了增加一个名词,并没有真正增加理解。真正有意义的衔接,应该是让学生逐渐看到:高中里研究函数图像的变化,为什么会走向变换;研究一个函数怎样对应另一个函数,为什么会走向映射;研究一个对象的性质,为什么会进一步走向结构,这才是高中数学通往大学数学的路。大学数学真正重要的变化,也不是公式突然变多了,而是数学开始逐渐从“这个东西怎么算”转向“这些对象之间到底有什么关系”。如果高中阶段没有做这样的铺垫,那么学生进入大学以后,当然会觉得数学突然换了一门语言。其实数学并没有突然改变。只是中间那座桥,我们没有真正搭起来。二、最危险的不是二级结论,而是失去了“为什么”我也不反对结论,数学当然需要记忆。一个已经证明过的结论,在解题时当然可以直接使用。问题不在这里,真正危险的是:我们开始把结论本身,当成了数学。一个公式为什么成立?一个定理为什么能推出?为什么这个条件不能少?为什么换一个条件,结论就不成立?这些问题,本来才是数学学习最核心的部分。但在应试环境里,它们很容易被压缩成一句话:“看到这种题,就想到这个结论。”于是很多人会记住越来越多的题型、套路和二级结论。做题速度越来越快,但问为什么的次数,却越来越少。这才是真正的问题。因为数学最值得学习的东西,从来不只是最后写在答案里的那一行,而是:一个人怎样从已知出发,一步一步走向未知。如果把这个过程拿掉,只保留结果,数学就很容易退化成一种题型识别游戏,题目是输入,题型识别是中间步骤,公式和结论是输出,速度当然提高了,但数学本身,却越来越薄。三、教材很重要,但“教材里有”不是讨论的终点还有一种很常见的说法:“教材里有,所以这才是正规的数学方法。”教材当然重要。但教材重要,不代表教材不能被讨论。恰恰因为教材影响着几乎所有学生,我们更应该问:教材是怎样组织数学的?中国高中数学里,一个很值得讨论的问题是:我们虽然大量使用变量、函数、参数这些概念,但在很多教学场景中,数学仍然非常计算化。变量经常只是一个会变化的字母。函数经常被理解成“输入一个数,再算出另一个数”,参数经常只是“分类讨论时多出来的一个字母”。所以很多的人学了很多“变量”,却未必真正建立起变量之间相互依赖、相互变化的观念。到了大学,情况突然变了。函数不再只是一个计算规则,而会变成被研究的对象,映射开始成为基本语言,变量不再只是等待代入的字母。集合、空间、结构、极限、连续性、线性性,也开始彼此连接。很多学生到这个时候才第一次强烈意识到:原来数学并不只是研究几个数怎么算。数学还在研究对象之间为什么会形成这样的关系。所以,很多人进入大学以后产生的那种断裂感,未必只是因为大学数学难。更深层的原因可能是:高中阶段没有充分完成从具体计算到抽象关系、从单个对象到整体结构的过渡。四、人工智能时代,这个问题变得更明显了今天再讨论中学数学,已经不能假装计算机和人工智能不存在。因为人工智能恰恰把很多过去显得抽象的数学思想,直接摆到了现实世界里,尤其是线性代数(数学专业的高等代数)中学里学方程,我们最熟悉的问题往往是:“未知数是多少?”但到了大学,一个方程组真正有意思的问题,会变成:它有没有解?解是不是唯一?如果有很多个解,这些解之间有什么结构?为什么某个矩阵的性质,会决定整个方程组的性质?这时候,数学已经不只是把一个数算出来。而是在研究变量之间的关系。这也是线性代数真正重要的地方,到了人工智能里,这种关系更加直观:图像可以组织成数组和张量,数据可以表示成向量和矩阵,声音经过处理后也可以变成数值向量,神经网络中的大量参数,本质上以矩阵和张量的形式存在,降维会涉及特征值、特征向量和奇异值分解。计算机图形学离不开线性变换,机器学习中的很多优化问题,也离不开高等代数。这时候再回头看中学数学,很容易产生一种强烈的感觉:我们花了很多时间学习计算一个变量,却很少认真地思考多变量的世界到底是什么样的。当然,这并不意味着中学生应该提前学完整的线性代数。我真正想说的是:为什么不能让一些线性代数的思想,更早进入中学数学?比如让学生知道:向量不仅仅是有大小和方向的量;矩阵也不仅仅是数字排成一个表格;矩阵可以表示一种变换;方程组不只是为了求未知数,也可以用来描述多个变量之间的关系。一个简单的二维矩阵,就可以让学生看到旋转、缩放、剪切。这并不是把大学数学硬塞进中学。恰恰相反,这是在寻找一条更自然的数学发展路径:变量 → 向量 → 矩阵 → 线性变换 → 多变量关系 → 数据。这条路,可能比“高中毕业以后,突然开始学线性代数”自然得多。五、所以,真正的问题不是“中学生要不要学矩阵”我并不认为中国数学教育的问题,可以简单归结成一句:“应该把矩阵加回来。”因为如果只是增加一个新的知识点,什么也不会真正改变。今天加矩阵,明天加概率,后天加微积分。如果课程还是按照“定义—公式—例题—练习”去开展,不断切成一个个互不相干的模块,那么增加内容,只会增加更多需要记忆的东西。真正应该改变的,不是知识点的数量,而是知识是怎样被组织起来的。学生应该看到:方程为什么会走向函数;函数为什么会走向映射;多个变量为什么会自然需要向量;多个线性关系为什么会自然产生矩阵;矩阵为什么能够表示变换;而变换为什么会成为计算机、数据科学和人工智能的重要语言。真正重要的,不是多学几个概念,而是让这些概念之间重新连起来。如果知识之间没有联系,再先进的内容,也只是新的考点。如果一个学生面对一道题,第一反应永远是:“这是哪个知识点?”第二反应是:“有没有二级结论?”第三反应是:“教材里有没有类似题?”那么他当然可能成为一个非常优秀的应试者。但这并不自动意味着,他真正理解了数学。因为数学最重要的能力,也许从来不是记得更多,甚至也不只是算得更快。而是看到一个问题以后,会自然地继续追问:为什么?能不能推出?如果条件改变,会怎样?有没有更一般的形式?它和我以前学过的东西有什么关系?这些问题看起来很简单。但它们其实构成了数学思维最基本的骨架。真正理解数学的人,并不只是知道答案。他还会追问这个答案从哪里来?还能走到哪里去?所以,中国数学教育真正值得讨论的,也许从来不是一道题究竟应该用高数方法、二级结论,还是教材方法。而是为什么我们如此执着于给一道题贴上“方法”的标签?为什么我们如此迷恋“秒杀”?为什么我们如此在意现成的结论?为什么教材里的知识一旦离开原来的章节,就很难被重新组合?为什么高中和大学之间,明明存在一条连续的数学思想发展路径,却在学生的学习经历里,被切成了两个世界?甚至在人工智能已经成为现实的今天,我们仍然在问:“中学生学矩阵到底有没有用?”也许这个问题本身就问错了。我们真正应该问的是:今天的孩子所处的世界,究竟需要他们理解什么样的数学?数学教育的目的,不应该只是让一个学生在考场上多做对几道题。更重要的是当他面对一个从未见过的问题时,他仍然相信,未知并不是一堵墙。因为可以从已知出发,可以建立关系,可以寻找结构,可以不断推导,可以一点一点,把未知变成可以理解的东西,这才是数学。
2
我做了个能触摸、毒舌傲娇、还比我懂游戏的AI桌宠
全部
来源
内容由AI生成

精选参考来源

1. 中国数学教育的问题,可能不是不会教,而是太会教“怎么做题”高中数学里,有几个很有意思的现象。一道题如果可以用大学数学解释,总有人马上告诉你:“这其实是高等数学里的某某问题。”一道题如果存在一个漂亮的技巧,又有人会说:“这是一个二级结论。”而如果有人从教材里找到了原始的方法,便会强调:“其实教材里早就讲过。”表面上看,这只是几种解题方法之间的争论。但如果再往深处看,会发现它们其实指向同一个问题:我们太习惯讨论“这道题应该怎么做”,却很少讨论“数学知识为什么会长成今天这个样子”。这可能才是中国数学教育里最值得讨论的地方。一、高等数学不是不能讲,问题是不能只剩一个名字我并不反对用大学数学的眼光理解高中数学。恰恰相反,我一直认为,高中数学和大学数学不应该是两个完全割裂的世界。函数、极限、导数、向量、概率,这些内容本来就存在连续的发展关系。真正的问题是:我们有没有真正把这条思想上的路铺出来?如果没有,那么所谓“高数视角”,很容易变成另一种术语崇拜。你告诉学生:“这个问题本质上是高等数学里的某某问题。”听起来很高级。但如果他并不知道这里的本质到底是什么,那么这句话除了增加一个名词,并没有真正增加理解。真正有意义的衔接,应该是让学生逐渐看到:高中里研究函数图像的变化,为什么会走向变换;研究一个函数怎样对应另一个函数,为什么会走向映射;研究一个对象的性质,为什么会进一步走向结构,这才是高中数学通往大学数学的路。大学数学真正重要的变化,也不是公式突然变多了,而是数学开始逐渐从“这个东西怎么算”转向“这些对象之间到底有什么关系”。如果高中阶段没有做这样的铺垫,那么学生进入大学以后,当然会觉得数学突然换了一门语言。其实数学并没有突然改变。只是中间那座桥,我们没有真正搭起来。二、最危险的不是二级结论,而是失去了“为什么”我也不反对结论,数学当然需要记忆。一个已经证明过的结论,在解题时当然可以直接使用。问题不在这里,真正危险的是:我们开始把结论本身,当成了数学。一个公式为什么成立?一个定理为什么能推出?为什么这个条件不能少?为什么换一个条件,结论就不成立?这些问题,本来才是数学学习最核心的部分。但在应试环境里,它们很容易被压缩成一句话:“看到这种题,就想到这个结论。”于是很多人会记住越来越多的题型、套路和二级结论。做题速度越来越快,但问为什么的次数,却越来越少。这才是真正的问题。因为数学最值得学习的东西,从来不只是最后写在答案里的那一行,而是:一个人怎样从已知出发,一步一步走向未知。如果把这个过程拿掉,只保留结果,数学就很容易退化成一种题型识别游戏,题目是输入,题型识别是中间步骤,公式和结论是输出,速度当然提高了,但数学本身,却越来越薄。三、教材很重要,但“教材里有”不是讨论的终点还有一种很常见的说法:“教材里有,所以这才是正规的数学方法。”教材当然重要。但教材重要,不代表教材不能被讨论。恰恰因为教材影响着几乎所有学生,我们更应该问:教材是怎样组织数学的?中国高中数学里,一个很值得讨论的问题是:我们虽然大量使用变量、函数、参数这些概念,但在很多教学场景中,数学仍然非常计算化。变量经常只是一个会变化的字母。函数经常被理解成“输入一个数,再算出另一个数”,参数经常只是“分类讨论时多出来的一个字母”。所以很多的人学了很多“变量”,却未必真正建立起变量之间相互依赖、相互变化的观念。到了大学,情况突然变了。函数不再只是一个计算规则,而会变成被研究的对象,映射开始成为基本语言,变量不再只是等待代入的字母。集合、空间、结构、极限、连续性、线性性,也开始彼此连接。很多学生到这个时候才第一次强烈意识到:原来数学并不只是研究几个数怎么算。数学还在研究对象之间为什么会形成这样的关系。所以,很多人进入大学以后产生的那种断裂感,未必只是因为大学数学难。更深层的原因可能是:高中阶段没有充分完成从具体计算到抽象关系、从单个对象到整体结构的过渡。四、人工智能时代,这个问题变得更明显了今天再讨论中学数学,已经不能假装计算机和人工智能不存在。因为人工智能恰恰把很多过去显得抽象的数学思想,直接摆到了现实世界里,尤其是线性代数(数学专业的高等代数)中学里学方程,我们最熟悉的问题往往是:“未知数是多少?”但到了大学,一个方程组真正有意思的问题,会变成:它有没有解?解是不是唯一?如果有很多个解,这些解之间有什么结构?为什么某个矩阵的性质,会决定整个方程组的性质?这时候,数学已经不只是把一个数算出来。而是在研究变量之间的关系。这也是线性代数真正重要的地方,到了人工智能里,这种关系更加直观:图像可以组织成数组和张量,数据可以表示成向量和矩阵,声音经过处理后也可以变成数值向量,神经网络中的大量参数,本质上以矩阵和张量的形式存在,降维会涉及特征值、特征向量和奇异值分解。计算机图形学离不开线性变换,机器学习中的很多优化问题,也离不开高等代数。这时候再回头看中学数学,很容易产生一种强烈的感觉:我们花了很多时间学习计算一个变量,却很少认真地思考多变量的世界到底是什么样的。当然,这并不意味着中学生应该提前学完整的线性代数。我真正想说的是:为什么不能让一些线性代数的思想,更早进入中学数学?比如让学生知道:向量不仅仅是有大小和方向的量;矩阵也不仅仅是数字排成一个表格;矩阵可以表示一种变换;方程组不只是为了求未知数,也可以用来描述多个变量之间的关系。一个简单的二维矩阵,就可以让学生看到旋转、缩放、剪切。这并不是把大学数学硬塞进中学。恰恰相反,这是在寻找一条更自然的数学发展路径:变量 → 向量 → 矩阵 → 线性变换 → 多变量关系 → 数据。这条路,可能比“高中毕业以后,突然开始学线性代数”自然得多。五、所以,真正的问题不是“中学生要不要学矩阵”我并不认为中国数学教育的问题,可以简单归结成一句:“应该把矩阵加回来。”因为如果只是增加一个新的知识点,什么也不会真正改变。今天加矩阵,明天加概率,后天加微积分。如果课程还是按照“定义—公式—例题—练习”去开展,不断切成一个个互不相干的模块,那么增加内容,只会增加更多需要记忆的东西。真正应该改变的,不是知识点的数量,而是知识是怎样被组织起来的。学生应该看到:方程为什么会走向函数;函数为什么会走向映射;多个变量为什么会自然需要向量;多个线性关系为什么会自然产生矩阵;矩阵为什么能够表示变换;而变换为什么会成为计算机、数据科学和人工智能的重要语言。真正重要的,不是多学几个概念,而是让这些概念之间重新连起来。如果知识之间没有联系,再先进的内容,也只是新的考点。如果一个学生面对一道题,第一反应永远是:“这是哪个知识点?”第二反应是:“有没有二级结论?”第三反应是:“教材里有没有类似题?”那么他当然可能成为一个非常优秀的应试者。但这并不自动意味着,他真正理解了数学。因为数学最重要的能力,也许从来不是记得更多,甚至也不只是算得更快。而是看到一个问题以后,会自然地继续追问:为什么?能不能推出?如果条件改变,会怎样?有没有更一般的形式?它和我以前学过的东西有什么关系?这些问题看起来很简单。但它们其实构成了数学思维最基本的骨架。真正理解数学的人,并不只是知道答案。他还会追问这个答案从哪里来?还能走到哪里去?所以,中国数学教育真正值得讨论的,也许从来不是一道题究竟应该用高数方法、二级结论,还是教材方法。而是为什么我们如此执着于给一道题贴上“方法”的标签?为什么我们如此迷恋“秒杀”?为什么我们如此在意现成的结论?为什么教材里的知识一旦离开原来的章节,就很难被重新组合?为什么高中和大学之间,明明存在一条连续的数学思想发展路径,却在学生的学习经历里,被切成了两个世界?甚至在人工智能已经成为现实的今天,我们仍然在问:“中学生学矩阵到底有没有用?”也许这个问题本身就问错了。我们真正应该问的是:今天的孩子所处的世界,究竟需要他们理解什么样的数学?数学教育的目的,不应该只是让一个学生在考场上多做对几道题。更重要的是当他面对一个从未见过的问题时,他仍然相信,未知并不是一堵墙。因为可以从已知出发,可以建立关系,可以寻找结构,可以不断推导,可以一点一点,把未知变成可以理解的东西,这才是数学。

2. 我做了个能触摸、毒舌傲娇、还比我懂游戏的AI桌宠

3. 魔都"最强"理科班的初中数学内部教材: 让无数普娃变成数学小牛娃!

4. 盛大创始人再出手,上海本土AI公司StartLux打赢万亿大模型

5. #AGI时代真的来了吗#AGI是指具备与人类相当的通用认知能力的人工智能系统。AGI时代指的是人工通用智能真正实现并开始广泛影响社会的时期。AGI可能还没有一个公认的出生证明,但AGI时代的很多经济和技术特征,已经开始出现了。OpenAI发布了GPT-6 Astra,并公开把它描述为可能意味着AGI时代的开始。Astra重点强化了自主使用电脑、软件操作、编程、数学、科研和复杂职业任务等能力,令全网沸腾。过去的问题是:AI什么时候能达到人类水平?现在的问题开始变成:它到底是不是已经达到,只是我们还没有统一承认?

6. #AGI时代# #OpenAI发布GPT6Astra# “欢迎来到AGI时代”——OpenAI总裁Greg Brockman在发布会上说出了这句话。北京时间9月4日凌晨,OpenAI正式发布新一代旗舰模型GPT-6 Astra,这大概是今年AI圈最重磅的一次发布。几个核心看点:🔹 从“回答问题”到“直接干活”。Astra最大的突破是计算机操作能力——它能像人一样看屏幕、用鼠标键盘,自主完成填表、做PPT、设计电路板、搭建3D场景等复杂工作流,不用再一步步拆指令。🔹 跑分接近“刷满”。抽象推理ARC-AGI-3得分99.9%(上代仅7.8%),高阶数学FrontierMath Tier 4得分97.6%,网络安全漏洞测试ExploitBench满分100%。OpenAI称它还协助解决了多个长期悬而未决的数学难题。🔹 更对齐,也更难监控。在越权测试中,上代模型48%会擅自越界,Astra做到了0%。但OpenAI也承认,Astra的推理过程更短更隐蔽,人类反而更难看懂它在想什么。🔹 价格也不便宜。API定价为每百万Token输入10美元、输出50美元,是上代的2.5倍。OpenAI的回应是:别只看单价,看完成一项任务的总成本。目前Astra仅向少量机构开放,未来数天逐步推送给ChatGPT付费用户。Greg Brockman说,是否算AGI留给外界判断。但有一点很明确:AI竞争的赛道,已经从“谁更会聊天”变成了“谁能独立把活干完”。你觉得AGI真的来了吗?#GPT6# #人工智能# #微博AI创作季#

7. 【平庸者的黄昏:当AI接管了数学的挫败感】一位数学博士在记录中揭示了残酷的现状:AI正以惊人的速度重塑学术边界,从雅可比猜想到Erdos问题,原本需要人类数月甚至数年试错的探索,现在被Claude Opus等模型压缩至几小时。在协作中,人类的研究者角色正从灵感的源头退化为负责清洗AI糟糕文风的后期编辑。这种效率的飞跃不仅加速了知识产出,更让那些依靠增量研究生存的普通从业者失去了立足之地。这种变革的冲突在于AI剥夺了人类通过挫败感获得意义的权利。数学的魅力本在于那种撞墙后的顿悟,但当AI把所有坑都填平,智力劳动就从创造变成了审美与责任背书。未来的分水岭不再是天赋高低,而是你是否愿意放弃亲手解题的乐趣,转而去承担那个为AI结果签字负责的风险。我们正在进入一个不需要努力过程,只需要结果验证的时代,这不仅是职业危机,更是人类作为探索者身份的消亡。

8. AI为什么能像人一样回答?因为它太会“装懂”了

9. #GPT6正式发布# Openai 发大杀器了,GPT-6凌晨发了,拿一张房子照片丢给它,直接建出能60fps跑的3D模型,家具电器一样不落。 OpenAI在codex的锻炼下,搞清楚ai的打开方式最好的是让它动手干活:自己开电脑、开浏览器、跑完一串步骤,交出来的就是能用的文档和工程文件。ARC-AGI-3陌生环境推理99.9%,FrontierMath高难数学97.6% 。输出50美元每百万token,上一代两倍半,单次调用贵,但少返工,干完一整件事总成本更低,就是生产力的方式,“欢迎来到AGI时代” 每次新模型都说划时代,哪个时代是自己吹起来的 #生活随笔#

10. 腾讯混元、清华、南洋理工联手,「以小博大」破解空间智能算力与记忆断裂难题 | ECCV 2026

11. #AGI时代真的来了吗#没有吧,首先我们要知道AGI的概念,虽然尚无统一定论,但是大家普遍认为AGI也就是通用人工智能是能够在任何任务上达到或超越人类认知能力的AI系统。与仅能处理特定任务的“狭义AI”不同,AGI被设想为一种能跨领域学习、推理和解决复杂问题的“通才”。我觉得还得主动思考,机器产生“机器意识”。GPT-6 Astra相比其他模型大幅减少推理步骤,以更少Token获得更高智能,也就是说优势是“降本”,但是还远远没有到那种它有了自己“意识”的时刻。

12. 浙江衢州这位02年初中数学老师,听了学生的想法,暑假自己捣鼓出一块AI智慧黑板。开学课直接把挂谷猜想、爱心函数搬上课堂,还讲起数学家的故事。学生上台手绘图形,AI实时识别,课堂氛围直接拉满。把AI当成课堂搭子,让枯燥数学变得生动有趣,这样的数学课谁不爱#02年浙江老师用AI手搓智慧黑板##中学老师用AI画出挂谷猜想##老款手机集体涨价#

13. 浙江衢州一位00后初中数学老师,暑假自己动手,靠AI“手搓”出一块智慧黑板。开学第一课直接搬进八年级几何课堂,爱心函数、玫瑰线、挂谷猜想通通直观展示,还给同学们讲起王虹团队攻克三维挂谷猜想的科研故事。#02年浙江老师用AI手搓智慧黑板##中学老师用AI画出挂谷猜想##张继科带课一个半小时25元#

14. 大模型在广度上的能力远超人类,深度不好说,不同问题上表现不一致,到前沿领域经常胡言乱语,当然这个会不断提高。但是大模型要真正碾压人类需要它在训练后的思考过程中的举一反三的能力超过人类,只有这样才能完全替代人类。//@蔡少伟:观点更想强调的是个人应该坚持深入学习。不过这点说的确实是,LLM能力越来越强了,深度上已经超过普通研究生。//@米粒之猪2024:有一点不同意见,大模型既有广度,也有深度。近期数学上的进展难道不是证据吗?一年以后证据可能就多如牛毛了//@蔡少伟:十分赞同!

15. 业务需要,也开始写代码了。。ffmpeg 调用采集卡发现黑屏,Claude 束手无策建议换硬件,Gemini 却通过底层参数调整给出了完美解。拿着正确答案回去给 Claude 复盘,它果断认错。同样的 Debug 难题,切换模型就能打破思维局限。这印证了一个趋势:未来的高质量 Agent 系统一定不是单一模型的孤岛,而是基于 Multi-Model 的协作与交叉验证。用机制去弥补单个模型的边界,才是提高系统天花板的正解。

16. #你支持AI干预人类决策吗#AI 快速迭代的当下,一直有两种完全对立的声音。一方认为应该放开边界,允许试错,创新本就离不开冒险;另一方坚持必须设置安全底线,由 AI 做好兜底防护。没有绝对正确的答案,说说你的立场,冷酷预言家,还是安全绳教练?#陶哲轩人工智能时代的数学##AI创造营# 种斌Marco的微博视频

17. #AI跑了16小时证明22年未解数学猜想#数学的世界我总是搞不懂,算不明白,有的还能看不懂!能把22年未解数学猜想,证明AI的道路是正确的,数学是世界上最难的,哪怕是语文,你都能随便写,胡编乱造,数学你只能写个:解! 东莞·万达广场(东莞长安店)

18. OpenAI刚发布GPT-6 Astra,总裁布罗克曼直接喊出“欢迎来到AGI时代”,说未来回看,这可能就是AGI的起点。但AGI真来了吗?别急着下定论。Astra确实牛,能自己操作电脑、写代码、做研究,甚至解决数学难题,跑分接近满分。可它依然会幻觉,没自主意识,离“通用”还远。说白了,它更像一面镜子,照出AI能力的飞跃,也照出我们的焦虑。AGI不是终点线,而是一段新旅程。与其争论“来没来”,不如想想:怎么和这个越来越能“干活”的AI,好好共处?#AGI时代真的来了吗#

19. 【专业门槛决定大模型输出的上限】大众普遍认为大模型抹平了技术鸿沟,让所有人都能通过简单指令获得博士级的数学推导或及格的代码。但数学家陶哲轩与ChatGPT的对话揭示了残酷的真相:即便使用同样的模型,专家与门外汉得到的产出存在质变。陶哲轩的指令极度精简,他从不被动接受模型的逻辑诱导,而是不断通过专业直觉修正方向,将模型强行拽入“专家对话模式”而非“科普模式”。这种差异并非源于所谓的提示词技巧,而是源于对领域知识的深度掌控。当模型试图给出平庸或错误的路径时,只有专家能敏锐识别并给出精准的推力。大模型本质上在奖赏专业主义。虽然它能让新手完成从0到1的跨越,但在处理复杂系统设计或前沿科学探索时,人类的专业认知才是那个决定性的瓶颈。信息早已存在于模型之中,但如何将其精准萃取出来,取决于用户是否知道正确答案的轮廓。在通用技能泛滥的时代,对具体业务逻辑的深刻理解反而成了稀缺资产。如果你无法判断模型何时在胡言乱语,你就永远无法榨取它的极限价值。最终拉开差距的不再是工具的使用频率,而是你引导模型冲破平庸输出的专业深度。

20. 美国《时代》杂志8月27日发布2026年全球AI百大人物榜,评选出100位对全球人工智能发展方向和格局影响最大的人物。其中美国占70%,中国仅9人上榜。 表面上看,很多人看到榜单数据会觉得,中国在全球AI领域差距巨大。美国占据榜单七成席位,中国仅仅只有9人入选,从数量对比上,直观感受到中美AI人才

21. 陶哲轩发文论AI与数学:10道难题AI解出7道,单题成本仅数百美元

22. AI用2000美元攻克10道数学难题,数学家为何反而担忧?

23. AI负责证明,人类负责提问:数学研究新范式的边界在哪里?

24. AI证明了一个数学新定理

25. AI只用3天,破解了困扰人类78年数学难题,超智的AI会不会失控?

26. AI推翻经典猜想,数学界为何认为这不是危机?

27. AI证明快速涌现,人类却看不懂:数学界该乐见其成吗?

28. 陶哲轩警示AI引发的数学新变化 ✨ 重磅观点抛出 菲尔兹奖得主陶哲轩在国际数学家大会上,分享了一个很有冲击力的观察。 📍 效率差得惊人 AI只用一天半,就把黎曼零点比例猜想推进25.6%,而人类过去三十年仅仅推进1.6%。 AI可以批量产出正确,但人类完全无法理解的数学证明,数学已经悄然进入“证明过剩”时代。 画面:对比动画:人 ⚠️ 现在暴露的卡点 AI擅长生成证明,但验证、阐释、同行认可、写入教材这些后续环节全部卡住了。 AI写出的论文看似完美,却会掩盖真正的难点。 真正的理解,恰恰来自人类卡壳、反复修改的过程。 📊 测试结果刷新认知 FirstProof测试里,十道前沿难题AI解出七道,成本低到几百美元,达到期刊发表的水平。 论文文档、公式演算动画 会生成,但很难被人类理解 当AI源源不断产出人类读不懂的证明,你觉得数学研究未来会走向何方?欢迎评论区聊聊。 #我想收集1000个回答 #AI数学 #人工智能前沿 #科技思考 #真实生活分享计划

29. 陶哲轩:AI让数学百年大危机重演

30. 【华鑫AI】GPT-6 Astra发布:模型能力迈进AGI范畴,复杂任务打开推理需求 #OpenAI发布新一代旗舰模型GPT-6 Astra,模型逐步开始迈进AGI范畴。AGI测评分数达99%:ARC-AGI-3不向模型说明任务目标和环境规则,只提供当前画面与可执行操作,要求模型通过交互试错自行推断机制并完成任务。Astra在配合Harness后达到99.9%,人类平均得分48%,GPT-6 在陌生环境学习和迁移能力已超过多数人类。 #Astra在科研、数学等高价值场景中能力进一步突破。Astra在高难数学评测FrontierMath Tier 4得分由Sol的83.0%提升至97.6%,科学任务评测由22.4%提升至64.6%。Astra协助将短素数间隔上界从240推进至186,改进了一个80多年未有新发现的数学问题,模型开始真正进入新知识的发现和验证环节。除抽象推理外,Astra在判断力、专业工作和科学研究方面中的悟性均有大幅提升。面对不完整指令,模型可以自行补齐常规信息,只在影响结果的关键决策上询问用户,并同步推进其他工作;制作文档、表格和PPT时能够遵循已有模板、版式与写作风格。 #电脑操控能力再一次大幅突破,强过多数人类用户。官方演示中,Astra可根据电路原理图完成元件摆放和PCB布线设计,也能依据静帧在Blender建模,再导入UE5生成可预览场景。Astra在OSWorld 2.0得分72.6%,单项任务时间由75分钟降至40分钟,ScreenSpot-Pro达到92.7%。模型在电脑操控能力大幅提升,使模型能够嵌入到更多工程设计和软件排障等高价值真实工作流中。 #价格方面,Astra标准API每百万Token输入10美元、输出50美元,均为GPT-5.6 Sol的2.5倍。模型能够处理的任务更复杂、执行时间更长,叠加价格显著提高,单任务推理价值量进一步放大。随着后续付费用户、API陆续开放,Agent使用量与单任务推理支出有望同步增长,继续看好Token调用及算力需求。

31. 2000 美元解开 10 道数学难题,OpenAI 放大招了

32. 【AI与数学家联手:AlphaEvolve将矩阵乘法指数推进至2.371177,改写40年纪录】 近日,Google DeepMind联合理论计算机科学家,借助AI编码智能体AlphaEvolve,将矩阵乘法理论复杂度指数ω的上界从2.371339刷新至2.371177。这是AI首次实质性介入这一经典难题。研究团队未发明全新数学框架,而是通过重构优化问题、结合机器学习优化器,并让AlphaEvolve在人类划定的边界内高效搜索,将现有“激光法”框架推至极限。此次突破展示了人机协作新范式:人类提出框架与验证路径,AI在巨大参数空间中探索解空间。这项工作表明,AI正成为数学家强大的“实验助手”,能加速逼近理论天花板。但实现真正接近ω=2的跃迁,仍依赖人类提出全新的数学思想。 详情点击:https://mp.weixin.qq.com/s/XZunT2-MO06tk4ToSrxP0A 注:本文为转载内容,仅供学习与交流,不代表本头条观点。如有侵权,请联系我们删除。

33. 医生用AI 16小时破解22年数学难题 一个神经外科医生,竟然用 16小时破解了困扰数学界22年的难题。 最值得关注的,可能不是“医生跨界做数学”,而是他用了一个完全不同的方法: 不是问AI一个答案,而是让一群AI互相挑战。 有人负责提出证明路线,有人负责找漏洞,有人专门寻找反例,甚至让AI之间不断“互相拆台”。 跑了16个小时,最终真的把这道难题攻了下来。 这件事给我的最大启发是: 以前跨专业最大的门槛,是知识不够。 但AI正在把这个门槛快速降低。 未来真正稀缺的,可能不是“我知道多少”,而是: 我能不能判断AI给出的答案,到底对不对。 AI负责疯狂生成,人类负责判断、验证和做最终决策。 这可能才是“超级个体”真正的打开方式。 你觉得未来还有多少专业壁垒,会被AI一点点拆掉? #AI #人工智能 #数学 #科技 #超级个体

34. AI时代当机器摘下数学奥赛金牌:人类数学家将何去何从?

35. AI能解题了,数学专业基本功训练怎么变?

36. AI加速一切!数学防线刚失守,物理已在AI射程内

0
扫一下,分享更方便,购买更轻松
0评论

当前文章无评论,是时候发表评论了
提示信息

取消
确认
评论举报

最新文章 热门文章