ホームページ テクノロジー周辺機器 AI なぜ人工知能は数学に革命を起こすことができるのか

なぜ人工知能は数学に革命を起こすことができるのか

Jun 02, 2024 pm 02:47 PM
理論

なぜ人工知能は数学に革命を起こすことができるのか

編集者 | キャベツの葉

「予想(真であると思われるが、明確な証明が必要な命題)を提案することは、数学者にとって神聖なインスピレーションの瞬間のようなものです。直観に反しますが、数学的予想はただそこにあるわけではありません。これは機械知能の最も変革的な分野だと思う、とロンドンの数理科学研究所所長トーマス・フィンク氏は語った。

なぜ人工知能は数学に革命を起こすことができるのか

2017 年、ロンドンの数理科学研究所の研究者は、趣味として機械学習を数学データに適用し始めました。新型コロナウイルス感染症のパンデミック中に、彼らは、単純な人工知能 (AI) 分類器が、楕円曲線の複雑さの尺度である楕円曲線の順位を予測できることを発見しました。

なぜ人工知能は数学に革命を起こすことができるのか

論文リンク: https://arxiv.org/abs/2204.10140

楕円曲線は、その基本的な統計を理解することが、これらの 7 つのミレニアム問題の 1 つを解決するための重要なステップです。 7 つの主要なパズルはロードアイランド州プロビデンスのクレイ数学研究所によって選ばれ、それぞれ 100 万ドルが授与されます。この一か八かの分野で人工知能が役割を果たすことを期待する人はほとんどいません。

人工知能は他の分野でも進歩しています。数年前、ラマヌジャン マシンと呼ばれるコンピューター プログラムが、π や e などの基本定数の新しい式を生成しました。これは、連分数の族、つまり、分母が数値と分数を加算した分数である分数、その分母が数値と分数を加算した分数が分数である場合の分数などを徹底的に検索することによって行われます。これらの推測の一部は証明されていますが、その他は未解決のままです。

なぜ人工知能は数学に革命を起こすことができるのか

論文リンク: https://www.nature.com/articles/s41586-021-03229-4

もう 1 つの例は、トポロジーの一分野であるノット理論に関連しています。ロープの端がくっつく前に、ロープが絡まってしまいます。 Google DeepMind の研究者は、さまざまなノットからのデータを使用してニューラル ネットワークをトレーニングし、代数的構造と幾何学的構造の間の予期せぬ関係を発見しました。

なぜ人工知能は数学に革命を起こすことができるのか

論文リンク: https://www.nature.com/articles/s41586-021-04086-x

人間の創造性が重要視される数学の分野において、人工知能はどのような影響を与えることができるのでしょうか?

まず第一に、数学に偶然はありません。実際の実験では、偽陰性と偽陽性が多発します。しかし数学では、反例がこの予想を完全に覆します。たとえば、ポリア予想では、特定の整数以下のほとんどの整数は奇数の素因数を持つと述べられています。しかし、1960 年までに、この推測は 906,180,359 という数字には当てはまらないことが判明しました。ポリアの推測はすぐに反証されました。

第二に、人工知能を訓練できる数学的データは安価です。素数、ノット、その他多くの種類の数学的オブジェクトが豊富にあります。オンライン整数列百科事典 (OEIS) には、よく知られたフィボナッチ数列 (1、1、2、3、5、8、13、...) から強力なビジー ビーバー数列 (0、1、4) まで、約 375,000 の数列が含まれています。 、6、13、...)、これはどの計算可能な関数よりも速く増加します。科学者たちはすでに機械学習ツールを使用して OEIS データベースを検索し、予期せぬ関係を発見しています。

なぜ人工知能は数学に革命を起こすことができるのか

OEIS: https://oeis.org/

人工知能は、パターンを発見し、推測を形成するのに役立ちます。しかし、すべての推測が一貫しているわけではありません。それらは数学の理解を向上させるためにも必要です。 G. H. ハーディは 1940 年の記事「数学者の謝罪」の中で、優れた定理とは「さまざまな種類の定理を証明するために使用される多くの数学的構造の不可欠な部分であるべきである」と説明しました。

