有点子了，就去执行……
不用LLM的终端助手TERMy，凭啥比AI工具快还安全？
花了2个月折腾出的TERMy，是个不用LLM的Linux终端助手。它的开发者做过PJON——一个2010年就启动的网络协议，最近苏黎世联邦理工学院还把这个协议做成了硅芯片版本。开发者自己记性差，...
OpenAI内部：编码智能体正在重塑AI研究
OpenAI内部的编码智能体，正在改变他们做AI研究的方式。从内部早期数据能看到，这不是空泛的说法，是有实际变化的。编码智能体的内部实锤数据内部数据覆盖了几个核心维度：智能体的使用情况、实验推进...
Jakub Pachocki谈AI升级：对齐难题与安全呼吁
最近聊AI的人都在说模型又变聪明了——推理更快、规划更准，跨领域干活的能力也在涨。但Jakub Pachocki没跟着凑“能力天花板”的热闹，他盯着的是个更棘手的问题：AI能力越强，和人类意图对...
OpenAI等三方启动AI项目 支持乌克兰独立新闻
OpenAI、乌克兰全国新闻出版商协会（AIRPPU）、世界报业与新闻出版协会（WAN-IFRA）联合宣布，启动一项AI专项计划，专门针对乌克兰当地新闻机构，核心目标是帮这些机构强化创新能力、抗...
1Password用Codex将工程效率提升21%
1Password的工程团队，用Codex把内部开发效率拉了21%——不是虚标的噱头，是实打实的生产就绪级提升。21%效率提升，是怎么来的？之前他们搭建新功能或内部工具，编码速度和安全合规两头卡...
OpenAI扩圈支持新闻业：从课堂到编辑部的具体动作
OpenAI最近把支持新闻业的范围扩了——覆盖的人从课堂里的学生、老师，到编辑部的一线记者，再到新闻机构；给的支持是三样：工具、培训、合作。这次扩圈到底做了啥？没放具体的金额，也没推出某款专门针...
OpenAI设500万美元拨款 支持青少年AI发展独立研究
OpenAI拿出500万美元，正在开放申请一笔拨款，专门资助独立研究者做生成式AI对青少年发展、福祉和安全的研究。这笔钱投给谁？是给外部独立研究者的，不是OpenAI自己的内部团队。研究方向卡得...
AI产出纳维-斯托克斯千禧年问题的Lean形式化证明
现在有一份AI生成的纳维-斯托克斯千禧年大奖问题解决方案，附带完整书面报告和Lean语言撰写的形式化证明。我翻了这份材料，和普通AI生成的数学猜想不同，它的核心是两套东西，不是空架子。核心产出的...
ChatGPT Images 2.5：让想法、草图生成更贴合本意的图
ChatGPT Images 2.5刚上线，核心功能围绕一个小痛点——很多人用图像生成工具时，输入的想法没被准确落地，出来的图总有点“不对味”。【它能处理哪些输入？】不管是脑子里飘的、说不清的模...
AI干活的新变化：更能打，也更省钱
现在的AI，终于同时做到了「更能干活」和「更便宜」——这不是技术圈的噱头，是要真刀真枪拓展人和企业的工作边界。AI能做的，比你想的多以前聊AI，总绕不开两个极端：要么是能力飘在天上，只能做些花里...