AIは数学の脅威、学者ら懸念表明 審査なき「難問証明」を批判 [377482965]
AIは数学の脅威、学者ら懸念表明 審査なき「難問証明」を批判（朝日新聞）
https://news.yahoo.co.jp/articles/37f0bdd8ae8d64409b40eee0df4091f9c459d7b3 人工知能（AI）は数学にとって脅威だ――。数学の証明などにAIを安易に利用することに警鐘をならす「ライデン宣言」を、欧米の数学者や研究者のグループが発表した。テック企業が参画する弊害や、ブログなど審査を経ない成果発表への懸念などを示した。宣言に対しては、日本学術会議が加盟する国際数学連合などが支持を表明している。
【画像】AIは数学者になれるのか？
米カリフォルニア大、英ケンブリッジ大などの研究者16人のグループが6月に発表した。2025年にオランダ・ライデン大学で開かれた国際会議が発端となり、宣言の賛同者は、数学のノーベル賞とも呼ばれるフィールズ賞受賞者や、東京大など日本の研究者ら2800人を超える。
宣言では、人間の脳構造をヒントにしたニューラルネットワークなど、AI技術が数学研究に対して既に変革をもたらしていると評価。「AI活用による新たな発見の可能性について、熱狂を感じる研究者もいる」と理解を示し、数学自体がAI開発に貢献していることも強調した。
一方で、AIが自動的に数学の難問を証明した、といったような議論については「正しい数学的証明と区別することが難しく、論文などの審査システムに大きな圧力となる」と指摘。数学という学問分野にとって、AIの発展が脅威となっていると明言した。
正しければAIの功績、間違ってたら審査ミスをした数学者の落ち度になるからリスクだけで割に合わないってことかね
＞ AIが自動的に数学の難問を証明した、といったような議論については「正しい数学的証明と区別することが難しく、論文などの審査システムに大きな圧力となる」と指摘。
無重力の式を編み出して建物などに使って地震など怖くないようにしたい
どのような式を打ちこんだらＡＩがその式を導出できるだろうか
AIの中身がわからんのやったら
フカシと真実の区別も付かんようになるやろ
そりゃあ最終的な正しさを人間が投げ出したらヤバいだろ
テッドチャンの人類科学の進化みたいなもんか
ヒトは超知能が生み出したものの翻訳と解釈と証明に時間を費やすだけ
それが正しいかどうかはすぐに分かるものじゃないの?数学の証明に使うくらいだからどうやってその証明導き出したかっていう説明くらいは余裕で出来るんだろ?
これまでも数学の証明で場合分けのパターンをコンピュータ使ってしらみつぶし的に調べるような事やってなかったっけ
合ってるかも良くわからん時点で論文を大量に出されると審査側がパンクするからな
そのうちLean（コンピュータによる証明アシスタント）の形式化まで自動化されれば誰も文句言わなくなるだろが
>>4 正しいかどうかの論文も難しくて、ほとんどの人が理解できないから
>>10 フェルマーの最終定理は査読に1年半、
ABC問題は査読に8年かかったらしいので
>>14 いやあの問題の査読は簡単だよ
AIは一応合ってる
いろんなAIガイジからゴミみたいな論文送られたらあっちゅうまにパンクするんだろ
まあ、統計学と証明は全然違うからなあ
大学出てないやつはこれをごちゃ混ぜにしてるけど(´・ω・`)
>>10 今キミが高度な数学の説明をされたとして理解出来るか？
それと同じや
解いた（と言ってる）人間とそうでない人間の差は簡単に埋まらない
絶対間違ってると思うわ
簡単な問題ですら微妙なのに
検証不能なだけだろ
割に合わなくて人間が放置してる昔の問題を、AIがやってると聞いたが違うのか
>>21 だーかーらーAIが解いたのはエルデシュの幾何学問題だからすぐ分かったの
>>23 そう
まったく注目されてなかった問題をAIが解けてわーいわーいって喜んでる
現代数学の発展にはならない
>>26 注目されてる問題
集合論とか組み合わせ問題とかの数学基礎論とか
ホモは嘘つきである
国会議員は嘘つきである
よって国会議員はホモである
高市早苗は国会議員である
よって高市早苗はホモである
進化しても永久機関を考えて貰えるようにならないのは、元が人間の知識ベースだからかな
>>24 だめだこいつ
日本語すら出来ないレベルやん
数学者必死だな
現物に応用できる科学だと正しいかどうかより使えるかどうかの方が重要なことって多いのに
>>2 そのレベルの人が5000人集まっても勝てないレベルになるだろうし、そうなったところで進化が止まるとも思えないから永遠に差は広がり続けるんやないかな
人間には限界があるでしょAIは無限のイメージあるしボケたり退化したりしなさそうやん分からんけど
准教授が難問のオリジナル証明を送りつけてくるアホの話をしていた
100倍くらい増えてそう
>>17 自分の得意な分野についてAIに聞くととんでもないおかしな答えを出すから信用ならんのだよ
でも円周率は手書きと目視で検算しませんwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