言い換えれば、最良の定理は新しい定理を発見する可能性を高めます。新しい数学的フロンティアに到達するのに役立つ推測は、得られる洞察が少ない推測よりも優れています。しかし、それらを区別するには、その分野自体がどのように発展するかについての直観が必要です。このように広範な状況を把握することは、長期的には人工知能の能力を超えているため、この技術は重要な推測を見つけるのに苦労するでしょう。

これらの潜在的な問題にもかかわらず、数学コミュニティで AI ツールを広く採用することには多くの利点があります。人工知能は決定的な利点をもたらし、新しい研究の道を切り開くことができます。

主流の数学ジャーナルも、より多くの推測を掲載する必要があります。フェルマーの最終定理、リーマンの仮説、ヒルベルトの 23 の問題、ラマヌジャンの多くの正体など、数学の最も重要な問題のいくつかと、あまり知られていない無数の予想が、この分野の方向性の発展を形作ってきました。推測は私たちを正しい方向に導き、研究をスピードアップします。データやヒューリスティックな議論によって裏付けられた推測に関する雑誌記事は、発見を加速します。

2023 年に、Google DeepMind の研究者は、220 万の新しい結晶構造が出現すると予測しています。しかし、これらの潜在的な新材料のうちどれだけが安定しており、合成可能であり、実用化できるかはまだ分からない。現在、これは主に材料科学の幅広い背景を持つ人間の研究者が担当しています。

なぜ人工知能は数学に革命を起こすことができるのか

論文リンク: https://www.nature.com/articles/s41586-023-06735-9

同様に、人工知能ツールの出力を理解するには、数学者の想像力と直観が必要です。したがって、AI は人間の創造性の触媒としてのみ機能し、代替となるものではありません。

関連コンテンツ: https://www.nature.com/articles/d41586-024-01413-w

以上がなぜ人工知能は数学に革命を起こすことができるのかの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

AI Hentai Generator

AI Hentai Generator

AIヘンタイを無料で生成します。

ホットツール

メモ帳++7.3.1

メモ帳++7.3.1

使いやすく無料のコードエディター

SublimeText3 中国語版

SublimeText3 中国語版

中国語版、とても使いやすい

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境

ドリームウィーバー CS6

ドリームウィーバー CS6

ビジュアル Web 開発ツール

SublimeText3 Mac版

SublimeText3 Mac版

神レベルのコード編集ソフト(SublimeText3)

「Defect Spectrum」は、従来の欠陥検出の限界を打ち破り、超高精度かつ豊富なセマンティックな産業用欠陥検出を初めて実現します。 「Defect Spectrum」は、従来の欠陥検出の限界を打ち破り、超高精度かつ豊富なセマンティックな産業用欠陥検出を初めて実現します。 Jul 26, 2024 pm 05:38 PM

現代の製造において、正確な欠陥検出は製品の品​​質を確保するための鍵であるだけでなく、生産効率を向上させるための核心でもあります。ただし、既存の欠陥検出データセットには、実際のアプリケーションに必要な精度や意味論的な豊富さが欠けていることが多く、その結果、モデルが特定の欠陥カテゴリや位置を識別できなくなります。この問題を解決するために、広州香港科技大学と Simou Technology で構成されるトップの研究チームは、産業欠陥に関する詳細かつ意味的に豊富な大規模なアノテーションを提供する「DefectSpectrum」データセットを革新的に開発しました。表 1 に示すように、他の産業データ セットと比較して、「DefectSpectrum」データ セットは最も多くの欠陥注釈 (5438 個の欠陥サンプル) と最も詳細な欠陥分類 (125 個の欠陥カテゴリ) を提供します。

