<?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://ai-news.example.com/tags/%E8%AF%81%E6%98%8E/</link><description>Recent content in 证明 on AI 早报</description><generator>Hugo</generator><language>zh-CN</language><lastBuildDate>Tue, 04 Aug 2026 23:14:40 +0800</lastBuildDate><atom:link href="https://ai-news.example.com/tags/%E8%AF%81%E6%98%8E/feed.xml" rel="self" type="application/rss+xml"/><item><title>数学家24小时驳回OpenAI攻破的猜想：AI证明虽正确但偏离原题</title><link>https://ai-news.example.com/articles/24openaiai/</link><pubDate>Tue, 04 Aug 2026 23:14:40 +0800</pubDate><guid>https://ai-news.example.com/articles/24openaiai/</guid><description>OpenAI宣称用AI攻破了一个数学猜想，但数学家仅用24小时就驳回了这一结果，指出AI的证明虽然每一步逻辑正确，却已与原始猜想无关，引发对AI数学推理能力的深刻反思。</description></item></channel></rss>