AI情报站 AI-Radar
  1. Icop – open-source local AI NSFW filter for VLC (no cloud, no telemetry)
    Hacker News AI V · 2026-07-17 12:19 · 4 点击
    关键词：AI
  2. Interventional Grounding Audits: Black-Box Premise-Dependency Tests for LLM Chain-of-Thought via Predicate Substitution
    arXiv cs.AI D · 2026-07-17 12:00 · 7 点击
    关键词：AI, GPT, LLM, benchmark, reasoning
  3. Improving Molecular Property Prediction in Small Language Models Using Graph-based Tools
    arXiv cs.AI D · 2026-07-17 12:00 · 4 点击
    关键词：AI, reasoning
  4. Oracle Agent Memory as an Enterprise Memory Substrate for Long-Horizon AI Agents
    arXiv cs.AI D · 2026-07-17 12:00 · 10 点击
    关键词：AI, Agent, retrieval
  5. Learning Safe Agent Behaviour from Human Preferences and Justifications via World Models
    arXiv cs.AI D · 2026-07-17 12:00 · 3 点击
    关键词：AI, Agent, reinforcement learning
  6. Self-Improvements in Modern Agentic Systems: A Survey
    arXiv cs.AI D · 2026-07-17 12:00 · 3 点击
    关键词：AI, Agent
  7. Networked Intelligence: Active Shared Context Graphs for Human-AI Team Science
    arXiv cs.AI D · 2026-07-17 12:00 · 3 点击
    关键词：AI, Agent, reasoning
  8. SPINE: Bridging the Cyber-Physical Gap with Agentic AI
    arXiv cs.AI D · 2026-07-17 12:00 · 5 点击
    关键词：AI, Agent, Claude, Claude Code
  9. Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
    arXiv cs.AI D · 2026-07-17 12:00 · 5 点击
    关键词：AI, reasoning
  10. OriginBlame: Record- and Token-Level Data Provenance for AI Training Datasets
    arXiv cs.AI D · 2026-07-17 12:00 · 5 点击
    关键词：AI
  11. CayleyR: Solving the TopSpin puzzle via cycle intersection
    arXiv cs.AI D · 2026-07-17 12:00 · 5 点击
    关键词：AI, GPU
  12. Gain trust from AI generated code again with semantics constract
    Hacker News AI V · 2026-07-17 11:59 · 2 点击
    关键词：AI
  13. 【2026-07-17】Kimi K3上线与Grok Build开源｜今日羊 报AI
    B站 AI日报 [视频] D · 2026-07-17 11:55 · 2 点击
    关键词：AI, Agent, Anthropic, Gemini, Kimi
  14. The Doctor Is Not the Mother: DS4 Latent Reasoning
    Hacker News AI V · 2026-07-17 09:24 · 3 点击
    关键词：reasoning
  15. Show HN: Git-temp (repo scratchpad for AI agents that won't clutter Git status)
    Hacker News AI V · 2026-07-17 08:59 · 6 点击
    关键词：AI
  16. Interactive architectural maps of your repo, show branches and commit diffs. AI
    Hacker News AI V · 2026-07-17 08:58 · 3 点击
    关键词：AI
  17. Ask HN: I built it and nobody came. What got you your first users?
    Hacker News AI V · 2026-07-17 08:38 · 3 点击
    关键词：AI, API, AI coding
  18. Show HN: Forall – Spec-driven AI coding with formal verification
    Hacker News AI V · 2026-07-17 08:22 · 2 点击
    关键词：AI, AI coding
  19. Alphabet shares fall on Gemini 3.5 Pro delay
    Hacker News AI V · 2026-07-17 08:06 · 3 点击
    关键词：Gemini
  20. AegisDB – self-hosted memory for AI agents, in one C binary
    Hacker News AI V · 2026-07-17 07:15 · 2 点击
    关键词：AI
加载更多