Fugu-MT 論文翻訳(概要): Math for AI safety: an invitation for mathematicians

論文の概要: Math for AI safety: an invitation for mathematicians

arxiv url: http://arxiv.org/abs/2609.15289v1
Date: Mon, 14 Sep 2026 09:45:14 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-16 07:15:06.213158
Title: Math for AI safety: an invitation for mathematicians
Title（参考訳）: AIの安全性のための数学:数学者への招待
Abstract要約: 正当性があり、操縦性があり、人類と協調するAIを設計するためには、新しい数学が必要である。私はこの招待を数学の分野によって整理します。それぞれのセクションは、AIの安全性に関する事前の経験のない、動く数学者にアクセスできるオープンな問題で終わる。
参考スコア（独自算出の注目度）: 0.44672487764060054
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Artificial intelligence threatens to outrun human understanding and control. New mathematics is needed to design AI that is legible, steerable, and cooperative with humanity. I organize this invitation by mathematical field, so you can turn straight to your own: logic and game theory for cooperation; probability for agency and world-models; algebra and representation theory for learned features; analysis and geometry for generalization and training dynamics. Each section ends with an open problem that is accessible to a working mathematician with no prior experience in AI safety.
Abstract（参考訳）: 人工知能は人間の理解とコントロールを追い越すと脅している。正当性があり、操縦性があり、人類と協調するAIを設計するためには、新しい数学が必要である。私は、数学の分野によってこの招待を組織するので、協力のための論理理論とゲーム理論、代理モデルと世界モデルの確率、学習した特徴のための代数と表現理論、一般化と訓練のダイナミクスのための解析と幾何学など、自分自身に直結することができる。それぞれのセクションは、AIの安全性に関する事前の経験のない、動く数学者にアクセスできるオープンな問題で終わる。

関連論文リスト

Characterizing initial human-AI proof formalization workflows [66.06866890889131]
AIシステムのコード生成能力の進歩と、証明を形式化し、検証する人々の能力を変えるための高度な数学的推論の約束への関与。我々は、AIが人々のフォーマル化に与える影響について、混合メソッド分析を行う。質的な調査では、人々の好みは多様であるが、形式化におけるAI支援に対する一般的な欲求が示されている。
論文参考訳（メタデータ） (2026-06-02T22:58:19Z)
AI co-mathematician: Accelerating mathematicians with agentic AI [37.60588462488029]
我々は、数学者がAIエージェントを対話的に活用し、オープンエンドの研究を追求するためのワークベンチであるAIコマンセマティクスを紹介した。 AIの共数学者は、文献探索、計算探索、定理証明、理論構築など、数学観念の探索的かつ反復的な現実を総合的に支援することを目的としている。初期のテストでは、AIの共同数学者は、オープンな問題の解決、新しい研究方向の特定、文献参照の発見に協力した。
論文参考訳（メタデータ） (2026-05-07T17:56:32Z)
Lectures on AI for Mathematics [8.544747471603365]
人工知能を使って数学的研究を進めるための基本原理と多様な応用をカバーしている。この本は、AIが隠れた数学的パターンを発見し、複雑な定理の証明を支援し、予想に挑戦するために反例を構築する方法を探っている。
論文参考訳（メタデータ） (2026-04-13T14:07:49Z)
Artificial Intelligence and the Structure of Mathematics [5.327210719701061]
人工知能(AI)の最近の進歩は、数学の変換能力を解き放つことである。我々は、数学のtextbf論理を補完する新しい経路を造ることによって、AIが数学の壮大な視点を開こうと考えている。私たちはAIエージェントをプラトン数学の世界を横切るために送ります。
論文参考訳（メタデータ） (2026-04-07T17:19:33Z)
Towards Autonomous Mathematics Research [48.29504087871558]
Aletheiaは、自然言語のエンドツーエンドの解を反復的に生成し、検証し、修正する数学研究エージェントである。具体的には、AletheiaはGemini Deep Thinkの高度なバージョンで、推論の問題に挑戦している。我々は、オリンピアード問題から博士レベルのエクササイズまで、AI支援数学研究におけるいくつかのマイルストーンを通じて、アレクシアを実証する。
論文参考訳（メタデータ） (2026-02-10T18:50:15Z)
Advancing mathematics research with generative AI [0.0]
本稿では,生成型AIモデルを用いて数学研究を進展させる方法について論じる。生成的AIモデルの設計を有利にすることで、数学者はそれらを強力な対話型アシスタントとして利用することができる。
論文参考訳（メタデータ） (2025-09-29T01:04:44Z)
Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
我々は公式な数学的推論を提唱し、AI4Mathを次のレベルに進めるには不可欠であると主張している。既存の進捗を要約し、オープンな課題について議論し、将来の成功を測るための重要なマイルストーンを想定します。
論文参考訳（メタデータ） (2024-12-20T17:19:24Z)
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)
A User-Centred Framework for Explainable Artificial Intelligence in Human-Robot Interaction [70.11080854486953]
本稿では,XAIのソーシャル・インタラクティブな側面に着目したユーザ中心型フレームワークを提案する。このフレームワークは、エキスパートでないユーザのために考えられた対話型XAIソリューションのための構造を提供することを目的としている。
論文参考訳（メタデータ） (2021-09-27T09:56:23Z)

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