Fugu-MT 論文翻訳(概要): Notes on a Path to AI Assistance in Mathematical Reasoning

論文の概要: Notes on a Path to AI Assistance in Mathematical Reasoning

arxiv url: http://arxiv.org/abs/2310.02896v1
Date: Wed, 4 Oct 2023 15:35:01 GMT
ステータス: 処理完了
システム内更新日: 2023-10-05 14:28:39.160280
Title: Notes on a Path to AI Assistance in Mathematical Reasoning
Title（参考訳）: 数学的推論におけるAI支援への道のり
Authors: Alex Kontorovich
Abstract要約: これらの非公式なノートは、「AI to Assist Mathematical Reasoning」に関する全米理工学アカデミーおよび数学ワークショップにおける著者の講義に基づいている。目標は、研究数学者にとって有用なAIにたどり着く道を考えることだ。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might arrive at AI that is useful for the research mathematician.
Abstract（参考訳）: これらの非公式なノートは2023年6月の「AI to Assist Mathematical Reasoning」に関する全米理工学アカデミーおよび数学ワークショップの著者の講義に基づいている。目標は、研究数学者にとって有用なAIにたどり着く道を考えることだ。

関連論文リスト

The Mathematics of Artificial Intelligence [23.03787751696068]
本稿では,人工知能(AI)における数学の役割について概説する。数学はAIシステムをよりよく理解し、拡張するためのツールを提供する、と強調する。逆に、AIは新しい問題を提起し、様々な分野の交差点で新しい数学の開発を進める。
論文参考訳（メタデータ） (2025-01-15T15:00:23Z)
Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI [3.7721193149333634]
本稿では,人工知能(AI)の数学的研究への応用に関する包括的調査を行う。近年のAIの発展、特に強化学習(RL)と大規模言語モデル(LLM)は、AIが数学に貢献する可能性を実証している。この調査は、AIと数学の橋渡し、相互利益に関する洞察を提供し、より深い学際的理解を促進することを目的としている。
論文参考訳（メタデータ） (2024-12-21T08:58:36Z)
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)
A Multi-Year Grey Literature Review on AI-assisted Test Automation [46.97326049485643]
テスト自動化(TA)技術は、ソフトウェアエンジニアリングの品質保証には不可欠だが、制限に直面している。業界でAIが広く使われていることを考えると、真実の情報源はグレー文学だけでなく、専門家の心にも当てはまる。この研究は、グレーの文献を調査し、AIがTAでどのように採用されているかを調査し、解決する問題、そのソリューション、利用可能なツールに焦点を当てる。
論文参考訳（メタデータ） (2024-08-12T15:26:36Z)
AI for Mathematics: A Cognitive Science Perspective [86.02346372284292]
数学は人間によって開発された最も強力な概念体系の1つである。 AIの急速な進歩、特に大規模言語モデル(LLM)の進歩による推進により、そのようなシステム構築に対する新たな、広範な関心が生まれている。
論文参考訳（メタデータ） (2023-10-19T02:00:31Z)
How to Design and Deliver Courses for Higher Education in the AI Era: Insights from Exam Data Analysis [0.41998444721319206]
我々は、AI時代のコースと試験は、AIの強みと限界に基づいて設計されなければならないという考えを提唱する。我々は2023年1月から2023年5月までのソクラテス教育法から着想を得た教育的アプローチをどう導入したかを示す。我々は,AI時代に教育的アプローチを適用することができる新しい試験システムを提案する。
論文参考訳（メタデータ） (2023-07-22T08:33:41Z)
A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文参考訳（メタデータ） (2022-12-20T18:46:16Z)
The Role of AI in Drug Discovery: Challenges, Opportunities, and Strategies [97.5153823429076]
この分野でのAIのメリット、課題、欠点についてレビューする。データ拡張、説明可能なAIの使用、従来の実験手法とAIの統合についても論じている。
論文参考訳（メタデータ） (2022-12-08T23:23:39Z)
Characterising Research Areas in the field of AI [68.8204255655161]
トピックの共起ネットワーク上でクラスタリング分析を行うことで,主要な概念テーマを特定した。その結果は、ディープラーニングや機械学習、物のインターネットといった研究テーマに対する学術的関心の高まりを浮き彫りにしている。
論文参考訳（メタデータ） (2022-05-26T16:30:30Z)

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