- AIベンチマークに数学を使うのは有害だとして数学者たちが反発
https://gigazine.net/news/20260915-misalignment-of-ai-in-mathematics/
- 大規模言語モデル(LLM)の数学的能力は目覚ましい進歩を遂げており、数々の難問を解けるレベルにまで到達しました。
しかしその一方で、AI企業が数学的問題解決をベンチマークとして推進する動きについては数学という学問そのものや数学コミュニティにとって有害であると、フィールズ賞受賞者25名からなる数学者たちが公開書簡を通じて警鐘を鳴らしています。
- 数学コミュニティは多様なアプローチを持つ個人が集まり共通の価値観を共有する人間社会の縮図であり、最も貴重な資源は「学生」と「アイデア」であるとの考えに基づき大切に育てられています。
学生には研究や他分野で活躍するためのスキルを養う問題が提示され、アイデアは講演・個人的な議論・慎重な論文執筆を通じて先行研究との関連性を明確にしながら共有されます。
ここで重要なのが、学生やアイデアを育むには時間や人間的交流が不可欠であるということです。
- なお、公開書簡により提起された懸念を考慮し、OpenAIはCaltech Mathathonへのスポンサーシップを撤回することを決定したとのこと。
また、Mathathonも懸念の一部が妥当であることを認め、公式説明を更新するとともに第2ラウンドの応募要件に「arXivへの論文掲載」を必須事項として追加しました。
- エッヂ民👈️🥺これなに？
- くだらない煽りスレ立ててんじゃねえよ
- >>6
男女対立煽りみたいなのはともかくエッヂ民バカ列伝はつぶさに記録していきたい🥺 - 数学者が問いを考える→AIで時間かけて解いてもらう→その間別のことに時間使える
winwinにしか見えん - >>7
答えそのものはどうでもええんや
証明の過程で色んな新しい概念とか理論が発明されることに意味がある
AIが力尽くで解いてもそういう発展がないって話やろ - >>14
確かにそれは問題やな
新しい概念とか理論を発明するAIの開発を急がんとな - >>16
しょーもな - >>16
ビッグデータがないと無力だから現状それが作れないんだよね
創薬の世界でも動物実験ではダントツの結果を出すけど1相2相試験は全滅なので生産性上がってないらしい
やりやすい問題を解く弊害を回避する夢のような機械を作り技術はまだない🥺 - >>23
新しい理論とか概念を発明するためのデータが必要ってこと？ - >>7
エッジのレスやレスバがAIだらけになったらどうよ？
そうなったら匿名掲示板の文化の発展が阻害されるやろ - 反反AIは病気やから
何言っても伝わらんで - >>8
バカにお前はバカだと言うことほど気持ちいいことはない
気持ちよさに負けました🥺 - >>11
馬鹿がスレ立てんなよ
🥺←これ使うクソ気持ち悪いおっさんは4ね - >>12
品位Dですね
残念🥺 - AIの出す答えには「人間のあたたかみ」がないからね
- こんなこと言うエッヂ民はAIで失うような能力元々ないからな
- まぁAIで大量に問題を解いてみるほうがこれ毎回やってるけど無駄じゃね？って共通要素を見つけるのに役立ちそうな気もしないでもない
でも現代数学の抽象化ってもっと人が思いつかないようなすごいことやってるのかな🥺 - ラマヌジャン「え😳」
- >>20
証明を書かないAIは人間と違って検証が大変って話やで
ちゃんとニュース読もうな - >>30
おっそうだな - >>30
余裕やで
完全な結果からアホ人間が求める不完全な過程を逆に作り出すだけやで - またエッヂャーの負けか
- AI創薬の話ね🥺
- 何かすれば可能性はありそうなんだよなぁという問題と現状の弊害をどう回避するかという問題を区別できないとエッヂ民みたいに壊れた言動を始めちゃうんだよね🥺
- aiも入力トークンによって答えが変化するので
aiによって大量に乱造された証明を審査するとなると数学者がいくらあっても足りんわ - AIに新たな発見はない
マジでやめた方がええ - それが正しいか調べるの数学者なんやから馬鹿みたいに出されても困るなんてわかるやろ
- 解けてない難問た証明だけ計算させとけばええんちゃうか
主婦が見つけたタイルの問題とかそういうロマンはなくなるやろうけど - >>29
コラッツ予想みたいな解けてもおそらく他分野に影響ないけど色んな人が挑戦して一生無駄にしてるみたいなやつは解いてもいい気がするんだよな
ミレニアム問題みたいな解く過程で新理論が欲しくなるタイプの影響が大きい問題はもっとじっくり理論の整備からやる必要がある感じだと思ってる🥺 - なんだかんだいって、今は数億数十億の総当たりをひたすらやってるだけやろうしな
- >>32
総当りはSATソルバみたいな古典的方式じゃないか？
今のAIは何だかんだで創発してるので
大学院生並の思考力をたゆまず実行し続ける機械があると未解決問題も突破しちゃう感じなんだと思う🥺 - ゲームのネタバレを見ながら攻略するようなもんだからロマンがないというのはそうやな
でもロマンを求めるのが学問ではないだろ - 人類発展のために使うべきや
数学者じゃなくても外部の人間がAI使って解けば数学者の質が落ちない訳やしな
やりようはいくらでもある - >>36
人類発展のために使うなら尚更数学なんて足枷逆にAIにはいらないで - ラマヌジャンが提唱した説の証明なら学術的にも問題ないしAIのベンチマークとしても使えるんじゃないか
数学者「AIで答えだけ出すと数学の発展が阻害される」エッヂ民「反AI負けてて草」OpenAI「その主張一理ある」→数学イベントから撤退
エッヂ
コメント