NVIDIA 対話モデル ChatQA はバージョン 2.0 に進化し、コンテキストの長さは 128K と記載されています NVIDIA 対話モデル ChatQA はバージョン 2.0 に進化し、コンテキストの長さは 128K と記載されています Jul 26, 2024 am 08:40 AM

オープンな LLM コミュニティは百花繚乱の時代です Llama-3-70B-Instruct、QWen2-72B-Instruct、Nemotron-4-340B-Instruct、Mixtral-8x22BInstruct-v0.1 などがご覧いただけます。優秀なパフォーマーモデル。しかし、GPT-4-Turboに代表される独自の大型モデルと比較すると、オープンモデルには依然として多くの分野で大きなギャップがあります。一般的なモデルに加えて、プログラミングと数学用の DeepSeek-Coder-V2 や視覚言語タスク用の InternVL など、主要な領域に特化したいくつかのオープン モデルが開発されています。

Google AI が IMO 数学オリンピック銀メダルを獲得、数理推論モデル AlphaProof が発売、強化学習が復活 Google AI が IMO 数学オリンピック銀メダルを獲得、数理推論モデル AlphaProof が発売、強化学習が復活 Jul 26, 2024 pm 02:40 PM

AI にとって、数学オリンピックはもはや問題ではありません。木曜日、Google DeepMind の人工知能は、AI を使用して今年の国際数学オリンピック IMO の本当の問題を解決するという偉業を達成し、金メダル獲得まであと一歩のところまで迫りました。先週終了したばかりの IMO コンテストでは、代数、組合せ論、幾何学、数論を含む 6 つの問題が出題されました。 Googleが提案したハイブリッドAIシステムは4問正解で28点を獲得し、銀メダルレベルに達した。今月初め、UCLA 終身教授のテレンス・タオ氏が、100 万ドルの賞金をかけて AI 数学オリンピック (AIMO Progress Award) を宣伝したばかりだったが、予想外なことに、AI の問題解決のレベルは 7 月以前にこのレベルまで向上していた。 IMO に関する質問を同時に行うのが最も難しいのは、最も歴史が長く、規模が最も大きく、最も否定的な IMO です。

結晶相問題を解決するための数百万の結晶データを使用したトレーニング、深層学習手法 PhAI が Science 誌に掲載 結晶相問題を解決するための数百万の結晶データを使用したトレーニング、深層学習手法 PhAI が Science 誌に掲載 Aug 08, 2024 pm 09:22 PM

編集者 |KX 今日に至るまで、単純な金属から大きな膜タンパク質に至るまで、結晶学によって決定される構造の詳細と精度は、他のどの方法にも匹敵しません。しかし、最大の課題、いわゆる位相問題は、実験的に決定された振幅から位相情報を取得することのままです。デンマークのコペンハーゲン大学の研究者らは、結晶相の問題を解決するための PhAI と呼ばれる深層学習手法を開発しました。数百万の人工結晶構造とそれに対応する合成回折データを使用して訓練された深層学習ニューラル ネットワークは、正確な電子密度マップを生成できます。この研究では、この深層学習ベースの非経験的構造解法は、従来の非経験的計算法とは異なり、わずか 2 オングストロームの解像度で位相問題を解決できることが示されています。これは、原子解像度で利用可能なデータのわずか 10% ~ 20% に相当します。

自然の視点: 医療における人工知能のテストは混乱に陥っています。何をすべきでしょうか? 自然の視点: 医療における人工知能のテストは混乱に陥っています。何をすべきでしょうか? Aug 22, 2024 pm 04:37 PM

編集者 | ScienceAI 限られた臨床データに基づいて、何百もの医療アルゴリズムが承認されています。科学者たちは、誰がツールをテストすべきか、そしてどのようにテストするのが最善かについて議論しています。デビン シン氏は、救急治療室で小児患者が治療を長時間待っている間に心停止に陥るのを目撃し、待ち時間を短縮するための AI の応用を模索するようになりました。 SickKids 緊急治療室からのトリアージ データを使用して、Singh 氏らは潜在的な診断を提供し、検査を推奨する一連の AI モデルを構築しました。ある研究では、これらのモデルにより医師の診察が 22.3% 短縮され、医療検査が必要な患者 1 人あたりの結果の処理が 3 時間近く高速化できることが示されました。ただし、研究における人工知能アルゴリズムの成功は、これを証明するだけです。

