最新の厳選 121〜140 件目 · 全 1,880 件 01:05 Hacker News · AI 厳選AI スコア 66 66 Signet 是一个用于 AI 智能体的密码学状态机约束框架,旨在解决大语言模型的不确定性与幻觉问题。它允许开发者定义严格的状态转移图并在出现越权或非法跳转时拦截并自动带错重试,每次状态转移均通过 Ed25519 进行防篡改签名,同时内置了基于 Streamlit 的可视化调试面板。可通过 pip install signet-ai 直接安装使用。
推薦理由:该项目给出了通过状态机图与密码学签名强制约束智能体执行流的方案,适合需要严格合规与审计的开发者参考。
00:47 百度 APP 推出四大 AI 升级并全新上线搜索 AI API,推动搜索从单一问答转向多步任务交付与递归自我进化。AI 镜头支持多目标动态追踪与 9 种方言实时对话,GUI 可视化场景覆盖提升 5 倍并接入超 50 亿权威数据。搜索 AI API 活动期间限时最低价为 4.9 元/千次,并支持 API、MCP 与 Skill 全方案接入。
推薦理由:百度在移动端搜索中融合任务交付、多模态动态追踪与低价 API,展示了搜索产品向智能体交付落地的具体演进路径。
00:47 面壁智能联合OpenBMB开源算子生成系统ForgeKernel。该Agent仅依据数学定义与硬件约束,在英伟达B200上耗时22.5小时、经历42轮自进化迭代,将DeepSeek-V4.1的FlashMLA Prefill算子执行耗时从518微秒降至472微秒,提速9.8%,全程人类代码投入为0行。
推薦理由:面壁智能展示了完全由智能体自主迭代完成高性能算子优化的路径,为跨异构芯片的算子自动生成提供了可参考实践。
00:02 Hacker News · AI 厳選AI スコア 75 75 网络安全公司 NorForge 的研究人员披露,有黑客滥用开源 AI 工具 Cairn 调度自主智能体集群,对包括 John Deere、SharkNinja 和 Cummins 在内的 100 多家企业发起自动化网络攻击。
推薦理由:案例展示了黑客利用开源工具调度智能体集群进行自动化攻击的实际成本与机制,为评估新型网络威胁提供了参考。
23:59 月之暗面 Kimi 公众号 厳選AI スコア 64 64 Kimi 官方发布 3D 内容创作教程,详解基于 Kimi K3.1 Pro 模型及各类 Harness 制作 3D 场景与游戏的工作流程。教程阐述了通过 Python 脚本实现参数化建模以及调用 Tripo 等生成网格化资产的两类方法,并针对 Unreal Engine、Blender、Unity 等工具进行了深度适配。
推薦理由:官方系统梳理了代码建模与工具调用的分工边界,读者可以参考其案例与流程在游戏引擎中快速复用。
23:48 NVIDIA · AI 筛选 厳選AI スコア 68 68 SETI 研究所与 Breakthrough Listen 在艾伦望远镜阵列引入智能体 AI,研究人员通过单条自然语言提示即可让智能体自主操纵天线、校准聚焦并实时过滤修正数据。
推薦理由:展示了智能体结合边缘 GPU 流式处理在海量科研数据中的落地路径,为复杂物理仪器的自主调控提供了工程参考。
23:14 Hacker News · AI 厳選AI スコア 65 65 开源项目 Omneum 正式发布,定位为面向 AI 智能体的本地化文本盲评上下文控制平面,用于优化进入大语言模型上下文窗口的检索内容。该系统通过构建来源与主张的二分图推断证据依赖关系,在不阅读源文本内容和无需调用大模型裁判的前提下评估信息可靠性,并在固定 token 预算内最大化主张覆盖率。
推薦理由:它在无需大模型评判和读取原始文本的前提下通过图推理追踪信源依赖,为控制智能体上下文冗余提供了低延迟且保护隐私的本地化方案。
22:58 Hacker News · AI 厳選AI スコア 73 73 开发者开源了面向单人软件开发的多智能体交付系统 NoMoreHappyPath,采用 Apache 2.0 协议并支持在本地 macOS 与 Linux 运行。系统通过 21 步质量把控流程连接需求与最终验收,强制要求测试先于代码编写且在修改前必须验证失败,并引入跨厂商的独立 AI 模型进行真实浏览器交互与交叉代码审查。任务全程在防篡改看板中可视化呈现,最终需人工确认后才会合并至主分支。
推薦理由:该项目把跨厂商多智能体交叉评审与测试先行的严格质量流开源落地,读者可据此参考如何规避AI写代码虚假完工的问题。
22:42 Hacker News · AI 厳選AI スコア 67 67 开发者 vanmiku 发布开源自托管工作台 Mydash,专为聚合与展示 Claude Code 和 Codex 等编码智能体生成的文件而设计。智能体执行发布命令后即可生成本地预览链接,完整渲染 Markdown、PDF、HTML 原型、代码及 Office 等多格式文件,并支持按项目分组、多版本对比与划词评论回传。
推薦理由:开发者给出了面向编码智能体产出物的本地聚合方案,读者可以据此改善查看多格式文档与移动端审批的协同流程。
22:42 Hacker News · AI 厳選AI スコア 75 75 开发者在 GitHub 开源 claude-code-mistake-guards,包含针对 Claude Code 的 3 个 Hook 钩子与 4 个发版前检查脚本,在操作不可逆前机械化拦截智能体错误。
推薦理由:项目提炼出智能体在实际开发中反复出现的不可逆失误,将其固化为确定性拦截规则,提供了实用的工程防错参考。
22:31 Cloudflare Blog · 网络基础设施 厳選AI スコア 67 67 Cloudflare 正式全面开放私有源站(private origins)服务,允许将代理 DNS 记录直接指向私有 IP。流量通过现有的 Cloudflare One 连接接入内网源站,使内部 API、AI 智能体后端及 MCP 服务器无需暴露公网 IP 或添加入站防火墙规则,即可直接获得 WAF、缓存、Bot Management 与 Workers 等防护能力。
推薦理由:解决了内部接口与智能体后端无需暴露公网即可复用边缘防护的问题,显著简化了私有网络服务的安全接入配置。
22:01 TechCrunch AI 厳選AI スコア 72 72 DoorDash 在第三季度财报电话会上透露,来自 Muse、Instinct 等第三方 AI 智能体的订单总计仅有数百笔,与平台日均约 300 万单的业务规模相比仍处极早期。
推薦理由:外卖巨头公开了AI智能体下单的真实业务数据,读者能直观对比智能体电商热潮与现实渗透率的落差。
20:51 Hacker News · AI 厳選AI スコア 73 73 开源AI逆向工程工具 REA 开发者 Morluto 在专访中表示,该工具通过 AI 智能体编排 Ghidra 与 Kuna 等反编译程序,大幅降低了拆解与重构编译后软件的门槛。REA 在 GitHub 上已获超 40 万 Star,社区案例涵盖修改打印机、电视与智能硬件固件。尽管法学学者与工程师指出了对商业机密保护、版权法及固件篡改安全风险的担忧,但开发者认为这正推动硬件控制权重新回到用户手中。
推薦理由:专访呈现了智能体编排反编译工具重塑逆向工程门槛的现状,有助于理解生成式AI对传统软件生态和版权边界的冲击。
18:45 Hacker News · AI 厳選AI スコア 65 65 开源桌面智能体系统 Dodaios 正式推出,支持在本地通过语音或文本同时调度 Claude Code、Codex 等多种编程智能体。系统采用 Apache 2.0 协议且无需云端账户,提供带呼号的多分屏 Agentic IDE、本地 Wiki 知识库及 40 余项集成与 MCP 支持,所有变更操作均需用户审批确认。
推薦理由:该项目把多款编码智能体整合进统一的多分屏桌面环境,为本地混合调度不同开发模型提供了轻量级架构参考。
15:55 AITNT · AI头条(网页) 厳選AI スコア 81 81 微软公布最新季度财报,单季营收达923亿美元同比增长19%,GAAP净利润为366亿美元。其中Azure云计算业务营收同比增长48%至332亿美元,微软CEO萨提亚·纳德拉透露本季度在五大洲新增了24座数据中心。期内从OpenAI处获得的收入达100亿美元占总营收近11%,当季资本开支达452亿美元,约3/4投向CPU与GPU等短期资产。
推薦理由:文章详细拆解了微软最新财报的核心数字,直观呈现了云业务增长、算力资本开支与大模型变现的挂钩情况。
15:55 AITNT · AI头条(网页) 厳選AI スコア 84 84 Neuralink 工程师在与渐冻症受试者的 72 小时开发中推出 8 项技术原型,将 Grok 智能体接入脑机接口,受试者仅凭意念即可唤醒 AI 并接管电脑操作。团队还重写了神经语音活动检测算法以取消物理按键,并通过手机应用 Bloom 打通 iOS 底层音频流与输入法,帮助瘫痪失语七年的患者完成纯意念点单与拨打电话。
推薦理由:脑机接口通过将高层意图交由智能体拆解执行,绕开了神经信号的带宽瓶颈,为瘫痪患者提供了更高阶的人机交互范式。
15:33 Hacker News · AI 厳選AI スコア 66 66 Red Hat架构师Adrian Kosmaczewski在演讲中系统解析了牛津大学Graham Lee提出的Chiron Codex交互模式,旨在将软件工程规范引入AI辅助开发。
推薦理由:文章将AI辅助编程经验提炼为标准设计模式,并给出了基于Cursor规则文件的工程化落地路径。
14:49 研究团队提出 Lean 定理证明系统 EasyProver,采用递归 Agent 与异步搜索架构,直接使用现成前沿模型且无需额外训练,在 PutnamBench 解决 669/672 题并完成 IMO 2026 全部 6 道形式化命题证明。
推薦理由:原文通过结合递归智能体架构与真实代码验证基准,展示了现成前沿模型在无需额外训练下扩展形式化证明的工程路径。
14:49 NVIDIA 推出开源 MoE 混合 Mamba-Transformer 模型 Nemotron 3.5 Super 与 Lightning,专为推理、长上下文理解和 Agent 工作负载设计。
推薦理由:模型通过混合 Mamba 与 Transformer 的 MoE 架构降低激活参数,为智能体长上下文推理与高吞吐部署提供了架构参考。
13:25 Hacker News · AI 厳選AI スコア 74 74 开发者在无沙箱环境中并发运行 Claude Code 2.1.286 时,一个子智能体编写的测试代码因逻辑判断漏洞,意外在宿主机调用真实进程并启动了 4 个脱机进程。
推薦理由:原文通过真实的智能体测试逃逸事故展示了无沙箱运行的隐蔽隐患,读者可参考其日志排查链路与本地隔离建议。
前のページ 1 … 5 6 7 8 9 … 94 次のページ