<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>逻辑验证 on AI内参</title>
    <link>https://www.neican.ai/tags/%E9%80%BB%E8%BE%91%E9%AA%8C%E8%AF%81/</link>
    <description>Recent content in 逻辑验证 on AI内参</description>
    <generator>Hugo</generator>
    <language>zh-cn</language>
    <lastBuildDate>Mon, 29 Jun 2026 12:10:05 +0800</lastBuildDate>
    <atom:link href="https://www.neican.ai/tags/%E9%80%BB%E8%BE%91%E9%AA%8C%E8%AF%81/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>从“像素拼接”到“逻辑编程”：多模态代码智能的下一场范式革命</title>
      <link>https://www.neican.ai/insights/article-20260629121005037-3/</link>
      <pubDate>Mon, 29 Jun 2026 12:10:05 +0800</pubDate>
      <guid>https://www.neican.ai/insights/article-20260629121005037-3/</guid>
      <description>多模态代码智能正跨越单纯的生成阶段，迈向以执行验证和交互逻辑为核心的全新范式。这一演进将彻底改变软件开发效率，并对AI Agent的可信度与过程归因提出了全新的行业标准。</description>
    </item>
  </channel>
</rss>