新しい科学的で複雑な質問応答ベンチマークと大規模モデルの評価システムを提供するために、UNSW、アルゴンヌ、シカゴ大学、およびその他の機関が共同で SciQAG フレームワークを立ち上げました。 新しい科学的で複雑な質問応答ベンチマークと大規模モデルの評価システムを提供するために、UNSW、アルゴンヌ、シカゴ大学、およびその他の機関が共同で SciQAG フレームワークを立ち上げました。 Jul 25, 2024 am 06:42 AM

編集者 |ScienceAI 質問応答 (QA) データセットは、自然言語処理 (NLP) 研究を促進する上で重要な役割を果たします。高品質の QA データ セットは、モデルの微調整に使用できるだけでなく、大規模言語モデル (LLM) の機能、特に科学的知識を理解し推論する能力を効果的に評価することもできます。現在、医学、化学、生物学、その他の分野をカバーする多くの科学 QA データ セットがありますが、これらのデータ セットにはまだいくつかの欠点があります。まず、データ形式は比較的単純で、そのほとんどが多肢選択式の質問であり、評価は簡単ですが、モデルの回答選択範囲が制限され、科学的な質問に回答するモデルの能力を完全にテストすることはできません。対照的に、自由回答型の Q&A

PRO | なぜ MoE に基づく大規模モデルがより注目に値するのでしょうか? PRO | なぜ MoE に基づく大規模モデルがより注目に値するのでしょうか? Aug 07, 2024 pm 07:08 PM

2023 年には、AI のほぼすべての分野が前例のない速度で進化しています。同時に、AI は身体化されたインテリジェンスや自動運転などの主要な分野の技術的限界を押し広げています。マルチモーダルの流れのもと、AI大型モデルの主流アーキテクチャとしてのTransformerの状況は揺るがされるだろうか? MoE (専門家混合) アーキテクチャに基づく大規模モデルの検討が業界の新しいトレンドになっているのはなぜですか?ラージ ビジョン モデル (LVM) は、一般的な視覚における新たなブレークスルーとなる可能性がありますか? ...過去 6 か月間にリリースされたこのサイトの 2023 PRO メンバー ニュースレターから、上記の分野の技術トレンドと業界の変化を詳細に分析し、新しい分野での目標を達成するのに役立つ 10 の特別な解釈を選択しました。準備してください。この解釈は 2023 年の Week50 からのものです

最適な分子を自動的に特定し、合成コストを削減する MIT は、分子設計の意思決定アルゴリズム フレームワークを開発します。 最適な分子を自動的に特定し、合成コストを削減する MIT は、分子設計の意思決定アルゴリズム フレームワークを開発します。 Jun 22, 2024 am 06:43 AM

編集者 | 創薬の合理化における Ziluo AI の利用は爆発的に増加しています。新薬の開発に必要な特性を備えている可能性のある候補分子を数十億個スクリーニングします。材料の価格からエラーのリスクまで、考慮すべき変数が非常に多いため、たとえ科学者が AI を使用したとしても、最適な候補分子の合成コストを秤量することは簡単な作業ではありません。ここで、MIT の研究者は、最適な分子候補を自動的に特定する定量的意思決定アルゴリズム フレームワークである SPARROW を開発しました。これにより、合成コストを最小限に抑えながら、候補が望ましい特性を持つ可能性を最大限に高めることができます。このアルゴリズムは、これらの分子を合成するために必要な材料と実験手順も決定しました。 SPARROW では、複数の候補分子が入手可能な場合が多いため、分子のバッチを一度に合成するコストが考慮されます。

See all articles