English(EN) OpenAI reports AI proofs spanning Kakeya, the Exponential Time Hypothesis and Yang–Mills existence

OpenAI AI 在 Kakeya、ETH 和杨-米尔斯理论中生成证明

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-26 23:00

OpenAI 宣布其 AI 系统已在三个不同的科学领域生成了证明。这些领域包括通过局部平滑解决 Kakeya 和 Stein 限制猜想，在计算复杂性中反驳指数时间假设，以及为 QCD 和杨-米尔斯等量子场论提供严格的存在性证明。该公司表示，这些发现已经过 Lean 形式化和独立的学术审查。 AI

影响展示了 AI 在基础科学理解和复杂数学证明方面做出贡献的潜力。

排序理由 AI 研究论文，详细介绍了 AI 系统生成的新颖证明。[lever_c_demoted from research: ic=1 ai=1.0]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 6 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; AI 研究论文，详细介绍了 AI 系统生成的新颖证明。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: Breaking (< 6h); Fresh story with cross-source coverage still developing. Ranking may shift as more sources report.

完整方法见我们的编辑标准。

r/OpenAI TIER_2 English(EN) · /u/morey56 · 2026-10-26 23:00

OpenAI 报告称其 AI 证明涵盖 Kakeya 问题、指数时间假设和杨-米尔斯存在性

<table> <tr><td> <a href="https://www.reddit.com/r/OpenAI/comments/1xgc1ep/openai_reports_ai_proofs_spanning_kakeya_the/"> <img alt="OpenAI reports AI proofs spanning Kakeya, the Exponential Time Hypothesis and Yang–Mills existence" src="https://external-preview.redd.it/N2Rhdmprd…