科技 · 日报
2026年7月23日星期四
今日头条来自 AI 推理前沿:SoftReason 提出全可微分的神经符号演绎推理方法,为高维感知数据提供可解释性路径。与此同时,PyPI 实施 14 天上传期限,供应链安全压力持续升温。
模型发布/更新
2- SoftReason:一种针对高维感知数据的全可微分神经软符号演绎推理架构T2arXiv AI/CL/LG(论文)
SoftReason 提出了一种新颖的神经软符号架构,用于对由感知产生的潜在事实和知识图谱提供的谓词进行可微分演绎推理。它通过将演绎状态表示为候选常量和谓词上的局部软解释张量,消除了感知与推理之间的梯度断裂。核心创新是实现了即时后果算子的可微分提升,利用谓词定义嵌入和潜在组合通道形成软身体谓词混合,聚合所有可能的证据,提出查询条件化的头部事实,并通过单调概率 OR 更新解释。在知识感知视觉问答(KVQA)任务上的实例化表明,SoftReason 能够在一个可训练的架构中实现端到端的感知基础、知识图谱证据注入和可微分的演绎闭包。
- AI芯片初创公司Etched获10.3B美元估值,获知名投资者支持T2TechCrunch:AI(RSS)
由三位哈佛辍学生创立的Etched,开发了全新的AI推理芯片和内存组件,声称无需GPU即可加速任意AI模型推理。公司近期获得包括知名风投在内的投资者支持,估值达到103亿美元,挑战现有AI硬件格局。
产品发布/更新
1- Mwe-MCP:为AI Agent打造的自托管记忆系统,支持多用户与权限控制T2Hacker News 热门(Algolia · 中文化)
Mwe-MCP 是一个自托管的 AI Agent 持久化记忆系统,采用人类可读的 Markdown Wiki 格式,支持多用户与细粒度权限控制(per-fragment ACL)。每晚自动组织记忆内容,并通过 MCP 协议与任何 Agent 兼容(Agent-agnostic)。代码开源(AGPL),适合需要隐私、定制化知识管理的团队。
行业动态
1- PyPI 实施14天上传期限以防止供应链投毒T2Simon Willison 博客(Atom)
Python 包索引(PyPI)宣布不再接受对超过14天发布的版本上传新文件。该措施旨在防止因发布令牌或工作流泄露而导致的旧版投毒攻击。截至目前尚未发现实际利用案例,但攻击者之前未意识到该漏洞的存在。此举加强了 Python 软件供应链的安全防护。
论文研究
0技巧与观点
0快讯
- 23:11Palmier Pro:面向AI的开源macOS视频编辑器Hacker News 热门(Algolia · 中文化)
- 23:00AI芯片初创公司Etched获10.3B美元估值,获知名投资者支持TechCrunch:AI(RSS)
- 20:38Mwe-MCP:为AI Agent打造的自托管记忆系统,支持多用户与权限控制Hacker News 热门(Algolia · 中文化)
- 19:16将Event-B证明规则编码为Prolog:ProB的交互式序列推演证明器arXiv AI/CL/LG(论文)