菲尔兹奖得主陶哲轩，最近正式发文。
结论只有一句。
数学 2.0 时代，已经来了。
他的判断很直接。
AI 正在让数学证明变得泛滥。
而建立在证明稀缺之上的数学 1.0，快要落幕。
这个转变比表面上更重。
因为它动摇的，是数学家衡量贡献的那把老尺子。
先说背景。
从 OpenAI 宣布解决纳维-斯[……]
数学证明正在泛滥，陶哲轩说数学 2.0 时代已至
作者： admin
跟语音 AI 说话总觉得别扭，卡点多半不在识别
AI 写论文不稀奇，写完肯回头核对原文的才稀奇
智能体组队干活，最强的一队也只做完一半任务
Claude 自己组队查缺陷：单干最好 27 个，协作三次都是 66 个
单个智能体自己上，最好的一次找出 27 个缺陷。
换成 Claude 自己组队，连跑三次，每次都查出 66 个。
这是官方刚公布的一组测试结果。
11.6 万行代码里事先埋了 70 个缺陷，让单干和动态工作流各跑三次。
结果，单打独斗最好也没到四成。
组队协作，三次都超过九成。
这组数据的背后，是[……]
OpenAI 把智能体搬上手机：掏出手机就能指挥编程助手干活
OpenAI 最近更新得很勤。
就在刚刚，它的产品负责人 Tibo 亮出了第五天的更新。
那个全天候在线的智能体 dots，现在用手机就能创建了。
他本人也直呼惊喜。
此前已经有很多人在网页和桌面端捏过 dot。
现在，是时候把规模做大了。
已经拿到使用权限的用户，打开手机上的 ChatGPT 就[……]
AI 拆掉软件黑盒，一个开源项目三天涨到八万星
这两天打开 GitHub 热榜，很多人都会看到同一个名字。
REA。
全称说出来有点不客气，什么都能逆向。
上线才第三天，它的星标已经逼近八万。
做个对照。年初带火全民养小龙虾的那阵子，OpenClaw 到第三天累计涨了六万星，当时已经被圈里叫作奇迹。
再往前一阵的 Jev 走的是闭源路线，外人[……]
入门款小模型翻了盘：跑分越过对家旗舰，价格只剩上代零头
Claude 家最小的那款模型换代了。
版本号停在 5.5。
个头依旧最小。
动静却不小。
跑分榜上，它把两家国产轻量款一起挤到了身后。
小模型守门员的位置就此换人。
这家放出一张逐项列开的成绩单。
看下来意思很直白。
靶子是隔壁那款主推的小旗舰。
十项评测里，它赢下十项。
一项都没给对方留。
对[……]
AI 超过所有人类只剩几年，说这话的人把账算到了 4 万亿
超越所有人类的模型，可能只剩几年。
说这话的人，在 Anthropic 管强化学习。
他叫绍尔托·道格拉斯。
在他的设想里，那道门几年内就会被推开。
推开之后，人在电脑上能做的活，模型全能接手。
等机器人再跟上，物理世界里的活也一并盖住。
原本要几个世纪才攒出来的技术进步，会被压进一二十年。
他还[……]
GPT-6 免费开放：聊天框长出了界面，安全报告也亮出两处退步
免费档的用户，这次真的摸到了旗舰模型。
今天起，第六代模型开始向免费档推送。
愿意付钱的用户早一天拿到。
不花钱的用户也一起拿到了。
这在以前没发生过。
过去免费档总要多等一阵子。
换代的间隔越来越短。
同一个模型家族，这次铺了两条线。
一条给付费的人。
一条给不花钱的人。
两条线的差距，这次被压得[……]
