新闻
通稿
不er，咋陶哲轩也成AI减速派了？？
何美
阅读约 1 分钟
785467 阅读
配图：不er，咋陶哲轩也成AI减速派了？？
新闻导读
慈航静斋覆雨翻云全部章节作者与审校信息偶尔露出，出了问题至少有追溯可能，更踏实。内容更新偏稳，宁缺毋滥，注水感不强。兴趣标签认真调两次就比较准，少推不相干的八卦。能推动行为改变，知识闭环才算真正完成。无论新手还是熟手，都能比较快找到自己的节奏。作为主力科普入口长期留下很合适。
提出解答：未经验证的提议机械验证：形式化证明语言如Lean检查通过阐释工作：把生硬的推导翻译成人能看懂的语言同行评审：大家一起消化，成为整个行业的共识写入教科书：融会贯通，启发下一代学生
这就像20世纪初的交通状况：原有的街道是为行人和马车设计的，汽车突然被发明并直接涌入同一条街道，结果造成了全面的拥堵与瘫痪。
现在的AI为什么数学这么厉害？因为它们吞噬了人类几个世纪以来写在教科书里的精华，那些被无数数学家反复打磨、消化透彻的高质量数据。
菲尔兹奖得主联名写了一封公开信大致意思就是说，AI公司不能把数学打benchmark刷，这种做法与数学界追求的目标，是严重错位的。
网友观点
我是被“把新闻里的科学讲明白”这一点吸住的。图示和类比都挺到位，读完往往能记住核心观点，而不是只剩“好神奇”。遇到防晒霜原理是什么相关谣言，至少知道该从哪几处质疑。饭局上遇到偏方安利，能更温和也更有根据地解释几句。适合当枕边和通勤的固定搭子，不吵，但有用。
免责声明：本文内容来自公开报道与编辑整理，仅供参考。转载请注明出处；版权争议请联系本站核实处理。页面地址：http://www.gxycedu.cn/te_inform?id=n3f0pk-fvcxlg
评论区
热门讨论 · 占位展示期待你的精彩发言。