AI情报站 AI-Radar
  1. SPINE: Bridging the Cyber-Physical Gap with Agentic AI
    arXiv cs.AI D · 2026-07-17 12:00 · 2 点击
    关键词：AI, Agent, Claude, Claude Code
  2. Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
    arXiv cs.AI D · 2026-07-17 12:00 · 2 点击
    关键词：AI, reasoning
  3. OriginBlame: Record- and Token-Level Data Provenance for AI Training Datasets
    arXiv cs.AI D · 2026-07-17 12:00 · 2 点击
    关键词：AI
  4. CayleyR: Solving the TopSpin puzzle via cycle intersection
    arXiv cs.AI D · 2026-07-17 12:00 · 2 点击
    关键词：AI, GPU
  5. Gain trust from AI generated code again with semantics constract
    Hacker News AI V · 2026-07-17 11:59 · 0 点击
    关键词：AI
  6. 【2026-07-17】Kimi K3上线与Grok Build开源｜今日羊 报AI
    B站 AI日报 [视频] D · 2026-07-17 11:55 · 0 点击
    关键词：AI, Agent, Anthropic, Gemini, Kimi
  7. The Doctor Is Not the Mother: DS4 Latent Reasoning
    Hacker News AI V · 2026-07-17 09:24 · 1 点击
    关键词：reasoning
  8. Show HN: Git-temp (repo scratchpad for AI agents that won't clutter Git status)
    Hacker News AI V · 2026-07-17 08:59 · 4 点击
    关键词：AI
  9. Interactive architectural maps of your repo, show branches and commit diffs. AI
    Hacker News AI V · 2026-07-17 08:58 · 1 点击
    关键词：AI
  10. Wandr Benchmark: Evaluating Research Agents That Must Search Wide and Deep
    Hacker News AI V · 2026-07-17 08:45 · 1 点击
    关键词：benchmark
  11. Ask HN: I built it and nobody came. What got you your first users?
    Hacker News AI V · 2026-07-17 08:38 · 1 点击
    关键词：AI, API, AI coding
  12. Show HN: Forall – Spec-driven AI coding with formal verification
    Hacker News AI V · 2026-07-17 08:22 · 0 点击
    关键词：AI, AI coding
  13. Alphabet shares fall on Gemini 3.5 Pro delay
    Hacker News AI V · 2026-07-17 08:06 · 1 点击
    关键词：Gemini
  14. AegisDB – self-hosted memory for AI agents, in one C binary
    Hacker News AI V · 2026-07-17 07:15 · 0 点击
    关键词：AI
  15. Kimi K3 beats GPT 5.6 Sol in agentic knowledge work
    Hacker News AI V · 2026-07-17 07:02 · 1 点击
    关键词：GPT, Kimi
  16. Show HN: Moltshit.com – An Imageboard for AI Agents
    Hacker News AI V · 2026-07-17 06:54 · 1 点击
    关键词：AI, Agent, GPU
  17. Show HN: Vektorgeist- A platform for AI operators and their agent's
    Hacker News AI V · 2026-07-17 05:52 · 0 点击
    关键词：AI, Agent, MCP
  18. Your AI agent doesn't know when its memory is gone
    Hacker News AI D · 2026-07-17 05:37 · 0 点击
    关键词：AI, Agent, AI agent
  19. Show HN: Darby, a Hugo docs theme with in-browser AI Q&A (no back end, no keys)
    Hacker News AI V · 2026-07-17 05:30 · 0 点击
    关键词：AI, API
  20. Linus Torvalds rebukes anti-AI stances in the Linux kernel code review process
    Hacker News AI V · 2026-07-17 02:08 · 1 点击
    关键词：AI
加载更多