<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>定理证明 on AI 实战派 · 从技术到赚钱</title><link>https://guijiagi.com/tags/%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E/</link><description>Recent content in 定理证明 on AI 实战派 · 从技术到赚钱</description><generator>Hugo</generator><language>zh-cn</language><copyright>本站内容采用 CC BY-NC-SA 4.0 国际许可协议授权</copyright><lastBuildDate>Wed, 28 Oct 2026 06:21:00 +0800</lastBuildDate><atom:link href="https://guijiagi.com/tags/%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E/index.xml" rel="self" type="application/rss+xml"/><item><title>OpenAI宣布模型在数学物理取得三项新成果：从解题到立理</title><link>https://guijiagi.com/posts/2026-10-28-04-openai-model-proves-new-theorems/</link><pubDate>Wed, 28 Oct 2026 06:21:00 +0800</pubDate><guid>https://guijiagi.com/posts/2026-10-28-04-openai-model-proves-new-theorems/</guid><description>OpenAI披露其内部模型在计算理论与量子场论取得三项新结果，含指数时间假说被证伪等，解读AI从辅助解题走向独立产出新知识。</description></item></channel></rss>