qorl 技术解读：SFT 加强化学习把 4B 模型训练成 Postgres 查询规划器
qorl 技术解读：用 SFT 加强化学习把 4B 模型训练成 Postgres 查询规划器 训练一个 40 亿参数的开源小模型，让它在 Postgres 默认查询计划之外找出更快的执行方案：工程师 Rohan Bansal 的 qorl 项目把这件事做完了，并公开了全部代码与训练账本。在数据库评测基准 Join Order Benchmark（JOB）的…
标签: AI
清除筛选
iPhone 18 Pro 如何证明照片没被 AI 生成：Apple Reference Image 架构拆解
AI 生成图像的门槛已经低到一部手机就能完成，一张照片"看起来像真的"不再等于"它真的发生过"。苹果在 9 月 9 日发布的 iPhone 18 Pro 系列上给出了一个硬件级的回应：Apple Reference Image，一个可选的拍摄模式，让主摄像头在感光的瞬间就用传感器内置密钥签署像素数据，最终产出一张附带后量子签名的"参考图像"，用来证明"这是这…
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…
画一只骑车的鹈鹕：大模型最出名的民间测试是怎么打分的
画一只骑自行车的鹈鹕，能测出大模型的什么？这个问题没有标准答案，但过去二十个月里，几乎所有值得关注的语言模型都被迫回答过它。出题人是 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》杂志把它…