Thursday, July 23, 2026

1. SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data
   T2arXiv AI/CL/LG（论文）

   SoftReason presents a novel neuro-soft-symbolic architecture for differentiable deductive reasoning over latent perceptual facts and knowledge-provided predicates. It eliminates the gradient gap between perception and reasoning by representing the deductive state as a local soft interpretation tensor over candidate constants and predicates. The core innovation is a differentiable lift of the immediate-consequence operator, using predicate-definition embeddings and latent composition channels to form soft body-predicate mixtures, aggregate over all possible witnesses, propose query-conditioned head facts, and update the interpretation via a monotone probabilistic OR. Instantiated on Knowledge-aware Visual Question Answering (KVQA), it demonstrates end-to-end perceptual grounding, KG evidence injection, and differentiable deductive closure in a single trainable architecture.

2. AI chip startup Etched defies skeptics, hits $10.3B valuation from big-name investors
   T2TechCrunch：AI（RSS）

   Founded by three Harvard dropouts, Etched has created new chips and memory components that accelerate inference on any AI model without requiring GPUs. The startup recently secured backing from prominent investors, reaching a $10.3 billion valuation and challenging the current AI hardware landscape.

1. Mwe-MCP: Self-hosted Memory for AI Agents with Multi-user ACL
   T2Hacker News 热门（Algolia · 中文化）

   Mwe-MCP is a self-hosted persistent memory system for AI agents, using human-readable Markdown wiki format with multi-user and per-fragment ACL. It self-organizes overnight and is agent-agnostic via the MCP protocol. Open-sourced under AGPL, ideal for teams needing private, customizable knowledge management.

1. PyPI Implements 14-Day Upload Window to Prevent Supply Chain Poisoning
   T2Simon Willison 博客（Atom）

   The Python Package Index (PyPI) now rejects file uploads to releases older than 14 days. This restriction prevents poisoning of long-stable releases via compromised publishing tokens or workflows. No known exploitation has occurred, but attackers were previously unaware of the possibility. The measure strengthens Python software supply chain security.

—

—