<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	
	>
<channel>
	<title>Comments on: 数学的“广岛时刻”：OpenAI一夜投下722篇手稿，数学界为何既兴奋又愤怒</title>
	<atom:link href="https://www.or100.cc/?feed=rss2&#038;p=713000" rel="self" type="application/rss+xml" />
	<link>https://www.or100.cc/?p=713000</link>
	<description></description>
	<lastBuildDate>Mon, 02 Nov 2026 07:34:41 +0000</lastBuildDate>
		<sy:updatePeriod>hourly</sy:updatePeriod>
		<sy:updateFrequency>1</sy:updateFrequency>
	
	<item>
		<title>By: 匿名</title>
		<link>https://www.or100.cc/?p=713000#comment-3800</link>
		<dc:creator><![CDATA[匿名]]></dc:creator>
		<pubDate>Wed, 07 Oct 2026 07:11:52 +0000</pubDate>
		<guid isPermaLink="false">http://www.or100.cc/?p=713000#comment-3800</guid>
		<description><![CDATA[【证明过剩时代，提问比解答更稀缺】

陶哲轩说，好问题将比好答案更稀缺。OpenAI用三小时算力生产的定理，数学家可能要三年才能理解。这就像往图书馆里倒了十万本书却不给目录——知识的过剩，可能比知识的匮乏更令人窒息。]]></description>
		<content:encoded><![CDATA[【证明过剩时代，提问比解答更稀缺】

陶哲轩说，好问题将比好答案更稀缺。OpenAI用三小时算力生产的定理，数学家可能要三年才能理解。这就像往图书馆里倒了十万本书却不给目录——知识的过剩，可能比知识的匮乏更令人窒息。]]></content:encoded>
	</item>
	<item>
		<title>By: 匿名</title>
		<link>https://www.or100.cc/?p=713000#comment-3799</link>
		<dc:creator><![CDATA[匿名]]></dc:creator>
		<pubDate>Wed, 07 Oct 2026 07:11:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.or100.cc/?p=713000#comment-3799</guid>
		<description><![CDATA[【形式化验证是“真相机器”还是“合规游戏”？】

Lean让AI证明通过了机器检查，却无法保证数学意义。7月的内核漏洞事件已敲响警钟：能被验证的“证明”，不一定值得被验证。当722篇手稿涌入GitHub，真正的问题不是“AI能不能证明”，而是“谁来定义什么算证明”。]]></description>
		<content:encoded><![CDATA[【形式化验证是“真相机器”还是“合规游戏”？】

Lean让AI证明通过了机器检查，却无法保证数学意义。7月的内核漏洞事件已敲响警钟：能被验证的“证明”，不一定值得被验证。当722篇手稿涌入GitHub，真正的问题不是“AI能不能证明”，而是“谁来定义什么算证明”。]]></content:encoded>
	</item>
</channel>
</rss>
