<?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/%E8%87%AA%E5%8A%A8%E6%8E%A8%E7%90%86/</link>
    <description>Recent content in 自动推理 on AI内参</description>
    <generator>Hugo</generator>
    <language>zh-cn</language>
    <lastBuildDate>Wed, 22 Jul 2026 16:10:02 +0800</lastBuildDate>
    <atom:link href="https://www.neican.ai/tags/%E8%87%AA%E5%8A%A8%E6%8E%A8%E7%90%86/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>当上帝也开始写证明：数学界的“AI攻城”与人类理性的边界重构</title>
      <link>https://www.neican.ai/insights/article-20260722161002883-2/</link>
      <pubDate>Wed, 22 Jul 2026 16:10:02 +0800</pubDate>
      <guid>https://www.neican.ai/insights/article-20260722161002883-2/</guid>
      <description>AI在数学领域的突破正从“辅助工具”转向“自主研究者”，不仅挑战了学科研究的传统范式，更引发了学术界对科研独立性与验证机制的深刻反思。未来，人类与AI的协作将演变为定义问题的“建筑师”与完成推演的“逻辑引擎”之间的深度共生。</description>
    </item>
  </channel>
</rss>
