2018 年，谷歌放出过一个叫 BERT 的模型。
它不聊天，也不写文章。
只干一件事，把一段话读懂。
八年过去，对话模型换了好几代。
可你今天用的搜索和审核，里面还有它的影子。
很多 AI工具 的排序和过滤，背后跑的就是这类模型。
一个不会聊天的模型，凭什么活这么久。
答案藏在它的训练方式里。
核[……]
分类： 经验动态
北大把庞加莱猜想写成 320 万行代码，一共花了 3 万美元
庞加莱猜想提出来一百多年。
千禧年难题里，它是最早被攻克的那一个。
现在，北京大学一支团队宣布，他们把它跑通了。
用的工具是一个开源证明助手。
这个助手叫 Lean 4。
数学界这几年最认真对待的就是它。
牵头的是三位年轻开发者。
他们都有数学背景。
后面还跟着博士后和博士生志愿者。
这些人都是自[……]
装上就能用：DeepSeek Harness 把智能体搬进了桌面
把自然界当教科书：一家 AI 制药公司估值翻倍到 20 亿美元
两万亿美元估值从哪来：Anthropic 招股书里的七处细节
一份没打算公开的招股书，先被外媒看到了。
当地时间 9 月 28 日，有外媒披露了一家前沿大模型公司的上市文件。这不是公司主动公布的版本。今年 6 月，它已经以公益公司的身份，向美国证交会秘密递交了注册声明草案。
按规则，公司要在机构路演前至少 15 天公开修订版。完整财务数据要到那时才见得到。路[……]
智能体占了快一半：Cloudflare 为它们单做一条命令行
3000 多个接口，一个不落，全被摆上了命令行。
做这件事的是 Cloudflare。新工具叫 cf，两个字母，专门为智能体设计。
它干的事很直接。域名怎么解析，文件存在哪，边缘上跑什么，这些原本要在网页后台一层层点开的设置，现在开口说一句话就行。
老工具没坏，只是用它的人换了
Cloudflar[……]
9460 万美元押一条少人走的路：诺奖得主要把造蛋白变成流水线
一支试管里泡着六百万条人工设计的序列。
这些序列自然界从没进化出来过。哪条能用，哪条是废品，全靠旁边的测序仪一次读完。一次读完，一次报出。
今年 8 月的一个早上，研究助理博伊兰调出前一晚的实验结果。测序仪旁的那批序列，是他所在的团队一轮一轮设计出来的。换成传统做法，光是测完这一批，就得花上好几年。[……]
记忆投毒能跨会话存活：智能体的记忆该怎么管
一条记录写进智能体的记忆，能在几个月后开火。
今年一份国际安全组织的智能体应用风险榜，把记忆投毒排进了前十。有攻击报告显示，只用普通查询，注入成功率就超过九成五。
这不是吓唬人。
多数团队评估记忆，问的都是怎么读。召回率多少，片段切多大，重排用哪种，要不要做混合检索。
很少有人问另一个问题。这条记[……]
按一下 F2，AI 提示词和刚生成的文件都在手边
给同事发一个刚下载的文件，听起来是十秒能做完的事。真动手往往要一分钟。切回桌面，找到下载目录，一层层点进去，在一堆名字里辨认半天。这种小事每天都要来几遍。
有一个按键能把这串动作砍短。面板直接盖在当前窗口上，常用目录全都摊开，最新的文件排在最前面。找到以后拖进聊天框，松手就算完成。面板随即自己收起。[……]
82亿美元成交：AMD 买下李飞飞的空间智能公司
82 亿美元，全股票。买方是 AMD，卖方是李飞飞创办的那家空间智能公司。从 2024 年初创办，到 2026 年中签下协议，只隔了两年半。
交割完成后，李飞飞出任执行副总裁兼首席科学家。汇报对象是董事长兼首席执行官苏姿丰。两位联合创始人带团队一起并入，组建一个前沿研究组织。交易预计 2026 年[……]
