搜索
就在前两天，Anthropic祭出Claude 4.7的同时，照例公开了Claude 4.7的「驯化手册」，也就是那份系统提示词（system prompt）。Simon Willison在博客中对这份system prompt进行了逐行对比，哪里加了、哪里删了、哪里改了措辞，全部标了出来。
就在刚刚，被Anthropic视为「太危险」的绝密大模型Mythos，竟在谷歌云悄悄解禁。CMU最新实测爆出，它在真实漏洞攻防中，断层碾压GPT-5.5。
最近，创作者平台 Wirestock 宣布完成 2300 万美元 Series A 融资，由 Nava Ventures 领投，SBVP（Sheryl Sandberg 参与创立）、Formula VC 与 I2BF Ventures 参投，公司累计融资规模达到约 2600 万美元。
OpenAI深夜大地震了，ChatGPT、Codex和API三大王牌紧急合并，总裁亲自挂帅！追兵Anthropic的估值已经飙至9000亿，IPO前生死一战，超级应用要来了。
王腾创办的睡眠健康公司今日宜休已完成新一轮融资。本轮引入CMC资本、弘晖基金、君礼资本，高瓴创投、云九资本、瓴智基金继续超额追投。这位前小米中国区市场部总经理、REDMI品牌总经理，选择以身入局睡眠健康赛道。
数据在验证这种紧迫感，商业媒体 Business Insider 在“年轻天才系列”（Young Geniuse Series） 的栏目中盘点了 16 位投身 AI 创业的年轻创业者，他们的普遍年龄在 16 岁-24 岁之间；不少人是斯坦福、哈佛、麻省理工等名校的在读生或者辍学生；融资速度更是快到离谱，有人在产品尚未定型时就完成种子轮，也有人仅半年时间内就融资 6400 万美元。
陶哲轩，公开演讲承认AI已彻底改变数学工作流。周三，这位菲尔兹奖得主在斯坦福大学发表了一场题为《新数学工作流》的演讲。他要改变自己的工作习惯，不再试图实时跟进所有新证明。
花 149 块钱，能买到什么级别的保洁服务？答：一个阿姨 + 一个工程师 + 一台重逾百公斤的盘式机器人，上门服务三小时。这个配置放在 58 到家的订单页上，一度让人怀疑是不是系统 Bug，少了打了一个零？
太有意思了，刚看到河南郑州西亚斯学院的消息。有几位 00 后创业者回母校干了件事，给学校捐了 20 亿 Token，希望带动学弟学妹做一人公司创业。郑州西亚斯学院是泡泡玛特老板王宁的母校，看来这学校真挺能出人才的。
这场从 Zig 到 Rust 的迁移，实际上只花了大约六天，涉及 96 万行代码，并且在 Linux x64 glibc 环境下通过了现有测试套件的 99.8%。而六天前，Jarred 还在 Hacker News 上说 这是一堆根本还跑不起来的代码，“最后被全Ω部扔掉的概率非常高”。六天后，同样的代码变成了“Zig 的最后一个版本”。