RESEARCH / 04
OpenAIが数学の新成果722編を公開 — 未公開の内部フロンティアモデル、Lean形式化とともにGitHubで
OpenAIが2026年10月6日に公開した数学研究成果コレクション（372ファミリー・722編、GitHubリポジトリopenai/math）を一次情報から整理する。約4,000問への出題、Lean形式化の提供範囲、検証上の注意点、リポジトリ構成を解説。
TAG / TOPIC
数学
「数学」に関するAIニュースと解説記事の一覧です。
03 STORIES
LATEST STORIES
数学の新着記事
GOVERNANCE / 07
OpenAI、数学の外部諮問グループと連携 — IAS拠点の独立組織がAI数学成果の検証・公表を助言
OpenAIが2026年9月21日に数学の独立諮問グループとの連携を発表。IAS拠点・9名構成・無報酬・勧告公開・決定権なしの原則と、当面の課題である内部モデル由来とされる数学成果の公表調整について一次情報から整理。
RESEARCH / 04
Terence Taoら、Lean検証数学の登録所「Palomar」を公開 — AI生成証明の急増に対応する新インフラ
Terence Taoら9名は2026年8月18日、Leanで検証された数学の登録所「Palomar Registry」を公開したと発表した。ICARMとLean Focused Research Organizationが共同で立ち上げ、Lean FROのcomparator、Mathlibのformalization.yaml、文書生成のVersoを中核技術とする。2026年に入りAI支援の証明・形式化が急増し、未検証の主張が拡散する課題に対応し、検証の最低基準と検索可能な持続的記録を提供する。登録は新規性や重要性の認定ではない。