{
  "schema_version": 1,
  "id": "evt-2026-openai-ten-advances",
  "slug": "openai-ten-math-tcs-advances",
  "title": {
    "en": "OpenAI publishes ten AI-generated advances across mathematics and theoretical computer science",
    "zh-CN": "OpenAI 发布十项 AI 生成的数学与理论计算机科学进展"
  },
  "dates": {
    "event": "2026-08-01",
    "first_public_claim": "2026-08-01",
    "paper_release": "2026-08-01",
    "artifact_release": "2026-08-02",
    "independently_verified": "2026-08-01",
    "added_to_chronicle": "2026-09-10",
    "last_updated": "2026-09-11"
  },
  "event_types": [
    "discovery",
    "proof",
    "formalization",
    "system",
    "controversy"
  ],
  "significance": {
    "tier": "H1",
    "rationale": {
      "en": "A portfolio of AI-generated advances across multiple active areas of mathematics and theoretical computer science marks a historical shift from isolated successes toward repeated research-level mathematical contributions; H1 records the historical importance of the publication event separately from the ultimate correctness or reception of each individual result.",
      "zh-CN": "跨多个活跃数学与理论计算机科学领域的一组 AI 生成研究进展，标志着从孤立成功走向可重复研究级数学贡献的历史性转折；H1 记录的是该发布事件的历史重要性，与其中每项结果最终是否正确或如何被学界接受分开判断。"
    }
  },
  "mathematical_novelty": {
    "type": "new_result"
  },
  "interfaces": [
    "informal",
    "formal",
    "symbolic",
    "hybrid"
  ],
  "claim": {
    "en": "OpenAI released ten results resolving or substantially advancing longstanding problems in areas including sphere packing, group theory, circuit complexity, quantum complexity, lattice problems and extremal combinatorics.",
    "zh-CN": "OpenAI 发布十项结果，声称解决或实质推进球堆积、群论、算术电路复杂度、量子复杂性、格问题与极值组合等领域的长期问题。"
  },
  "summary": {
    "en": "OpenAI states that an internal Astra model generated the mathematical arguments, humans prepared manuscripts with the model, and the model formalized each argument into a Lean certificate. Subsequent reporting documented attribution and training-data provenance concerns around the non-sofic-groups result, including Andreas Thom's unresolved question about whether unpublished mathematical discussions conducted through ChatGPT could have contributed indirectly through model-improvement data.",
    "zh-CN": "OpenAI 表示内部 Astra 模型生成数学论证，人类与模型共同整理稿件，随后模型把每项论证形式化为 Lean certificate。后续报道记录了围绕非 sofic 群结果的归属与训练数据来源争议，其中包括 Andreas Thom 尚未得到解决的问题：他与同事通过 ChatGPT 进行的未公开数学讨论，是否可能通过模型改进数据间接影响相关系统。"
  },
  "why_it_matters": {
    "en": "If the individual results survive expert review, the release indicates a shift from isolated AI mathematics successes toward repeated research-level contributions.",
    "zh-CN": "如果这些结果经受住专家审查，该发布意味着 AI 数学可能从孤立成功转向可重复的研究级贡献。"
  },
  "ai_role": {
    "level": "autonomous_primary",
    "description": {
      "en": "OpenAI attributes the mathematical arguments to its internal Astra model and says the model also produced Lean formalizations. The provenance dispute does not establish that unpublished user material was used, but it leaves an unresolved question about whether the model's research route may have been influenced by de-identified model-improvement data.",
      "zh-CN": "OpenAI 将数学论证归因于内部 Astra 模型，并称模型还生成了 Lean 形式化。当前 provenance 争议并未证明未公开用户材料确实被使用，但仍留下一个尚未解决的问题：模型的研究路径是否可能受到去标识化模型改进数据的间接影响。"
    }
  },
  "human_contribution": {
    "description": {
      "en": "Humans selected problems, prepared manuscripts with the model and take responsibility for correctness; broader community review is still relevant. For the non-sofic-groups result specifically, OpenAI's proof builds substantially on prior work by Gábor Kun and Andreas Thom, whose contribution and the public framing of that result became part of the subsequent attribution discussion.",
      "zh-CN": "人类选择问题、与模型整理稿件并对正确性负责；更广泛的社区审查仍然重要。具体到非 sofic 群结果，OpenAI 的证明大量建立在 Gábor Kun 与 Andreas Thom 的既有工作之上；两人的贡献以及该结果最初的公开表述随后成为归属讨论的一部分。"
    }
  },
  "systems": [
    "openai-astra-internal",
    "lean"
  ],
  "organizations": [
    "openai"
  ],
  "people": [
    "gabor-kun",
    "andreas-thom"
  ],
  "problems": [
    "research-mathematics",
    "theoretical-computer-science"
  ],
  "methods": [
    "autonomous-research",
    "formalization",
    "lean"
  ],
  "verification": {
    "evidence_level": "E3",
    "status": "disputed",
    "formal_assurance": "machine_checked",
    "history": [
      {
        "date": "2026-08-01",
        "status": "under_verification",
        "evidence_level": "E2",
        "note": {
          "en": "The Chronicle records this event from the cited primary or official source; the status does not imply independent Chronicle verification.",
          "zh-CN": "Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。"
        }
      },
      {
        "date": "2026-09-10",
        "status": "under_verification",
        "evidence_level": "E3",
        "note": {
          "en": "The Chronicle confirmed that OpenAI publicly released the 253-page paper and a repository containing Lean 4 certificates for all ten results. These primary artifacts strengthen the evidence record but do not by themselves establish independent mathematical verification.",
          "zh-CN": "Chronicle 已确认 OpenAI 公开发布 253 页论文，以及包含全部十项结果 Lean 4 certificates 的仓库。这些一手产物加强了证据记录，但其本身不足以构成独立数学验证。"
        }
      },
      {
        "date": "2026-09-10",
        "status": "independently_verified",
        "evidence_level": "E3",
        "note": {
          "en": "Independent technical and media coverage corroborates the core publication event: OpenAI released ten claimed mathematics/TCS advances together with a long paper and public Lean certificates. The Chronicle's `independently_verified` label concerns that event-level record; it does not certify that every one of the ten underlying mathematical claims has completed independent expert review.",
          "zh-CN": "独立技术评论与媒体报道已经对该发布事件的核心事实形成佐证：OpenAI 公开了十项数学 / TCS 研究进展主张、一份长篇论文以及公开 Lean certificates。Chronicle 的 `independently_verified` 标签针对这一事件级记录，并不表示十项底层数学主张都已完成独立专家审查。"
        }
      },
      {
        "date": "2026-09-11",
        "status": "disputed",
        "evidence_level": "E3",
        "note": {
          "en": "Reliable independent reporting and Andreas Thom's public account document a material attribution and provenance dispute around the non-sofic-groups result, one of the ten published advances. The dispute concerns the initial treatment of recent Kun–Thom work and an unresolved question about whether unpublished ChatGPT research discussions could have contributed indirectly through model-improvement training data. The Chronicle does not assert that such data use occurred; the publication event and released artifacts remain independently corroborated.",
          "zh-CN": "可靠独立报道与 Andreas Thom 的公开说明记录了十项进展之一——非 sofic 群结果——所涉及的实质性归属与来源争议。争议包括最初对 Kun–Thom 近期工作的呈现，以及一个尚未解决的问题：未公开的 ChatGPT 数学研究讨论是否可能通过模型改进训练数据间接产生影响。Chronicle 不断言此类数据使用确实发生；该发布事件及其公开产物本身仍有独立佐证。"
        }
      }
    ]
  },
  "sources": [
    {
      "id": "openai-ten-advances-2026",
      "tier": "S2",
      "type": "official_announcement",
      "title": "Ten advances in mathematics and theoretical computer science",
      "url": "https://openai.com/index/ten-advances-in-mathematics/",
      "primary": true,
      "published_date": "2026-08-01",
      "accessed_at": "2026-09-10"
    },
    {
      "id": "openai-ten-advances-paper-2026",
      "tier": "S1",
      "type": "paper",
      "title": "Ten Advances in Mathematics and Theoretical Computer Science",
      "url": "https://cdn.openai.com/pdf/ten-proofs-oai.pdf",
      "primary": true,
      "published_date": "2026-08-01",
      "accessed_at": "2026-09-10"
    },
    {
      "id": "github-openai-ten-proofs",
      "tier": "S1",
      "type": "formal_artifact",
      "title": "OpenAI ten-proofs Lean certificates",
      "url": "https://github.com/openai/ten-proofs",
      "primary": true,
      "published_date": "2026-08-02",
      "accessed_at": "2026-09-10"
    },
    {
      "id": "simon-willison-openai-ten-advances-2026",
      "tier": "S4",
      "type": "media",
      "title": "Ten advances in mathematics and theoretical computer science",
      "url": "https://simonwillison.net/2026/Aug/1/ten-advances-in-mathematics/",
      "primary": false,
      "published_date": "2026-08-01",
      "accessed_at": "2026-09-10"
    },
    {
      "id": "verge-ai-math-openai-astra-2026",
      "tier": "S4",
      "type": "media",
      "title": "Welcome to the AI crisis in math",
      "url": "https://www.theverge.com/podcast/982434/ai-math-openai-astra-existential-crisis",
      "primary": false,
      "published_date": null,
      "accessed_at": "2026-09-10"
    },
    {
      "id": "andreas-thom-openai-provenance-2026",
      "tier": "S2",
      "type": "community",
      "title": "Andreas Thom statement on OpenAI non-sofic-group attribution and training-data provenance",
      "url": "https://mathstodon.xyz/@andreasthom/117240535270608201",
      "primary": true,
      "published_date": "2026-09-09",
      "accessed_at": "2026-09-11"
    },
    {
      "id": "verge-openai-math-provenance-2026",
      "tier": "S4",
      "type": "media",
      "title": "Mathematicians want proof OpenAI didn't use their work",
      "url": "https://www.theverge.com/ai-artificial-intelligence/993263/where-does-openai-get-mathematics-training-data",
      "primary": false,
      "published_date": "2026-09-10",
      "accessed_at": "2026-09-11"
    }
  ],
  "artifacts": [
    {
      "id": "openai-ten-proofs-lean-repository",
      "kind": "proof",
      "title": "Lean 4 certificates for the ten published results",
      "url": "https://github.com/openai/ten-proofs"
    }
  ],
  "relationships": {
    "predecessors": [
      "evt-2026-unit-distance-disproof",
      "evt-2026-frontiermath-open-problems"
    ],
    "successors": [],
    "related": []
  },
  "timeline": {
    "featured": true,
    "significance": "primary"
  },
  "tags": [
    "research-math",
    "open-problems",
    "lean",
    "autonomous-research",
    "attribution",
    "provenance"
  ],
  "editorial": {
    "created_at": "2026-09-10",
    "last_reviewed": "2026-09-11",
    "reviewers": [
      "Charlie-Wang-03"
    ]
  },
  "corrections": []
}