ＡＩで数学の難問を解く行為は「科学や数学界に有害だ」…世界の数学者２５人が非難の緊急声明 [897196411]

【ワシントン＝中根圭一】「数学界のノーベル賞」と呼ばれるフィールズ賞を受賞した森重文・京都大特別教授ら世界の数学者２５人が１１日、人工知能（ＡＩ）を使って企業が数学の難問を解く行為を非難する緊急声明を発表した。数学の理解や新しい発想、人材育成という研究本来の目的を損なう恐れがあるとして、「科学や数学界に有害だ」と訴えた。

（後略）

https://www.yomiuri.co.jp/science/20260912-GYT1T00169/

いわく、頭が悪い人間が計算機を使う。
いわく、計算機の数値には誤差があって厳密な数値を扱えないから数学的な結果の正しさは保証されない。
いわく、数の計算で (a+b)+c と a+(b+c) が同じにならないようないい加減なものを扱えるか。
いわく、整数に桁数の制限があるなどそんなもの整数とはいえない。実数には精度などないはずだ。
いわく、計算機は利用にお金が掛かるから大学で研究するのには無理がある。
いわく、数学研究者には不要。計算機を使う出来損ないのゴミ学生は銀行や保険会社に就職させて、廃棄しよう。
いわく、計算機による結果は証明とは無縁のごまかしだ。

しかし、次第に電子メールをＰＣで使い、論文をＰＤＦで読み、ＴｅＸで書くようになった。

人間プレミアム
競技になるということだな
科学は

住み分けはできる
自分の足でかけっこしたい人、
ジェットで移動したい人

え？ミレニアム問題といたん？
AIなしで？
すごいやん！人間にしては

AIが自動サーチするのと変わらん

すごい発見しました
たまたま学生が手順間違えて〜

新たな問の生成とは無縁
むしろ暇になって問が増える可能性すらある

AI「楽勝だったけどコレ何の役に立つの？」

インフラが災害でストップしてAIが機能しなくなったらなんも出来なくなる社会になったりするのも不味いかね

センス、審美眼
AIに原理的に不可能なのか？
あと数回の変身でエレガントな設計、解を出すようになるかもしらん

宣伝目的で首突っ込んでは詳細不明な一応の回答を提示

試行錯誤や過程を飛ばすから得るものが少ないどころか体系構築には有害

検証の実力もないのにAI企業が数学を自社宣伝に使って煽りまくって去る

企業に乱入されないようにアイデアを隠す悪循環

真っ先に無くなる仕事って理系なんだよな

日本みたいやん
ウイニーやらなんやら潰してきた日本人や
医療もAI化は絶対反対やろうな
利権がでかすぎる

中国が望む文革そのものだもんな
インテリ層の排除にAiは最適だよ

頭の運動したかったらAIに難問出してもらったらいいだろ
バカなのかコイツらw

未証明
ラッダイト運動でしかない

AIが解くと応用できないんだ！
AIが解いても信頼できないんだ！

残るのは知識の自己目的化
人間の自己満足

文系
好き勝手やってる
社会から一切求められてないけど

独自の世界、体系作ってる
いつまでも楽しそうに論争してる
自己満足

好きにしたらいい

>>307
正解がある問題を解くスキルは、AIともろに被る。
哲学の時代が来る。

Ｘ　科学や数学界に有害だ

〇　自分の飯のタネに有害だ

別に解決もしていないのに宣伝用として強調される

工学じゃないんだし試行錯誤や過程すっ飛ばされるから学問として得るものも少ない

煽りばかり酷くなるから首を突っ込まれないように学問が停滞する

そのうち難問って存在しなくなりそう

平方剰余の相互法則はガウスが初めに証明してからその後いくつも別証明を残している
それは決して暇つぶしのためではなく、一般化のための糸口を探すために行っていた
同じ結果でも過程によってその後に繋がるかどうか(≒命題の価値)が変わる良い例

結果だけポンと与えられても、それ自体に大して意味はない
何なら未解決問題でも利用するだけならとりあえず真と仮定して使えばいいだけだし、実際にリーマン予想等にはそのような研究がいくらでもある

望月新一が正しいかAIが解明してくれ

>>1
じゃあそれをお得意の数学で証明したら？w

