Jev与System One模型：TypeSafe砍掉文本生成后做出了什么
9月15日，一家名叫 TypeSafe 的 AI 公司发布了第一个公开模型 Jev。它的特别之处在于不生成任何文字：输入一段文本或一份数据，返回的是一个选项、一个分数或一个是/否判断，每个答案都附带可信度概率。发布当天，Jev 冲上 Hacker News 首位，讨论区涌入数百条评论；TypeSafe 同步宣布拿到 DCVC 领投的 4000 万美元种子轮。…
最新文章
DeepSeek V4.1 Flash 技术解读：CED 架构、890 字节 KV Cache 与接棒 V4 Pro
9 月 10 日，DeepSeek 正式发布 V4.1 Flash。按官方公告的定位，这是全新模型结构系列中目前最小的型号，552B 参数的 MoE 模型，原生支持多模态视觉理解，上下文长度 1M token。真正让它成为话题的，是官方给出的一组对比结论：经内部和外部多方测试，V4.1 Flash 在性能、费用、速度、总用时等指标上全面超越自家的旗舰 V4…
Homebrew 7.0：官方GUI背后，安全与性能的重写
2026 年 9 月 13 日，Homebrew 发布 7.0.0。这个 macOS 上安装量最大的第三方包管理器在这个大版本里做了两件事：把官方图形界面 BrewUI 推到正式发布状态，同时重写了安全模型，内置漏洞数据库 brew vulns。与此同时，Intel Mac 被移到 Tier 3 支持层级，2027 年 9 月之后不再有预编译包。 对一个 2…
画一只骑车的鹈鹕：大模型最出名的民间测试是怎么打分的
画一只骑自行车的鹈鹕，能测出大模型的什么？这个问题没有标准答案，但过去二十个月里，几乎所有值得关注的语言模型都被迫回答过它。出题人是 Simon Willison（Datasette 作者，SQLite 的联合共同作者之一），题目只有一句英文提示词：Generate an SVG of a pelican riding a bicycle。模型交出的画作以…
AI 开始经营真实公司：Andon Labs 开放 Pion 平台
旧金山一家零售店的「店长」不是人。进什么货、定什么价、雇不雇人、给店员发工资、回复供应商邮件，这些决定都由一个 AI 智能体在远程做出，店里理货收银的是它雇的人类店员。这家店叫 Andon Market，今年 4 月开业，至今仍在亏损，但经营它的智能体已经换过好几代模型，开店的公司判断盈利只是时间问题。在斯德哥尔摩，同一家公司还开着一家 AI 经营的咖啡馆，…
MiroFish：72k star 开源预测引擎的推演机制拆解
一个半年没有发过新版本的 AI 项目，正在 GitHub 上以每天五百多颗 star 的速度重新冲榜。9 月 15 日的 GitHub Trending 榜单上，666ghj/MiroFish 排在第五位，日增 524 star，总星数 72,964，fork 数 11,276（GitHub API 数据）。这个名叫 MiroFish 的开源项目，定位是「群…
果蝇脑仿真接上ChatGPT：一颗按真实连接组布线的大脑有了语言接口
2026 年 9 月 11 日，一个账号名为 Chetaslua 的开发者发出了自己过去几天的作品：把果蝇全脑仿真的神经活动接进 ChatGPT。果蝇「说」出的第一句话是一个问题： "i smell vinegar and yeast. i taste sugar. it is warm and bright. what should i do?" （我闻到…
Claude Fable 5.1 破解 Cyphral Distich：一道悬了373年的密码，钥匙原来印在同一本书里
1653年，苏格兰作家托马斯·厄克哈特（Sir Thomas Urquhart）在伦敦出版了他最后一本书《Logopandecteision》。书的末尾印着两行数字，共64个，没有说明，没有钥匙。此后373年，这64个数字被一代代密码爱好者翻出来，用尽频率分析、单表替换、同音替换，全部失败。1899年2月18日，《Notes and Queries》杂志把它…
OpenAI 最快模型谢幕：Codex-Spark 的七个月与一个档位的诞生
OpenAI 史上最快的模型要下线了。9 月 11 日，Codex 负责人 Thibault Sottiaux 在 X 上宣布，GPT-5.3-Codex-Spark 将在下周退役。从 2 月 12 日上线到离开模型列表，这个模型的生命周期只有七个月。 官方对下线的解释很简短：用量持续下降，而且手里已经有明显更好的模型。Sottiaux 在帖子末尾补了一句玩…