人工知能の急速な発展は、数学分野で目覚ましい進歩を生み出しています。しかし、それに伴い、AIが適切な制御規則なしにますます広く使用される場合の潜在的なリスクについて、学術界からの懸念の波が高まっています。
最近、数百人の数学者が「人工知能と数学に関するライデン宣言」に署名しました。これは、ライデン大学(オランダ)で開催された会議の後、16人の研究者グループによって8ヶ月間作成された文書です。宣言は、国際数学連合からも支持を得ています。
この動きは、OpenAIとGoogle DeepMindが、AIモデルが数十年にわたって存在してきた問題を解決できる能力があることを示す結果を発表してからわずか数週間後に現れました。
その中で、OpenAIは、数学者ポール・エルデシュが1946年に考案した有名な幾何学的問題の解決策を見つけた推論モデルを発表しました。一方、Google DeepMindは、AlphaProof Nexusシステムが未解決の353のエルデシュ問題のうち9つを解決したと発表しました。
しかし、数学者は、AIが合理的に聞こえるが実際には不正確な議論を作成し、科学的検証をより困難にする可能性があるため、これらの成果は慎重に評価する必要があると述べています。
これは、反論者の負担を増大させ、正確性、透明性、および独立した検証能力に関する従来の基準を脅かします。
「ライデンの人工知能と数学に関する宣言」はまた、AIが研究論文の起源を十分に引用していないこと、技術へのアクセス権を持つ研究者と持っていない研究者の間で不平等が生じる危険性、公式の科学審査チャンネルではなく、プレスリリースまたはオンライン投稿を通じて結果を発表する傾向など、他の多くの懸念事項も指摘しています。
さらに、研究者たちは、数学研究へのテクノロジー企業のますます深い関与が、この分野の自主性に影響を与える可能性があるという警告も発しています。
「ライデンの人工知能と数学に関する宣言」はAIに反対していませんが、透明性と責任ある技術使用の原則の構築を求めています。
推奨事項には、研究におけるAIの使用の公開、人間の著者の功績の完全な記録の確保、適切な出版ガイドラインの作成、学術界とテクノロジー業界間の協力における倫理基準の維持が含まれます。