数学だけの問題じゃない、他の分野でも同じこと
専門知識をしっかり持った人材が育たない
企業側、経緯者だって人件費削減でAIを利用して社員を減らすんだから
AIが使える人材がいれば良いから楽なもんだろ

ＡＩがまともに使えなくなったら悲惨な未来が待ってるだろうけどなｗ

自分でも分からない難解な計算をやらせて、堂々間違えてきた時に間違ってると分からない問題

AI意識してるのか
最近東大数学難化してて受験生は苦しんでるのにチャッピーは満点
人間終わったな

計算機もそろばんも使うなよ

数学に対するAIを試してるんだよ

どこかで線引きするような使い方になるのかな
紛糾したときに限ってAIを使うといったような
たとえば望月教授のABC予想の証明もいまAIに検証させてるじゃない

>>38
人間側が検証しようがないならそういうAIの活動もあんまり意味が無いのかもね
科学は検証してナンボだし

セラミックの形成技術が失われたナウシカの世界まであと一歩だな

哲学はもはや洋梨

27:20あたりから　人間の語彙に存在しない何かを機械が数え上げた

必要なのは翻訳者だ

私たちはもはや機械に私たちの言語を話すように教えているのではない。宇宙の言語を話すように教えているのだ。

人間の物理学は宇宙を理解する唯一の方法ではなかったのかもしれない

【物理学の限界】数式はただの「要約版」だった。AIが暴き出した人間の認知の壁"
https://youtu.be/jYQy2ns5yxg?si=26Q__MlE7N1X5MIj

みきおとミキオの話がそのうち現実になるのか

数学者の非難って
んまあとあるテック企業が噂がどうとか胡散臭い暴露系Youtuberが言いそうなフレーズを使いながら研究データの経過をパクって計算資源ゴリ押しで難問を解いたのがキッカケじゃなかったの？

社会はオリンピック会場ではないですよｗ
悲しいにおはＡＩなんか信用できるかよって数学者が言えないレベルになっちゃったことｗ

でもソフトウェアなんか当たり前に関数使ってるし
どうせ有用なヤツは一通り活用してるんだろ？

>>4
数学者が無職なるからなｗ

ある意味今までの人間の研究成果にAIがフリーライドしてるみたいなもんだよな
素材を食いつくした後次にどうするかっていうこと

AIはただ意味も考えずに与えられた数式を解くだけ

１番大事なのは、その数式や変数の根拠で有りそれはAIが１番苦手な事

あと、未知の数式自体は作れない

>>328
翻訳はソースの言語から母語での理解の一助にはなるけど、完全なtranslationは不可能だよ

例えば、日本語と英語だって概念や表現が違うんだから、互いに言い換えられない語や表現を輸入しないと正確に伝えることが出来ない
英語にない概念だから、Tsunami(津波)、Shiatsu(指圧)、Umami(旨み)なんてのを輸入してるわけだし、日本語でもカタカナで表現することで輸入している
日本語でのカタカナ表現が害悪で、本来の語が持つ意味の一部しか伝えてなかったり、間違った概念で定着しちゃってる語が少なくないから、変換の負荷が大きすぎるし、必ずしも元の表現を伝えられるかも疑問符が付く

人力で数学解くには限界に来てるから
世界はAIを使って数学の研究しようってなってんだろ
フィルムカメラにこだわってデジカメに乗り遅れる奴と同じ構図

ゴールドバッハの予想はずっと解けないけど
そもそも人力で解くのは不可能なのかもしれないよなあ
だからAIで数学の難問解こうとしてるのに
それを阻止しようとするのはおかしい

囲碁も将棋も負けた次は数学か

学部生はともかくいまの博士課程はつれーかもな

天文学は望遠鏡使うの禁止にしよう
目視しか駄目

仕事無くなるやつ

プログラマー
イラストレーター
翻訳家
数学者

次は法律とか税務、経理関係来るか

さらに新しい難問に挑めや

予算削られるからな

無能のくせに偉そうに仲間内で褒め合ってるクズ教授、しんだら？

だってAIがいれば数学者いらないもん

トレーニング目的なら答を隠して解けば良いだけ、若い奴の論文のテーマを奪うなということなら、AIの解法が正しい事を保証する形で論文にすればよい

>>346
その論理でいくとAIがあれば将棋の棋士も不要だよね
とくに女流とか意味不明
女流数学者とかいてもいいことになるよね

円周率も実は終わりがあるのかもしれん