新闻
搜索
不er，咋陶哲轩也成AI减速派了？？
张树永
阅读约 5 分钟
912995 阅读
配图：不er，咋陶哲轩也成AI减速派了？？
新闻导读
不er，咋陶哲轩也成AI减速派了？？进化、气候、能源这些大话题写得生动，又不断提醒易错点。既有生活向冷知识，也有扎实的基础原理拆解，层次还算分明。搜索支持问题句，定位比纯关键词好用不少。像锂电池能量从哪来这种问题，讲解顺序清楚，不太把人劝退。懂用户时间结构的编辑，用起来特别加分。
提出解答：未经验证的提议机械验证：形式化证明语言如Lean检查通过阐释工作：把生硬的推导翻译成人能看懂的语言同行评审：大家一起消化，成为整个行业的共识写入教科书：融会贯通，启发下一代学生
这就像20世纪初的交通状况：原有的街道是为行人和马车设计的，汽车突然被发明并直接涌入同一条街道，结果造成了全面的拥堵与瘫痪。
现在的AI为什么数学这么厉害？因为它们吞噬了人类几个世纪以来写在教科书里的精华，那些被无数数学家反复打磨、消化透彻的高质量数据。
菲尔兹奖得主联名写了一封公开信大致意思就是说，AI公司不能把数学打benchmark刷，这种做法与数学界追求的目标，是严重错位的。
网友观点
试着把一个主题从头梳到尾，以前混在一起的概念终于归位了。大话题能串成小课，读完有脉络，不是散落的信息碎片。纠错入口找得到，肯改、改得透明，比完美人设更让人信。好的工具不吵不闹，但你会总想起打开看一眼。比如想弄懂平均数可能藏着什么陷阱，基本能找到不绕弯的解释。
免责声明：本文内容来自公开报道与编辑整理，仅供参考。转载请注明出处；版权争议请联系本站核实处理。页面地址：http://www.gxycedu.cn/te_inform?id=knutqz-9uesg6
评论区
热门讨论 · 占位展示期待你的精彩发言。