論文の概要: Is Mathematics Obsolete?

• arxiv url: http://arxiv.org/abs/2502.14874v2
• Date: Thu, 27 Feb 2025 02:23:11 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-02-28 14:52:41.890703
• Title: Is Mathematics Obsolete?
• Title（参考訳）: 数学は控えめか?
• Authors: Jeremy Avigad,
• Abstract要約: これは、AIの時代における数学的および象徴的な推論の価値に関するエッセイである。 AI時代における数学的および記号的推論の価値について書かれている。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: This is an essay about the value of mathematical and symbolic reasoning in the age of AI.
• Abstract（参考訳）: これは、AIの時代における数学的および象徴的な推論の価値に関するエッセイである。

関連論文リスト

• 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 [2.0608396919601493]
  FrontierMath(フロンティアマス、フロンティアマス、FrontierMath)は、数学者が考案し検証した何百もの数学問題のベンチマークである。 現在の最先端のAIモデルは、問題の2%未満を解決し、AI能力と数学的コミュニティの長所との間に大きなギャップが浮かび上がっている。 AIシステムが専門家レベルの数学的能力に向かって進むにつれ、FrontierMathは彼らの進歩を定量化する厳格なテストベッドを提供する。
  論文  参考訳（メタデータ） (2024-11-07T17:07:35Z)
• FineMath: A Fine-Grained Mathematical Evaluation Benchmark for Chinese Large Language Models [44.63505885248145]
  FineMathは、中国語大言語モデル(LLM)を評価するための詳細な数学的評価ベンチマークデータセットである。 FineMathは、小学校数学で教えられる主要な数学的概念をカバーし、数学用語の問題の17のカテゴリに分けられる。 数学の単語問題のうち17のカテゴリは、これらの問題を解決するために必要な推論ステップの数に応じて、難易度を手動でアノテートする。
  論文  参考訳（メタデータ） (2024-03-12T15:32:39Z)
• 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)
• Notes on a Path to AI Assistance in Mathematical Reasoning [0.0]
  これらの非公式なノートは、「AI to Assist Mathematical Reasoning」に関する全米理工学アカデミーおよび数学ワークショップにおける著者の講義に基づいている。 目標は、研究数学者にとって有用なAIにたどり着く道を考えることだ。
  論文  参考訳（メタデータ） (2023-10-04T15:35:01Z)
• Mathematical Artifacts Have Politics: The Journey from Examples to Embedded Ethics [0.0]
  数学的アーティファクトが政治を持っていることを認めることが、数学者が学生のためにより良いエクササイズを設計するのにどう役立つかを示す。 我々は、倫理を数学的カリキュラムに組み込むことの意味を示す。
  論文  参考訳（メタデータ） (2023-08-09T11:09:53Z)
• A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
  我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。 大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
  論文  参考訳（メタデータ） (2022-12-20T18:46:16Z)
• Question Directed Graph Attention Network for Numerical Reasoning over Text [54.302970786239406]
  テキストの数値的推論は 機械読解作業の難題です このような推論に必要な文節と疑問の文脈に対する異種グラフ表現を提案する。 我々は,このコンテキストグラフ上での多段階の数値推論を実現するために,質問指向グラフアテンションネットワークを設計する。
  論文  参考訳（メタデータ） (2020-09-16T03:37:54Z)

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

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