两千多年来，最聪明的一批大脑一直在爬同一座山。这座山叫数学。从欧几里得到高斯。再到希尔伯特和怀尔斯。每征服一座山峰，都要赌上一生。
这个英雄时代，可能要结束了。
一位 AI 公司的联合创始人写了篇长文。题目叫《数学何去何从》。
文章在社交平台上炸了。
在他笔下，数学家是丛林里攀岩的探险家。AI[……]
AI 把那面旗插上了没人爬过的山顶，数学要毕业了
作者： admin
大模型没有记忆，多轮对话的上下文靠四种消息拼出来
大模型有个反直觉的地方。
它没有记忆。
这一轮说的话，下一轮就当没发生过。
原因是它没有状态，输出只看这一次喂进去的内容。
很多接口也不在服务端替你保存会话历史。
想让它记住，只能在程序里自己维护一份消息列表。
消息是这套东西里最小的单元。
它既代表模型收到的输入，也代表模型给出的输出。
一轮对话[……]
AMD 花 82 亿美元买一张船票，芯片巨头开始抢模型公司
9 月 28 日，一笔大交易落地。
芯片厂商 AMD 出价 82 亿美元。
全股票交易，买下一家叫 World Labs 的公司。
这家公司成立才两年多。
员工大约 70 人。
首款商业产品上线不到一年。
新一代模型发布还不到一个月。
买的不是当下。
消息公布当天，它自己的股价收跌 3.61%。
市[……]
哈佛教授用 Claude 搞科研，90 天出 36 篇论文稿
全球拿 AI 做科研的人，姿势可能一开始就错了。
有位哈佛物理学家发现，问题不在模型本身。
在于我们总把它当成一个人。
他叫施瓦茨，量子场论教材的作者。
他试了大半年，摸出一套完全不同的用法。
别把 Claude 当科学家。
那些够不着的深层问题留给自己。
只挑它最擅长的题交给它。
结果有点吓人。
[……]Codex 接上本地笔记库，文档能自动变成演示稿
手里攒了几百篇笔记。
真要找的时候，还是一通翻。
大多人都有这个毛病。
存进去容易，用起来难。
其实换个用法，这堆笔记能自己干活。
让一个会动手的助手读进去。
替你整理，替你归档，替你出成品。
Codex 就是干这个的。
它不只会写代码。
接上本地的笔记库，能做的事比你想的多。
下面把整套流程走一遍[……]
Codex 征集需求，评论区集体喊起了对手的名字
Codex 的负责人前几天在社交平台发了一条帖子。
他问，Codex 里还缺哪一样东西，是你最希望我们有的。
本来是一次常规的听劝。
结果将近七千条回复涌了进来。
队形出奇地一致。
一长串人都在刷同一个名字。
那是对手家的模型。
图注：Codex 负责人在社交平台发帖征集需求，这条帖子浏览量超过八[……]
少样本示例太费钱，把规矩写进系统提示词
上一回我们聊了少样本示例。
那招确实好用。
给个例子，模型就照猫画虎，格式规规矩矩。
可它有个很现实的毛病。
费词元。
每次发请求，样例都得跟着消息历史一起送过去。
你一天跑一千次，这份样例就重复传一千遍。
账单上都是白花花的钱。
图注：一张平台介绍卡，写着以清华的时序大模型为核心，用接口完成复杂[……]
机器人不缺身体了，卡住的是那颗会自己拿主意的大脑
一个平台上有四万四千人，正在教机器人过日子。
他们把每天做的事拍成视频，再上传给机器人学。
图注：那张公告卡片上写着，要建全球最大也最多样的物理数据集。
三个月里，一百多个国家的用户传了上千万条视频。
平台每秒收到三十分钟新内容，相当于每天记下四年的工作量。
图注：一段播客访谈的视频封面，麦克风[……]
AI 总爱画美女，这个默认值已经五十年了
今年五月初，X 上一条五秒钟的视频火了。
一场韩国职业棒球联赛的转播，韩华鹰队对阵斗山熊队。
镜头扫过看台，停在一个穿白上衣和牛仔裤的女人身上。
她翘着腿。
某一刻，她好像叹了口气，移开了视线。
看起来对比赛很不满。
图注：棒球转播里被镜头扫到的那个「普通韩国女性」，其实是生成的。
视频配文只有五[……]
机器人进店打工了，真正抢手的是它的大脑
十一假期里，一批不用歇班的员工上了岗。
它们有的站在冰淇淋店里，有的守在便利店柜台后面。
不领工资，也不用排班。
奶茶店里，汽车 4S 店里，也可能碰上它们。
它们替下真人员工，靠的是识别、处理和执行三样能力。
但论效率和灵活性，机器人还差一截。
差距得靠真人动作数据来补。
眼下，京东这类公司正在推[……]
