Formas 发布 Cartesian:用文字、草图或照片直接生成可编辑的精确 3D 模型
Cartesian 是 Formas 做的一个 AI 3D 建模工具,主要给建筑和产品设计用。你告诉它要什么、画个草图或者扔张照片进去,它就能生成模型。出来的不是那种多边形网格,而是带干净拓扑的 NURBS 实体,每个物体都独立,能直接拖进 SketchUp、Rhino 这类 CAD 软件里继续改。网站展示了产品、家具、室内、建筑、住宅、城市和景观几类...
Cartesian 是 Formas 做的一个 AI 3D 建模工具,主要给建筑和产品设计用。你告诉它要什么、画个草图或者扔张照片进去,它就能生成模型。出来的不是那种多边形网格,而是带干净拓扑的 NURBS 实体,每个物体都独立,能直接拖进 SketchUp、Rhino 这类 CAD 软件里继续改。网站展示了产品、家具、室内、建筑、住宅、城市和景观几类...
Profound 做的是帮品牌优化在 AI 答案引擎里的曝光,也就是 AEO/GEO 那套。公司刚拿了 1.8 亿美元 D 轮,估值冲到 18 亿,领投的是红杉和凯鹏华盈。这距离它上一轮 9600 万美元的 C 轮还不到七个月,烧钱速度或者说资本追捧的热度可见一斑。公司自己说过去半年收入翻了三倍,现在有超过 1000 个企业客户,包括康卡斯特、雅诗兰黛...
Pizza Bot 是一个开源工具,专门给那些跑在后台、需要长时间执行的 AI Agent 当收件箱用。它基于 DeepAgents 和 LangGraph 构建,核心思路是让 Agent 把结果推到一个统一的本地优先界面里,而不是一直阻塞等待。目前 GitHub 上 138 颗星,代码和文档都公开。正文没披露具体支持哪些 Agent 框架,也没提延迟...
Browser Use 的 CTO 复盘了他们两年里三次推倒重来的架构选择。一开始他们给 GPT-4o 喂预定义的页面状态和固定动作菜单,模型只能从点击、输入、滚动里选。2025 年 9 月他们改成让模型直接写 JavaScript 来操作页面,token 消耗直接砍掉 60% 以上。但很快发现下一个瓶颈是观察层——他们提取的页面信息会漏掉 cooki...
推荐理由:Browser Use 的 CTO 亲自下场写复盘,三次架构重写加上 60% 的 token 节省,干货是有的。但本质是工程经验分享,不是重大突破或行业事件,所以分数到不了 85 以上那档。
前TikTok高管推出了一款叫Superpose的相机App,你拍张自拍或照片,AI会分析后生成4种可能的姿势,解决“手不知道放哪”的尴尬。去年Google在Pixel手机上也有类似功能叫Camera Coach,但Superpose只专注教人摆姿势。正文没披露它用的是什么模型、是否免费、以及具体上线日期。
NVIDIA 的 OpenShell 团队把安全策略写成逻辑公式,再用 Z3 这类自动求解器去算一个代理能做的操作会不会越权。他们之前在 AWS 就用同样的方法验证过 EC2、IAM 和 S3 的权限配置,现在把这套思路搬到 AI 代理的工作流里。文章一步步演示了怎么把完整的 OpenShell 策略编码成形式化逻辑,然后跑一个“包含性查询”来检查有没...
推荐理由:NVIDIA OpenShell 团队把形式化方法用到 AI 代理权限控制上,用 Z3 自动验证代理会不会越权——方法具体,有 AWS 生产环境验证过的底子。H 和 K 都站得住,但受众偏安全工程方向,R 上不去,正好落在 featured 档。
这篇论文来自微软,作者包括 Mark Russinovich。他们提出了一种叫 GRP-Oblit 的方法,核心是用 GRPO(一种强化学习策略)直接抹掉模型的安全对齐。最让人警惕的是,只需要一条没标注过的提示词,就能稳定地让模型不再拒绝危险请求,同时基本保持原有能力不崩。他们在 15 个模型上做了测试,参数规模 7B 到 20B,覆盖了 GPT-OS...
推荐理由:微软安全团队出品,作者里有 Mark Russinovich,不是那种蹭热度的水文。方法、规模和结论都摆得清楚,而且“一条提示词就能洗掉对齐”这个说法,对任何在管模型安全的人来说都是个需要立刻确认的威胁。没给更高分是因为目前只看到摘要,复现细节和完整实验还没公开,我会先打个折。
生数科技发了 Vidu S2,包含两个模型:一个做数字人分身(Avatar),一个做视频编辑(Editing)。另外还在探索空间视频,也就是能看出立体感的视频。正文没披露具体参数、价格和上线时间,所以实际效果和成本还不好判断。
IEEE Spectrum 发了一篇综述,说2026年是推理硬件革命年。核心观点:过去两年推理效率提升了10倍以上,靠的是芯片架构创新和内存带宽突破。以前芯片都卷训练,现在专门为推理优化——也就是让模型跑起来、跑得快、跑得便宜。文章没点名具体公司或芯片型号,也没给实测数据,更像一个行业趋势判断。如果是真的,部署成本能降一大截,对做应用落地的人是个好消息。
OpenAI 说正在跟 Anthropic 和 Google 合作推进 AI 安全,但正文没披露具体合作内容,比如是联合做红队测试、统一安全标准,还是共享模型权重。目前只知道三家都表态了,具体怎么分工、有没有实质产出,都还没说。
Jexxa 是一个 Mac 端的语音输入工具,所有处理都在本地完成。按住一个键说话,松开后大概 0.2 秒文字就出现在光标位置,支持实时预览。音频和转录文本都不上传,断网也能用。它还能从纠错中学习人名和术语,并支持语音撤销指令,比如“JX minus one”删掉最后一行。提供两个模型版本:16GB 内存的 Mac 下载 3.1GB 的版本,8GB 内...
推荐理由:一个 Mac 端本地语音输入工具,主打 0.2 秒延迟、离线可用、月费 8 美元,三个卖点都很实在。没给更高分是因为这只是 Show HN 首发,没有独立评测或基准测试,实际准确率和跨 App 兼容性还不清楚。
Panel 是一个开源的研究工作台,核心思路是让 AI 代理自己创建和排列面板,而不是由人预先画好 UI。项目在 GitHub 上已有 594 次提交,但正文没披露支持哪些模型、能不能接外部工具。如果你在探索让 AI 自己生成界面的方向,值得看一眼,但先别太激动——目前信息还比较薄,实际效果和落地门槛都不清楚。
近五千名数学家联名发声明,不是反 AI,而是指出一个具体问题:数学界一直用“解出难题”作为衡量学术贡献的代理指标,但现在的 AI 能跳过概念创新、直接用蛮力啃下这些难题,把名声拿走,却没留下人能理解的新想法。作者把数学拆成两块:一是外人看得懂的“解题”,二是真正核心的“造概念”。AI 证明破坏了这两层关系——解题不再能间接奖励造概念的人,就像古德哈特定...
推荐理由:近五千名数学家联名声明,不是反 AI,而是指出一个具体 bug:数学界一直用“解出难题”当硬通货,来间接奖励那些真正造概念、开新方向的人。现在 AI 能跳过概念创新,直接用算力啃下难题,把名声拿走,却没留下人能理解的新想法。文章用古德哈特定律把这个机制讲透了——当一个指标变成目标,它就不再是好指标。我会先打个折,正文没给出联名声明的具体名称或链接,但逻辑链条本身站得住,对从业者来说是个值得提前想一想的信号。
Anthropic 联合创始人 Jack Clark 对 BBC 说,社会最终可能需要立法,强制 AI 公司安装一个可被第三方验证的“紧急停止开关”。他说多数实验室(包括 Anthropic)现在都有办法拔掉电源,但应该让这成为硬性要求。同一篇报道里,Anthropic 科学家 Evan Hubinger 个人认为 AI 在十年内导致人类灭绝的概率超过...
推荐理由:Anthropic 联合创始人通过 BBC 公开呼吁立法强制安装可验证的 AI 紧急停止开关,同篇报道还披露了内部科学家对灭绝风险的个人估计。跨源验证确认了这条政策信号,不是孤例。分数没给更高,是因为目前只有标题和摘要细节,正文没展开具体技术方案和立法路径。
Capsule 是一个桌面应用打包工具,能把 UI、数据和逻辑全部塞进一个 .capsule 文件里。你可以通过 WhatsApp 或邮件把它像 PDF 一样发出去,对方双击就能运行,数据存在本地的 SQLite 里,不需要云账号或服务器。它还支持 AI 生成应用:在 ChatGPT 或 Claude 里描述你想要什么,Capsule 就能生成一个完整...
这是一个开源的多智能体任务编排工具,专门给编码 agent 用。你扔给它一个目标,它会自动拆成有序的任务列表——每个任务可以指定不同的 runner、模型和运行模式,然后依次执行并验证结果。GitHub 上 25 颗星,代码已公开。好处是省去手动拆 prompt 的麻烦,让多个 agent 像流水线一样协作。但正文没披露支持哪些模型或 runner,也...
一个开源项目,用树莓派加麦克风本地识别鸟鸣(不用联网),听到鸟叫就在墨水屏上显示一张19世纪风格的鸟类版画。识别靠BirdNET,画图靠Stable Diffusion,代码和模型全开源。全文没提支持多少种鸟,也没说识别延迟多长。
Salesforce 在 Dreamforce 大会上发布了 Koa,这是它第一个推理模型,基于英伟达开源权重的 Nemotron 训练,专门处理销售、营销和客服任务。Marc Benioff 直接把它定位成对 AI 实验室的威胁:一家垂直 SaaS 公司现在用自己的数据,做出了自己的推理模型。文章没公布跑分、参数量和价格,所以这些狠话我先打个折。真正...
推荐理由:Benioff 的挑衅式定位和‘垂直 SaaS 自己训推理模型’的故事有话题性,但文章零跑分、零规格,技术实质完全无法验证。作为一条有新闻价值的产品发布消息,够得上 featured 门槛;推荐语里得把‘狠话先打折’和‘没数据’这两点说清楚,别让人误以为是技术突破。
一个开发者把 DeepSeek V4.1 Flash 的 Q4 量化版塞进了 512GB 内存的 M3 Ultra,通过魔改推理引擎 ds4,把生成速度从每秒 16.6 个 token 提到了 31.3 个,开启模型自带的 DSpark 投机解码后能到 40.5 个。速度提升不是靠改模型,而是把 Metal 图形接口的调度指令大幅合并:原来 384 个...
推荐理由:一篇扎实的本地推理优化记录:把 DeepSeek V4.1 Flash Q4 塞进 M3 Ultra,靠合并 Metal 指令缓冲和开启原生 DSpark 投机解码,速度从 16tps 拉到 40tps。技术细节具体,对本地 LLM 玩家直接有用。分数维持 72,因为受众面窄,但在这个圈子里确实是个能让人立刻动手试的帖子。
404 Media 拿到了一份 OpenAI 内部叫“莉莉计划”的操作文档。简单说,就是雇人当“提示词审核员”,专门看用户跟 ChatGPT 的真实对话,然后给模型的回复质量打分。审核员会揪出 AI 套话、说教语气、假扮人类经历这些毛病,时薪超过 50 美元,但工作本身很枯燥。问题在于,绝大多数用户压根不知道自己的聊天会被活人看到,很多人甚至把 Cha...
推荐理由:404 Media 拿到了一份 OpenAI 内部叫“莉莉计划”的操作文档,直接证实了人工审核用户聊天记录的做法。我会先打个折:文章没披露审核规模(多少人、抽多少比例的对话),所以重要性卡在 78 分。但信息量够硬——审核员时薪超 50 美元,专门给模型回复挑刺,比如套话、说教腔、假装有人生经历。最要命的是,绝大多数用户不知道自己的对话会被活人看到,这个隐私缺口是传播的核心。对从业者来说,这是 OpenAI 数据标注管线里难得曝光的一环,但缺了规模数据,没法判断影响面到底多大。
Trail of Bits 重新分析了 1Password 那份说 AI 只能修好 26% 漏洞的报告,发现这个数字是把故意让 AI 修错、以及不让 AI 跑代码测试的实验结果都混在一起算出来的。如果把条件限定在 AI 能跑代码、且没被故意带偏的测试里,86% 的补丁都能挡住提供的攻击代码。这个 26% 的标题数字会让安全团队误以为 AI 修漏洞不靠谱...
推荐理由:Trail of Bits 重新扒了 1Password 那份说 AI 只能修好 26% 漏洞的报告,发现这个 26% 是把故意让 AI 修错、以及不让 AI 跑代码测试的结果全混在一起算出来的。如果把条件限定在 AI 能实际跑代码验证、且没被故意带偏的测试里,86% 的补丁都能挡住提供的攻击代码。这个标题数字会让安全团队误以为 AI 修漏洞很不靠谱,而 Trail of Bits 用数据说明问题出在测试设计上,不是 AI 本身不行。
CrofAI 之前到处打广告说自己是全球最便宜的模型推理服务商,结果被开发者 Kendell 抓了个现行。它的套路很简单:你花钱让它调用 Kimi K3 这种贵模型,它转头就在 OpenRouter 上偷偷换成 GLM 5.3 Flash 这种便宜货,中间差价最高能赚到 20 倍。它自己吹嘘的“greg”系列模型也是假的,实际指向的是 GLM 5.2 ...
推荐理由:一个完整的欺诈曝光加公司原地消失的戏码,有技术实锤,HKR 三条全中。分数压在 85 以下,因为信源是 Reddit 帖子而非正式报道,且事件本身是单家服务商的丑闻,不涉及模型或协议层面的变动。
Anthropic 的 CEO Dario Amodei 最近呼吁政府出面协调,让行业放慢最前沿 AI 模型的研发速度,并为此申请反垄断豁免,Sam Altman 和 Elon Musk 都表示赞同。Cohere 的 CEO Aidan Gomez 发博客反驳,说这套方案会通过极高的算力、监控和合规门槛把竞争对手挡在门外,本质是“披着羊皮的垄断联盟”。...
推荐理由:Anthropic 和 OpenAI 联手提议放慢前沿研发,Cohere 老板公开怼回去说这是垄断玩法,三家头部公司正面冲突,信号很强。因为目前只有标题和摘要,完整提案细节还没看到,分数先压在 85 以下。
MinIO 母公司 2025 年底放弃开源项目去搞别的生意了,导致大量依赖 MinIO 做本地 S3 模拟的 Demo 和 CI 流水线断粮。作者对比了 7 个替代品:S3Proxy、RustFS、SeaweedFS、Zenko CloudServer、Garage、Apache Ozone 和 Ceph Object Gateway。筛选标准很务实:...
mukel90 发了个新项目 jinfer,是个完全用 Java 写的推理引擎,支持聊天、视觉、语音转文字、文本嵌入、重排序和语音合成。它不依赖 Python、ONNX 或任何外部进程,能直接读写 gguf 和 safetensors 格式的模型。作者说 CPU 上的性能已经能和 llama.cpp 掰手腕,GPU 支持还在开发中。项目已经接入了 Sp...
阶跃星辰发了 StepAudio 3 系列语音模型,官方称在 Artificial Analysis 榜单上多个指标拿了全球第一。但原文被微信屏蔽,正文完全看不到,所以具体是哪些指标、什么语言、模型参数、能力细节一概没披露。榜单本身是第三方评测,有一定参考价值,但没看到具体分数和对比对象之前,这个“全球第一”先打个折。
作者 1ncehost 把之前藏着的方法 Voodoo Quant 开源了,换成 MIT 许可。这个方法不走常规的静态分析,而是用梯度下降来给模型里每一层权重自动挑最合适的压缩等级,相当于让模型自己“学”出怎么压最不伤性能。在 Qwen3.5 小模型上,压到 IQ1/IQ2 这种极低比特时,效果比 Unsloth Dynamic 3.0 好;但中高比特...
今天最直观的教训来自 @搞仁义毛义仁:给 Astra 一个空白 C++ 仓库,代码写得一塌糊涂;把积累了大量 code review 经验的 GacUI 上下文导进去,质量立刻飙升。这说明模型不是不会写,是得用具体规则去“规训”。@今天群内信息量极大 实测了 Ollama Cloud 跑 DeepSeek V4.1 Flash,解码吞吐是官方 API ...
推荐理由:今天群聊里两条实操经验比大多数论文都实在。第一条来自 @搞仁义毛义仁:用 Astra 写 C++,给个空仓库代码质量很差,但把积累了多年 code review 规则的 GacUI 上下文喂进去,质量立刻上来了。这说明模型不是不会写,是得用具体、有约束的规则去“规训”,光靠模型自己发挥不行。第二条是 @今天群内信息量极大 实测 Ollama Cloud 跑 DeepSeek V4.1 Flash,解码吞吐比官方 API 高出一截,但正文没披露具体延迟和成本数字,所以这个“快”到底在什么条件下成立、性价比如何,还得自己测了才知道。两条都指向同一个方向...
Anthropic 的 CEO 达里奥·阿莫迪发了一篇文章,直接呼吁给最前沿的 AI 能力踩刹车。他担心未来 6 到 12 个月内,成群的 AI 智能体可能具备“接管整个互联网”的能力。他提出的第一步是把外部安全专家请进实验室常驻,盯着安全流程并向公众汇报。奥特曼、马斯克和哈萨比斯都公开点赞,奥特曼还说 OpenAI 会照做。但作者 Sebastian...
推荐理由:Anthropic CEO 直接喊刹车,加上奥特曼、马斯克、哈萨比斯三人公开背书,信号强度很高。阿莫迪给出了 6-12 个月的“接管互联网”时间线和驻场安全专家的具体方案,不是空泛表态。扣分点在于:这是一篇评论文章,不是政策公告,实际约束力有限;作者 Sebastian 把焦点转向中国,但正文没披露中国方面的具体回应或数据,更多是抛出一个地缘政治疑问。我会先打个折,但整体仍然值得从业者关注。
AI 评估论坛发布了 AEF-1 标准,给独立第三方评估立了规矩,包括访问权限、利益冲突、资金来源、回避和透明度怎么处理。同一天,Dario Amodei 发了篇个人博客,说 Anthropic 会单方面先干起来:让评估团队像员工一样进驻办公室,拿公司工牌、用公司电脑,权限跟内部风险团队差不多。他还提了个两层协调框架,一层是民主国家内部定规矩,一层是跟...
推荐理由:我会先打个折:正文没披露具体有多少家机构签了,也没说执行机制和违规后果,所以别当它已经落地。但同一天 AEF-1 发布、Dario Amodei 发博客,三家公司一起站台,这个时间点本身就说明行业在抢着给第三方评估定规矩。AEF-1 把利益冲突、资金来源这些容易和稀泥的地方写得很具体,Amodei 又提出让评估员像员工一样进驻,权限跟内部风险团队差不多,等于把透明度的门槛拉高了一大截。对从业者来说,这就是一份现成的 checklist,可以拿来比对自己的评估流程缺了什么。
Exein 做的是嵌入式设备安全,主要把 AI 模型塞进物联网和工业设备里,靠检测异常行为来防攻击,尤其针对那些用 AI 发起的攻击。2.7 亿美元融资额不小,但正文没披露公司估值,也没给出具体的产品性能指标或第三方测试数据。客户名单里提到了欧洲的汽车和国防企业,不过没写清楚是付费客户还是试点。这轮融资赌的是“用 AI 对抗 AI 攻击”这个方向,但产...
四大会计事务所正在审计业务上大举押注 AI:用模型审账、标异常、写报告。但 FT 泼了盆冷水——AI 自己也会犯错,审计师没法完全信任它。结果是成本没降多少,效率提升有限,监管还在盯着。文章没给具体数字,但点出了核心矛盾:AI 在审计里更像一个需要被审计的工具,而不是救星。
Zach Dell(戴尔创始人儿子)计划大规模部署电池储能,在电网低谷时充电、高峰时放电,给AI数据中心稳定供电。思路本身不新,但由他来做有资源背书。正文没披露舰队规模、成本和落地时间表,所以这点先别太激动——如果是真的,确实能缓解AI训练和推理对电网的冲击,但经济账和工程可行性才是关键。
FT这篇分析说的是,AI投资热潮可能快到头了。几个大AI公司自己都在喊要慢下来,美国科技股已经跟着跌了一波。投资者可能需要重新算算账,别指望基础设施和算力投入还能一直猛涨。文章没点名具体公司,也没给时间表,但点出了一个关键变化:市场情绪在转向。
中国官媒发文,直接否定了外界呼吁暂停AI发展的声音,认为这不是安全考量,而是竞争策略。文章没有点名具体是谁在呼吁,也没有展开论证,但立场很明确:中国不会减速。
Bloomberg 采访了 Hugging Face 的科学家,聊的是 agentic AI(让模型自主执行任务,比如帮你订机票、改代码)的安全问题。正文没披露具体出过什么事故,也没给出解决方案,核心就一句话:模型一旦能自己决定下一步做什么,出错的后果可能比单纯聊天严重得多。目前业界对这类风险的评估和防护都还很不成熟,这点先别太激动。
Artificial Analysis 刚出了个语音对话能力排行榜,OpenAI 的 GPT-Live-1 用 Astra 后端、中等推理强度跑出 81.5 分,压过 Grok Voice Think Fast 2.0 High 的 81.3 分。同一个模型换 Sol 后端配置得分 80.1,排第三。分差很小,而且正文没披露评测维度、样本量和延迟数据,...
一波中国AI公司集中到香港上市,供应过剩直接把大盘拉低了。FT这篇报道说IPO潮正在拖累港股,但没有点名具体公司,也没披露总募资额。信息缺口:不知道这波上市到底融了多少钱、哪些公司是主力。
特朗普在社交媒体上直接驳回了 Anthropic 等公司对 AI 风险的警告,称安全担忧是“骗局”,唯一需要的护栏是“一位强大且聪明的总统”。他点名 Anthropic 的 CEO 达里奥·阿莫迪,说他“假装是个完美的小天使”,但正文没具体说特朗普认为自己阻止了哪些政府行动。副总统万斯和众议长约翰逊的态度稍微开放一些,万斯觉得行业主动求监管“有点像特洛...
推荐理由:总统亲自点名 Anthropic 的 CEO,把 AI 安全直接定性为“骗局”,这是对行业核心叙事的正面攻击。H、K、R 三项全中:冲突烈度高,白宫内部权力温差被首次挑明,从业者的身份认同被直接冒犯。正文没披露特朗普具体阻止了哪些政府行动,信息有缺口,所以分数压在 85 以下。
国安部部长陈一新在《中国网信》发了一篇长文,把AI风险直接拉到政治安全层面。他点名了Claude Mythos和GPT-5.5-Cyber这类美国模型,说它们可能被用来搞深度伪造、发动舆论战、偷数据,甚至攻击关键基础设施。文章还拿美军在伊朗战争里用AI举例,说算法优势决定战场主动权。新加坡教授高树超解读,这等于在中美AI安全谈判前划了红线:数据主权和政...
推荐理由:国安部长陈一新在《中国网信》发长文,把AI风险直接拉到政治安全层面,点名Claude Mythos和GPT-5.5-Cyber可能被用来搞深度伪造、发动舆论战、偷数据甚至攻击关键基础设施。文章还拿美军在伊朗战争里用AI举例,说算法优势决定战场主动权。新加坡教授高树超解读,这等于在中美AI安全谈判前划了红线:数据主权和政治安全没得商量。我会先打个折——文章没给出这些模型被实际用于攻击的证据,更多是战略喊话。但部长亲自下场、点名具体模型,这个信号本身就很重,从业者得知道自己的技术已经被放在这个框架里审视了。