{ "version": 1, "event_id": "evt_c03008f159ec9ef9", "url": "https://xiyu.news/events/evt_c03008f159ec9ef9/", "json": "https://xiyu.news/api/events/evt_c03008f159ec9ef9.json", "type": "other", "status": "developing", "category": "technology", "title": { "zh": "OpenAI 发布 722 篇数学手稿引发学术争议", "en": "OpenAI releases 722 mathematics manuscripts, drawing academic pushback" }, "current_state": { "zh": "以太坊基金会的Justin Drake在Vitalik的支持下，敦促加密行业采取“地堡模式”——将资产迁移至全新地址、用哈希隐藏公钥，并转向SPHINCS等基于哈希的密码学——理由是AI在数学上的快速进展对ECDSA密钥安全构成威胁，同时警告不要仓促迁移。", "en": "Ethereum Foundation's Justin Drake, backed by Vitalik, urged the crypto industry to adopt 'bunker mode' — migrating assets to fresh addresses, hiding public keys behind hashes, and moving toward hash-based cryptography like SPHINCS — citing AI's rapid mathematical advances as a threat to ECDSA key security, while cautioning against rushed migration." }, "first_seen_at": "2026-10-06T23:58:29.837777+00:00", "last_updated_at": "2026-10-08T02:52:18.300020+00:00", "last_material_change_at": "2026-10-08T02:52:18.300020+00:00", "confidence": 0.75, "updates_count": 4, "sources_count": 4, "entities": [ "bsd", "openai" ], "identifiers": [], "topics": [ "ai-for-mathematics", "ai-research", "ai-safety", "ai-verification", "automated-theorem-proving", "cryptography", "ecdsa", "formal-verification", "frontier-models", "lean", "mathematics", "openai", "research-ethics" ], "updates": [ { "update_id": "upd_31498f5569ec99ad", "event_id": "evt_c03008f159ec9ef9", "occurred_at": "2026-10-06T23:26:38Z", "published_at": "2026-10-06T23:26:38Z", "first_seen_at": "2026-10-06T23:58:29.837777Z", "time_precision": "published", "update_type": "initial", "material_change": true, "title_zh": "OpenAI再公布一批数学突破成果", "title_en": "OpenAI drops another batch of mathematical breakthroughs", "what_changed_zh": "OpenAI发布了一批722篇手稿，涵盖372个成果系列，其中包含由一款未发布的前沿模型生成的长期数学难题的解答，延续了AI驱动数学突破的势头，也引发了关于研究伦理的争论。", "what_changed_en": "OpenAI released a batch of 722 manuscripts spanning 372 result families containing solutions to long-standing mathematics problems generated by an unreleased frontier model, continuing a run of AI-driven math breakthroughs that has stirred debate over research ethics.", "current_state_zh": "OpenAI发布了一批722篇手稿，涵盖372个成果系列，其中包含由一款未发布的前沿模型生成的长期数学难题的解答，延续了AI驱动数学突破的势头，也引发了关于研究伦理的争论。", "current_state_en": "OpenAI released a batch of 722 manuscripts spanning 372 result families containing solutions to long-standing mathematics problems generated by an unreleased frontier model, continuing a run of AI-driven math breakthroughs that has stirred debate over research ethics.", "detailed_summary_zh": "OpenAI released a batch of 722 manuscripts spanning 372 result families containing solutions to long-standing mathematics problems generated by an unreleased frontier model, continuing a run of AI-driven math breakthroughs that has stirred debate over research ethics.", "detailed_summary_en": "OpenAI released a batch of 722 manuscripts spanning 372 result families containing solutions to long-standing mathematics problems generated by an unreleased frontier model, continuing a run of AI-driven math breakthroughs that has stirred debate over research ethics.", "background_zh": "", "background_en": "", "community_discussion_zh": "", "community_discussion_en": "", "market_impact_zh": "", "market_impact_en": "", "importance_score": 8.0, "references": [], "confidence": 0.75, "story_ids": [ "rss:www.theverge.com_rss_ai-artificial-intelligence_index.xml:9b9544932247f139" ], "sources": [ { "url": "https://www.theverge.com/ai-artificial-intelligence/1005004/openai-math-release-github", "label": "The Verge AI", "source_type": "rss", "official": false } ] }, { "update_id": "upd_9f0fdc54154f20d5", "event_id": "evt_c03008f159ec9ef9", "occurred_at": "2026-10-07T01:05:13Z", "published_at": "2026-10-07T01:05:13Z", "first_seen_at": "2026-10-07T02:40:35.323080Z", "time_precision": "published", "update_type": "escalation", "material_change": true, "title_zh": "OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来", "title_en": "OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来", "what_changed_zh": "OpenAI发布了722篇数学论文，涵盖黎曼猜想、霍奇猜想和BSD猜想等重大未解问题，引发三位菲尔兹奖得主的反对，他们表示该发布不构成他们的认可。", "what_changed_en": "OpenAI released 722 mathematics papers covering major open problems including the Riemann Hypothesis, Hodge conjecture, and BSD conjecture, drawing pushback from three Fields medalists who stated the release does not constitute their endorsement.", "current_state_zh": "OpenAI发布了722篇数学论文，涵盖黎曼猜想、霍奇猜想和BSD猜想等重大未解问题，引发三位菲尔兹奖得主的反对，他们表示该发布不构成他们的认可。", "current_state_en": "OpenAI released 722 mathematics papers covering major open problems including the Riemann Hypothesis, Hodge conjecture, and BSD conjecture, drawing pushback from three Fields medalists who stated the release does not constitute their endorsement.", "detailed_summary_zh": "OpenAI released 722 mathematics papers covering major open problems including the Riemann Hypothesis, Hodge conjecture, and BSD conjecture, drawing pushback from three Fields medalists who stated the release does not constitute their endorsement.", "detailed_summary_en": "OpenAI released 722 mathematics papers covering major open problems including the Riemann Hypothesis, Hodge conjecture, and BSD conjecture, drawing pushback from three Fields medalists who stated the release does not constitute their endorsement.", "background_zh": "", "background_en": "", "community_discussion_zh": "", "community_discussion_en": "", "market_impact_zh": "", "market_impact_en": "", "importance_score": 7.0, "references": [], "confidence": 0.75, "story_ids": [ "rss:www.qbitai.com_feed:5c791942fe945772" ], "sources": [ { "url": "https://www.qbitai.com/2026/10/501749.html", "label": "QbitAI 量子位", "source_type": "rss", "official": false } ] }, { "update_id": "upd_fa41ec0055709908", "event_id": "evt_c03008f159ec9ef9", "occurred_at": "2026-10-07T03:54:02Z", "published_at": "2026-10-07T03:54:02Z", "first_seen_at": "2026-10-07T06:42:02.507731Z", "time_precision": "published", "update_type": "confirmation", "material_change": true, "title_zh": "OpenAI一口气放出722篇AI数学手稿，数学界开始验收", "title_en": "OpenAI一口气放出722篇AI数学手稿，数学界开始验收", "what_changed_zh": "新增细节：这批手稿涉及 Unique Games 猜想、准黎曼猜想、CM 阿贝尔簇上的有理 Hodge 猜想和自由群因子问题等具体结果；部分结果附有 Lean 形式化证明，但整体验证程度不一致，独立数学顾问组 AGMAI 未为结果背书。", "what_changed_en": "Additional details emerged: the manuscripts address specific results including the Unique Games conjecture, a quasi-Riemann hypothesis, the rational Hodge conjecture for CM abelian varieties, and the free group factor problem; some have Lean formal proofs, but verification is inconsistent and the independent math advisory group AGMAI has not endorsed the results.", "current_state_zh": "OpenAI 公开了由未发布前沿模型生成的 722 篇数学手稿，覆盖 372 组关联结果，并宣称在多个长期未解问题上取得进展；部分结果已有 Lean 形式化证明，但验证程度不一致，AGMAI 未背书，数学界正在验收。", "current_state_en": "OpenAI published 722 mathematics manuscripts generated by an unreleased frontier model, spanning 372 result families and claiming progress on several long-standing open problems; some results have Lean formal proofs, but verification is inconsistent, AGMAI has not endorsed them, and the mathematics community is reviewing them.", "detailed_summary_zh": "OpenAI published 722 math manuscripts generated by an unreleased internal frontier model that claim progress on major open problems including the Unique Games conjecture and a quasi-Riemann hypothesis, with several results backed by machine-checkable Lean proofs but inconsistent verification and no endorsement from its independent math advisory group.", "detailed_summary_en": "OpenAI published 722 math manuscripts generated by an unreleased internal frontier model that claim progress on major open problems including the Unique Games conjecture and a quasi-Riemann hypothesis, with several results backed by machine-checkable Lean proofs but inconsistent verification and no endorsement from its independent math advisory group.", "background_zh": "Unique Games 猜想由 Subhash Khot 于 2002 年提出，涉及某一类博弈近似求解的 NP 困难性，对近似困难性理论有广泛影响。Lean 是一种交互式定理证明器，其小巧的可信内核会逐步检查推理，因此形式化证明可由机器验证。「准黎曼猜想」是文献中用于描述黎曼 ζ 函数及相关 L 函数非平凡零点实部上界的说法。", "background_en": "The Unique Games conjecture was proposed by Subhash Khot in 2002 and concerns the NP-hardness of approximating a certain class of games, with wide consequences for hardness of approximation. Lean is an interactive theorem prover whose small trusted kernel checks each inference step, which is why formalized proofs can be machine-verified. \"Quasi-Riemann hypothesis\" is a term used in the literature for statements bounding the real parts of non-trivial zeros of the Riemann zeta function and related L-functions.", "community_discussion_zh": "", "community_discussion_en": "", "market_impact_zh": "这一消息没有直接对应的资产或协议敞口；可能的传导路径是市场对前沿模型能力叙事的情绪，而这在一定程度上支撑着 AI 主题的加密代币与 AI agent 项目。此类影响主要通过叙事与关注度传导，而非流动性、托管或供给。", "market_impact_en": "There is no direct asset or protocol exposure in this story; the plausible transmission is through sentiment around frontier-model capability narratives that partly underpin AI-themed crypto tokens and AI-agent projects. Any such effect would run through narrative and attention rather than through liquidity, custody or supply.", "importance_score": 8.5, "references": [ { "url": "https://en.wikipedia.org/wiki/Unique_games_conjecture", "title": "Unique games conjecture" }, { "url": "https://leanprover.github.io/theorem_proving_in_lean/theorem_proving_in_lean.pdf", "title": "Theorem Proving in Lean" }, { "url": "https://pro.univ-lille.fr/fileadmin/user_upload/pages_pros/gautami_bhowmik/Publications/quasi.pdf", "title": "Average goldbach and the quasi-riemann hypothesis" } ], "confidence": 0.9, "story_ids": [ "telegram:theblockbeats:199225" ], "sources": [ { "url": "https://m.theblockbeats.info/flash/370543?from=telegram", "label": "theblockbeats", "source_type": "telegram", "official": false } ] }, { "update_id": "upd_c9238d40daa6b375", "event_id": "evt_c03008f159ec9ef9", "occurred_at": "2026-10-08T01:26:02Z", "published_at": "2026-10-08T01:26:02Z", "first_seen_at": "2026-10-08T02:52:18.300020Z", "time_precision": "published", "update_type": "escalation", "material_change": true, "title_zh": "⚡️OpenAI一夜攻克722个数学难题，以太坊基金会核心研究员呼吁行业进入「堡垒模式」", "title_en": "⚡️OpenAI一夜攻克722个数学难题，以太坊基金会核心研究员呼吁行业进入「堡垒模式」", "what_changed_zh": "以太坊基金会的Justin Drake在Vitalik的支持下，敦促加密行业采取“地堡模式”——将资产迁移至全新地址、用哈希隐藏公钥，并转向SPHINCS等基于哈希的密码学——理由是AI在数学上的快速进展对ECDSA密钥安全构成威胁，同时警告不要仓促迁移。", "what_changed_en": "Ethereum Foundation's Justin Drake, backed by Vitalik, urged the crypto industry to adopt 'bunker mode' — migrating assets to fresh addresses, hiding public keys behind hashes, and moving toward hash-based cryptography like SPHINCS — citing AI's rapid mathematical advances as a threat to ECDSA key security, while cautioning against rushed migration.", "current_state_zh": "以太坊基金会的Justin Drake在Vitalik的支持下，敦促加密行业采取“地堡模式”——将资产迁移至全新地址、用哈希隐藏公钥，并转向SPHINCS等基于哈希的密码学——理由是AI在数学上的快速进展对ECDSA密钥安全构成威胁，同时警告不要仓促迁移。", "current_state_en": "Ethereum Foundation's Justin Drake, backed by Vitalik, urged the crypto industry to adopt 'bunker mode' — migrating assets to fresh addresses, hiding public keys behind hashes, and moving toward hash-based cryptography like SPHINCS — citing AI's rapid mathematical advances as a threat to ECDSA key security, while cautioning against rushed migration.", "detailed_summary_zh": "Ethereum Foundation's Justin Drake, backed by Vitalik, urged the crypto industry to adopt 'bunker mode' — migrating assets to fresh addresses, hiding public keys behind hashes, and moving toward hash-based cryptography like SPHINCS — citing AI's rapid mathematical advances as a threat to ECDSA key security, while cautioning against rushed migration.", "detailed_summary_en": "Ethereum Foundation's Justin Drake, backed by Vitalik, urged the crypto industry to adopt 'bunker mode' — migrating assets to fresh addresses, hiding public keys behind hashes, and moving toward hash-based cryptography like SPHINCS — citing AI's rapid mathematical advances as a threat to ECDSA key security, while cautioning against rushed migration.", "background_zh": "", "background_en": "", "community_discussion_zh": "", "community_discussion_en": "", "market_impact_zh": "", "market_impact_en": "", "importance_score": 7.5, "references": [], "confidence": 0.75, "story_ids": [ "telegram:theblockbeats:199354" ], "sources": [ { "url": "https://m.theblockbeats.info/flash/370672?from=telegram", "label": "theblockbeats", "source_type": "telegram", "official": false } ] } ] }