論文の概要: The Ramanujan Challenge For AI

• arxiv url: http://arxiv.org/abs/2607.09721v1
• Date: Sat, 27 Jun 2026 21:39:08 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-19 21:54:20.385394
• Title: The Ramanujan Challenge For AI
• Title（参考訳）: AIに対するラマヌジャンの挑戦
• Abstract要約: 基本的な数学的定数に関する公式の集合を示す。 これらの問題は、具体的であり、任意の精度で数値的にチェックできるため、AI評価にとって魅力的である。 私たちが提示するリストには、著者が証明を知っているが、短い初期期間は暗号化され続ける公式と、まだ証明されていない公式の2つのタイプの問題が含まれている。
• 参考スコア（独自算出の注目度）: 2.5341493831353894
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: To help evaluate the mathematical skills of current AI systems, we present a set of formulas for fundamental mathematical constants. These problems are attractive for AI evaluation because they are concrete and can be checked numerically to arbitrary precision, yet proving them may require non-obvious mathematics. Mathematical constants such as $π$, $e$, Catalan's constant, and special values of the Riemann zeta function have fascinated mathematicians for centuries. The search for formulas evaluating mathematical constants has produced some of the most beautiful mathematics in the field, especially in cases that yield irrationality proofs or fast convergence rates. Ramanujan's legacy is emblematic of this tradition. The list we provide contains two types of problems: formulas whose proofs are known to the authors but will remain encrypted for a short initial period; and formulas that are not yet proven. We are curious to see the achievements of AI in both cases.
• Abstract（参考訳）: 現在のAIシステムの数学的スキルを評価するために,基本的な数学的定数の式を提示する。 これらの問題は、具体的であり、任意の精度で数値的にチェックできるため、AI評価にとって魅力的である。 $π$, $e$, Catalan's constant, and special value of the Riemann zeta functionは数世紀にわたって数学者を魅了した。 数学定数を評価する公式の探索は、特に不合理性証明や高速収束率をもたらす場合において、この分野で最も美しい数学のいくつかを生み出した。 ラマヌジャンの遺産はこの伝統を象徴している。 私たちが提示するリストには、著者が証明を知っているが、短い初期期間は暗号化され続ける公式と、まだ証明されていない公式の2つのタイプの問題が含まれている。 どちらのケースでも、AIの成果を見たいと思っています。

関連論文リスト

• 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)
• From Euler to AI: Unifying Formulas for Mathematical Constants [0.0]
  数式を体系的に統一する。 我々は、$pi$に対して407の異なる式を検証し、$pi$無限和の間の証明を行う。 我々の方法は$zeta(3)$を含む他の定数に一般化し、ドメイン間の知識を統一する。
  論文  参考訳（メタデータ） (2025-02-24T14:42:48Z)
• Unsupervised Discovery of Formulas for Mathematical Constants [0.0]
  本稿では,これらの公式の分類,特徴化,パターン同定のための体系的手法を提案する。 我々の方法論の鍵となるのは、公式の数値ではなく、公式の収束力学に基づくメトリクスの導入である。 我々は1,768,900のそのような公式の集合上で我々の方法論を検証し、数学定数の既知の多くの公式を同定し、以前は知られていなかった$pi$, $ln(2)$, Gaus', Lemniscateの定数を発見した。
  論文  参考訳（メタデータ） (2024-12-22T01:43:56Z)
• 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)
• Machine learning and information theory concepts towards an AI Mathematician [77.63761356203105]
  人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。 このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。 興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
  論文  参考訳（メタデータ） (2024-03-07T15:12:06Z)
• AI for Mathematics: A Cognitive Science Perspective [86.02346372284292]
  数学は人間によって開発された最も強力な概念体系の1つである。 AIの急速な進歩、特に大規模言語モデル(LLM)の進歩による推進により、そのようなシステム構築に対する新たな、広範な関心が生まれている。
  論文  参考訳（メタデータ） (2023-10-19T02:00:31Z)
• Algorithm-assisted discovery of an intrinsic order among mathematical constants [3.7689882895317037]
  基礎数学的定数に対する連続的な分数式を前例のない数で発見するコンピュータアルゴリズムを開発した。 多数の公式は、保守行列場と呼ばれる新しい数学的構造を明らかにする。 そのような行列場は数千の既存の公式を統一し、無限に多くの新しい公式を生成し、異なる数学的定数間の予期せぬ関係をもたらす。
  論文  参考訳（メタデータ） (2023-08-22T23:27:47Z)
• Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences [0.0]
  基本的な数学的定数を含む公式は、科学と数学の様々な分野に大きな影響を与えた。 ラマヌジャン機械計画のような数学定数の公式の発見を自動化しようとする最近の試みは、徹底的な探索に依存していた。 ここでは、整数列の解析を通して、数学的定数の予想を探索する根本的に異なる方法を提案する。
  論文  参考訳（メタデータ） (2022-12-13T18:01:21Z)
• NaturalProver: Grounded Mathematical Proof Generation with Language Models [84.2064569475095]
  自然数理言語における定理証明は、数学の進歩と教育において中心的な役割を果たす。 本研究では,背景参照を条件づけて証明を生成する言語モデルであるNaturalProverを開発する。 NaturalProverは、短い(2-6ステップ)証明を必要とするいくつかの定理を証明でき、40%の時間で正しいと評価された次のステップの提案を提供することができる。
  論文  参考訳（メタデータ） (2022-05-25T17:01:18Z)
• NaturalProofs: Mathematical Theorem Proving in Natural Language [132.99913141409968]
  数学的ステートメントの多領域コーパスであるNaturalProofsとその証明を開発した。 NaturalProofsは広範なカバレッジ、深いカバレッジ、低リソースの数学的ソースを統一する。 数式参照検索と生成タスクに関する強力なニューラルネットワーク手法をベンチマークする。
  論文  参考訳（メタデータ） (2021-03-24T03:14:48Z)
• Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes [0.5874142059884521]
  本稿では,数学が基本的な過程である数学的推論の計算モデルを提案する。 この枠組みが数学的実践のいくつかの側面について説得力のある説明を与えることを示す。
  論文  参考訳（メタデータ） (2020-10-28T19:43:14Z)

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

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