論文の概要: What the Machine Invented: Mining New Mathematical Instruments from OpenAI's October 2026 Release of AI-Generated Mathematics

• arxiv url: http://arxiv.org/abs/2610.17090v1
• Date: Mon, 12 Oct 2026 16:49:52 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-15 21:06:15.421994
• Title: What the Machine Invented: Mining New Mathematical Instruments from OpenAI's October 2026 Release of AI-Generated Mathematics
• Title（参考訳）: 機械が発明したもの:2026年10月のOpenAIのAI生成数学リリースから新しい数学機器をマイニングする
• Abstract要約: 我々は、このコレクションを数学的アイデアの宝庫としてアプローチする。 抽出はまず最初に行われ、その妥当性、新規性、そして再利用の可能性は、さらなる研究対象となる。 この調査ではリーン開発はコンパイルされず、カーネルチェックも行われなかった。
• 参考スコア（独自算出の注目度）: 0.11080037957254413
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: On 6 October 2026 OpenAI published an initial 722 AI-written mathematical manuscripts, organized into 372 problem families, in the public repository github.com/openai/math. The release includes claimed solutions to many prominent open problems. We approach this collection as a treasure mine of mathematical ideas. Our aim is to extract new lemmas, constructions, inequalities and proof mechanisms introduced in the source arguments, and to distinguish them from established tools and new combinations of those tools. We call these mathematical instruments. Extraction comes first; their validity, novelty and possible reuse then become subjects for further study. The resulting descriptions also help readers understand the selected papers without having to reconstruct every argument at the outset. We examine 38 families in two groups of 17 and 21, spanning number theory, geometry, analysis, combinatorics, complexity, algebra, operator algebras, topology and mathematical physics. Each entry records the claim, extracted instruments, antecedents and caveats. Eleven cross-cutting patterns connect the entries, and a scoreboard records formalization status and dependencies. Novelty assessments are provisional and sometimes mixed. Selected source comparisons correct mathematical statements, hypotheses and counts; they do not independently establish priority or certify the underlying proofs. No Lean development was compiled or kernel-checked for this survey. We also briefly describe a subsequent application of the signed restriction lemma from family 112 to circuit lower bounds at every fixed depth.
• Abstract（参考訳）: 2026年10月6日、OpenAIは722のAIで書かれた数学の写本を公開リポジトリgithub.com/openai/mathで372の問題ファミリに分類した。 このリリースには、多くの顕著なオープンな問題に対するソリューションの主張が含まれている。 私たちはこのコレクションを数学的アイデアの宝庫としてアプローチする。 本研究の目的は, 新たな補題, 構成, 不等式, 証明機構を抽出し, 確立したツールとそれらの新しい組み合わせを区別することである。 私たちはこれらを数学の道具と呼ぶ。 抽出はまず最初に行われ、その妥当性、新規性、そして再利用の可能性は、さらなる研究対象となる。 結果として得られた説明は、すべての議論を最初から再構築することなく、読者が選択した論文を理解するのに役立つ。 数論、幾何学、解析、コンビネータ論、複雑性、代数、作用素代数、位相、数学的物理学にまたがる17と21の2つの群の38の族について検討する。 それぞれのエントリには、請求書、抽出された楽器、先行者、注意事項が記録されている。 11の横断的なパターンがエントリを接続し、スコアボードが形式化ステータスと依存関係を記録する。 新規性評価は暫定的であり、時には混在する。 選択されたソース比較は、正しい数学的ステートメント、仮説、カウントを補正する。 この調査ではリーン開発はコンパイルされず、カーネルチェックも行われなかった。 また, 固定深度毎の回路下界への符号付き制限補題のその後の適用についても, 簡潔に述べる。

関連論文リスト

• Learning to Discover Interesting Mathematics [14.533761950304246]
  定理の本質的な面白さを、その証明の長さと主張の長さの比として定義する。 我々は、フロンティア汎用モデルよりも正確な証明困難を予測できる27Bモデルを訓練する。 提案システムでは, 仮説の候補を生成でき, その中の最も興味深いものを選択し, 自己拡張型数学的ライブラリ上に反復的に構築できることが示される。
  論文  参考訳（メタデータ） (2026-09-23T16:06:29Z)
• From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier [109.93387172162984]
  AI4Mathシステムの次の飛躍は、事前に定義された問題解決者から研究エージェントへの決定的なシフトを必要とする。 この分野の体系的なレビューを行い、データセット、自動形式化、証明合成について紹介する。
  論文  参考訳（メタデータ） (2026-07-08T17:46:36Z)
• Towards Autonomous Mathematics Research [48.29504087871558]
  Aletheiaは、自然言語のエンドツーエンドの解を反復的に生成し、検証し、修正する数学研究エージェントである。 具体的には、AletheiaはGemini Deep Thinkの高度なバージョンで、推論の問題に挑戦している。 我々は、オリンピアード問題から博士レベルのエクササイズまで、AI支援数学研究におけるいくつかのマイルストーンを通じて、アレクシアを実証する。
  論文  参考訳（メタデータ） (2026-02-10T18:50:15Z)
• Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
  我々は公式な数学的推論を提唱し、AI4Mathを次のレベルに進めるには不可欠であると主張している。 既存の進捗を要約し、オープンな課題について議論し、将来の成功を測るための重要なマイルストーンを想定します。
  論文  参考訳（メタデータ） (2024-12-20T17:19:24Z)
• FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI [8.32177898148028]
  FrontierMath(フロンティアマス、フロンティアマス、FrontierMath)は、数学者が考案し検証した何百もの数学問題のベンチマークである。 現在の最先端のAIモデルは、問題の2%未満を解決し、AI能力と数学的コミュニティの長所との間に大きなギャップが浮かび上がっている。 AIシステムが専門家レベルの数学的能力に向かって進むにつれ、FrontierMathは彼らの進歩を定量化する厳格なテストベッドを提供する。
  論文  参考訳（メタデータ） (2024-11-07T17:07:35Z)
• Llemma: An Open Language Model For Mathematics [46.557804525919785]
  数学のための大きな言語モデルであるLlemmaを紹介します。 MATHベンチマークでは、Llemmaはすべての既知のオープンベースモデルより優れている。 レムマは道具の使用と公式な定理を証明することができるが、それ以上の微調整は行わない。
  論文  参考訳（メタデータ） (2023-10-16T17:54:07Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。