理解なき自動化

数学 > 歴史と概要 arXiv:2607.06377 (math) [2026年7月7日提出] タイトル: 理解なき自動化 著者: Jun-Yong Park Jun-Yong Parkによる「理解なき自動化」というタイトルの論文のPDFを表示 PDF HTML (実験的) を表示 要旨: 二つの展開が同時に進行しています。人工知能システムは、真に研究レベルの数学を生み出し始めており、米国は、そのようなシステムが何をしているかを理解できる人間を育成するパイプラインを弱めています。このエッセイは、これらを合わせた事態が戦略的誤りを構成すると主張しています。 数学的能力、すなわち数学的推論を検証、解釈、挑戦する訓練された能力は、定理生成の副産物ではなく、需要に応じて再構築できない機関によって世代を超えて構築されたインフラストラクチャの一形態です。 2026年5月の平面単位距離問題に関する長年のErdős予想のAIによる反証と、連邦政府による数学科学への支援の最近の混乱を参考に、このエッセイは、数学的能力を半導体能力と同等の戦略的資産として扱うことを主張しています。さらに、他の措置の中でも、結果的な推論を行うAIシステムに対し、その決定に不可欠な主張を形式的で機械的にチェック可能な形で提示することを要求し、AI推論の一部を不透明な説得から監査可能な構造に変換することを提案しています。 コメント: 10ページ。コメント歓迎 主題: 歴史と概要 (math.HO) 参照方法: arXiv:2607.06377 [math.HO] (またはこのバージョンについては arXiv:2607.06377v1 [math.HO]) https://doi.org/10.48550/arXiv.2607.06377 詳細はこちらをご覧ください arXiv発行DOI (DataCite経由) 提出履歴 送信者: Jun-Yong Park [メールを表示] [v1] Tue, 7 Jul 2026 15:15:05 UTC (12 KB) 全文リンク: 論文にアクセス: Jun-Yong Parkによる「理解なき自動化」というタイトルの論文のPDFを表示 PDF HTML (実験的) TeXソース ライセンスを表示 現在の閲覧コンテキスト: math.HO < 前 | 次 > 新規 | 最近 | 2026-07 以下の方法で閲覧を変更: math 参考文献と引用 NASA ADS Google Scholar Semantic Scholar エクスポート BibTeX引用 読み込み中... BibTeX形式の引用 × 読み込み中... 提供元データ: ブックマーク 書誌ツール 書誌および引用ツール 書誌エクスプローラー 書誌エクスプローラーを切り替える (エクスプローラーとは何ですか？) コネクテッドペーパー コネクテッドペーパーを切り替える (コネクテッドペーパーとは何ですか？) Litmaps Litmapsを切り替える (Litmapsとは何ですか？) scite.ai sciteスマート引用を切り替える (スマート引用とは何ですか？) コード、データ、メディア この論文に関連するコード、データ、メディア alphaXiv alphaXivを切り替える (alphaXivとは何ですか？) コードへのリンク CatalyzeX 論文用コードファインダー (CatalyzeXとは何ですか？) DagsHub DagsHubを切り替える (DagsHubとは何ですか？) GotitPub GotitPubを切り替える (GotitPubとは何ですか？) Huggingface Hugging Faceを切り替える (Hugging Faceとは何ですか？) ScienceCast ScienceCastを切り替える (ScienceCastとは何ですか？) デモ デモ Replicate Replicateを切り替える (Replicateとは何ですか？) Spaces Hugging Face Spacesを切り替える (Spacesとは何ですか？) Spaces TXYZ.AIを切り替える (TXYZ.AIとは何ですか？) 関連論文 レコメンダーと検索ツール 影響力フラワーへのリンク 影響力フラワー (影響力フラワーとは何ですか？) コアレコメンダー コアレコメンダーを切り替える (COREレコメンダーとは何ですか？) 著者 会場 機関 トピック arXivLabsについて arXivLabs: コミュニティ協力者との実験的プロジェクト arXivLabsは、協力者がarXivの新しい機能をウェブサイト上で直接開発・共有できるフレームワークです。arXivLabsと協力する個人および組織は、オープンさ、コミュニティ、卓越性、ユーザーデータプライバシーという私たちの価値観を受け入れ、遵守しています。arXivはこの価値観にコミットしており、それに準拠するパートナーのみと協力します。arXivコミュニティに価値をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。 この論文の著者は誰ですか？ MathJaxを無効にする (MathJaxとは何ですか？)