跳到正文

全部动态

今日 0 条
10月7日周三
  1. Hacker News · AI 最新34

    Friday Assistant:用 Flutter 打造的语音激活个人 AI 伴侣

    Friday Assistant 是一款基于 Flutter 构建的语音激活个人 AI 伴侣,采用“科幻优先”设计理念。它由 Groq API(Llama 3.3 70B)驱动推理,具备长期记忆、实时网络访问和后台主动哨兵模式,支持 Android、iOS、Web 和 Desktop 多平台。个人数据通过 Supabase 加密保管库保护,该项目基于 MIT License 开源。

  2. Hacker News · AI 最新45

    Cord:内置自主 AI 收款智能体的 B2B 支付基础设施

    Cord 推出集报价、跟进与收款于一体的 B2B 商业收单平台,客户可通过品牌化链接直接审批并支付,无需注册账号。其 AI 报价功能可自动匹配客户采购单与产品目录生成报价单,AI 收款智能体则负责起草逾期账款催收邮件并建议分期方案,所有外发内容均可经人工审批或设为自动执行。平台支持墨西哥 CFDI 4.0 电子发票、卡支付与 SPEI 转账,并自动完成对账与开票。

  3. Hacker News · AI 最新55

    Planlock 发布,批准一次计划后由代码强制校验智能体的每次工具调用

    Planlock 是位于 AI 智能体与 MCP 工具之间的防护层,你一次性批准智能体写出的计划后,只有计划允许的调用才能到达上游工具。校验由代码而非提示词完成,被提示词注入迷惑的智能体也无法越过已批准的限制;若上游脚本在批准后被改动,计划会进入 Hold 状态,只有人类审批者能解除。

  4. Hacker News · AI 最新33

    我们为 AI 智能体记忆打造了 Vector RAG 的替代方案

    我们为 AI 智能体记忆构建了一种 Vector RAG 的替代架构。传统 RAG 采用固定的先检索后生成流水线,而 Agentic RAG 改由智能体在推理与行动中自主决定何时调用检索工具。向量检索并非完全过时,但正从基础设施层退居为智能体可按任务相关性调用的众多工具之一。

  5. Hacker News · AI 最新60

    Google 暂停开源漏洞赏金,AI 生成的低质量报告压垮审核团队

    Google 自 10 月 1 日起暂停其开源漏洞赏金计划的现金奖励,原因是 AI 生成的大量低质量报告(slop)涌入,人工审核跟不上。报道未给出恢复日期或反垃圾计划,合法漏洞猎人在暂停期间失去奖励。作者将这一吞吐错配类比为 AI 生成代码的验证缺口,并给出密钥泄露、RLS、路由鉴权等四项自查清单。

  6. Hacker News · AI 最新32

    Show HN: Attestlane — 面向早期团队的 SOC 2 准备工作流

    Attestlane 将 SOC 2 准备整合为一个可追责的工作流,覆盖评估、差距报告、政策草案、证据收集与审计准备包。平台约 10 分钟即可完成首次评估并生成差距报告,包含 20 项政策草案与 39 项证据项,最终输出供独立审计师审查的结构化材料。其定位是协助企业完成准备与记录保全,正式审计与报告仍由独立 CPA 机构执行。

  7. Hacker News · AI 最新50

    11 个正方形最优堆叠的 AI 辅助证明通过 Lean 验证

    11 个正方形最优堆叠的完整证明已在 Lean 中通过验证,全部 7,920 个本地模块获准且最终审计零准入。该证明依赖 Lean kernel 与原生编译器,最优边长由一个 8 次多项式的唯一根给出,构造值约为 3.8770835900228141773。项目固定 Lean 4.34.1 与 Mathlib 版本,可通过脚本复现验证。

  8. Hacker News · AI 最新41

    AI 德州扑克教练:识别漏洞,优化决策

    一支由真人扑克教练组成的团队推出 AI 德州扑克教练服务,帮助玩家复盘牌局、识别漏洞并优化决策。用户可粘贴单手牌、用自然语言描述或导入整场牌局,系统会自动找出值得讨论的关键点。所有频率、范围和评分均基于翻牌前图表和真实的 solver 计算得出,无法用数据支撑的结论会被明确标记。

  9. Hacker News · AI 最新47

    人为摩擦力如何让智能体 AI 更安全、更聪明

    Hugging Face 三位 AI 伦理研究者指出,当前智能体设计在实践中反而把人类挤出决策回路,导致用户沦为无认知参与的“授权工具”。论文建议开发者引入“摩擦力”设计,例如要求用户先记录自己的选择再展示方案,或检测审批耗时下降时改变行为。研究者强调,当人类无法有效监控 AI 时,“效率提升”只是神话,安全与能力本应统一。

  10. Ars Technica · AI65

    Google 推出改进版 SynthID AI 内容检测器,现已全球可用

    Google 宣布改进版 SynthID 检测器现已支持所有合作伙伴的水印,并上线新网站 SynthID.com 供全球用户直接使用。SynthID 是嵌入 AI 生成图像、视频像素与音频波形中的不可见信号,Google 称 Gemini 已为超过 1800 亿张图像和视频以及 240,000 年时长的音频集成该水印。

    推荐理由:新版 SynthID 检测器不再只识别 Google 自家水印,而是支持所有合作伙伴的内容,并通过独立网站向全球开放,读者可据此判断 AI 内容溯源是否变得可用。

  11. 雷峰网22

    《碳硅道统·跨域迁移治理法典》188集 总纲摘要

    《碳硅道统·跨域迁移治理法典》188集总纲正式发布,这是国内首套覆盖弱AI至AGI全周期的AI跨域迁移治理全链路可工程化治理范式。法典以NT1-NT4负迁移体系为核心判定标准,依托知识血统账本与铜脉接口协议双暗线底座,构建从微观事故解剖到文明级风控的七层递进架构。配套的迁移血统校验器、铜脉接口仿真测试器、NT负迁移自动判定机三大审计工具暂未完成编码落地。

  12. Hacker News · AI 最新79

    OpenAI 的 AI 解出一道千禧年大奖难题后,又攻克数百道数学题

    《华尔街日报》报道指出,OpenAI 的 AI 在解出一道千禧年大奖难题之后,又攻克了数百道数学题。原标题提到,此前解出单道题时曾引发广泛关注。

    推荐理由:报道指出 AI 在解出一道千禧年大奖难题后又攻克数百道题,读者可据此了解 AI 数学解题能力的当前进展。