並べ替え：新着順
テレンス・タオ、森重文などを含む25人のフィールズ賞受賞者が「数学におけるAIの深刻なミスアライメント」を警告する共同宣言を公開しました。 mathandai.org 【訳】「数学におけるAIの深刻なミスアラインメント」 pic.x.com/DjPN7hTvFi
A Severe Misalignment of AI in Mathematics mathandai.org この声明を理解しやすくするために、数学史の中で失敗が重要な発見に繋がった例を上げてみる。ラメによるフェルマー最終定理の誤った証明、フーリエによる過剰に一般的な主張、ヒルベルトの第14問題に対する永田の反例、など。
この声明のことを言ってるのだとしたら、いつもの大手メディア達のミスリードなので、原文を読むことをオススメ mathandai.org 「数学の未解決問題がそもそも何の為にあるのか？」が勉強になる x.com/kenn/status/20…
返信先:@nikkei日経の見出しが酷すぎる． 多くの人が指摘しているように声明の原文を参照するべき． ※mathandai.org これに関連するTerence Tao氏のMastodonへの投稿を紹介します． x.com/HDUzaJR8Mv2668…
Terence Tao氏 「今や有望な問題を特定することこそが、希少で貴重な資源となっている。 ある問題に取り組んでいるという噂だけで、元の研究プロジェクトがその潜在能力を十分に発揮する間もなく、AIを活用した膨大な努力が注ぎ込まれ、その問題が解決されてしまうという→ mathstodon.xyz/@tao/117237322…
AI企業が未解決数学問題の解決をベンチマークとして急ぐことが、人間が本来も知的思考を損ない、数学者コミュニティを破壊するリスクを警告。「資源は学生とアイデア」の言葉にしびれた mathandai.org
このURLはおろかタイトルすらまともに示せてないというのは本当に嘆かわしいと言うか、読者がいちいち一次資料探して回らないといけないんだから、そりゃ新聞なんか必要なくなるわ。 Math and AI. A Severe Misalignment of AI in Mathematics mathandai.org
返信先:@YSRKENmathandai.org これやろ？見た感じ少し前のLeanによる形式的証明バンバンブームやその後の素人による論文量産を指していて、直近のJacob. Conj.やNS-Eqは指していないように見える。 で、OpenAIのアレは2つの問題……というか1つの大問題と1つの大疑惑をそれぞれ独立に抱えている感じ
返信先:@rootport冗長なだけでツッコミどころ満載だけど、まずは原文読みなよ…「試行錯誤」なんて趣旨は原文には皆無、「学習に使用した先行研究を適正に引用できない」という欠陥は学術として致命的、そもそも「Fable 5以上と200時間以上の対話でAIの専門家」というオレ様基準って…🙀 mathandai.org
具体的に何が譲れない一線で、何が妥協して受け入れることができるか、みたいなことが書かれていないので、何をどうしてほしいかが全くわからない文章になっている。 ＞ mathandai.org
mathandai.org やっぱり詭弁なんじゃない？数学が全ての自然科学、工学の基礎で問題を解くことより過程に意味があるのなら、こうなる世界線をそれが起こる前の過程から考察して止められたのでは？なんで今日俺たちがAIを使ってコード書けるのか。数学のおかげであり、数学のせいですよ
人間はケツの穴が小さいどころか、もうこんなデマを広めるしか能がなくなったら、もう本当に終わりだと思う この声明はAIでゴリゴリ難問を解いていく競争に対してそれは数学界しいては社会にとってどうなん？みたいな内容で、OAIとかアンスロの名前すら出てない mathandai.org x.com/pangaia5048/st…
これなぁ。 ⋯「数学者がAIが難問を解いたことにイチャモンつけた」ならケツの穴が小せぇなぁでおしまいなんだが、実状が「九分九厘解けてる解法を途中式も含めてAIが剽窃して、発表前後に会社が取引持ちかけて来て、口封じを図った」が真相っぽいからなぁ。この見出しじゃダメ。 x.com/nikkei/status/…
返信先:@nikkei絵描きと同じでそれ自体が仕事（学問）から趣味に変わるだけなんじゃね？ 人脈を強調してるけどそれが社会的に良い事か同課は別だしねぇ。 教育自体は未知の証明問題が無いとできないわけじゃない。 他の問題も一神教の人が一番という思想から来てるようにしか思えないな。 mathandai.org
フィールズ賞受賞者の声明全文読みました。AIは研究を早く進めすぎており、土台がしっかりしてないという内容です（詳しくは下記リンクを参照） 少なくともOpenAI社が剽窃をしたなんてことは一言も書かれておらず、ただのお気持ち表明のような印象を受けました リンク:mathandai.org
返信先:@Yomiuri_Online声明が「数学に限らず各分野の最先端では、研究者の交流による問いの深化、教育、新たな問いの発見がなされており、難問はそれらの営みを評価するための代替課題に過ぎない」と指摘するように、副次的成果や本質的課題が得られないなら、幼児が玩具を費消したに等しい😿mathandai.org
そうか、数学にもソフトウェア開発でいうところのバイブコーディング的な「動けば良い」みたいな概念があるのか... mathandai.org そうだよなあ...証明されたというのは代理指標であり、その道中で得られたものに本質的な価値が宿るのかもなあ...
未解決問題を解くことをAIのベンチマークにするのはどうよ…って話か 「detrimental to the science of mathematics」は「科学に有害」じゃなくね？ mathandai.org
このニュース、声明原文を読まないと誤解しがちだけど、AIそのものを否定しているわけじゃないのよね。 数学の難問解決は過程そのものに価値があるから、「難問早解き競争」にかまけるのは本末転倒になりかねないという警句なんすよな。要は使い方に懸念を示している。 mathandai.org pic.x.com/teEIKvBc5J x.com/polymarketjapa…
【速報】「AIが難問を解いた」にフィールズ賞25人が声明「科学に有害」 ・OpenAIが8日「100万ドルの難問を解いた」と発表、クレイ研は未認定 ・矛先は「急いで発表し先行研究を飛ばすやり方」 ・タオ氏や京大の森重文氏も署名 AI企業が今月中に別のミレニアム問題の解決を発表する確率は45%
もとの声明を読もう これを簡単に日本語訳して読めるのもAIのおかげでありがたい 下記の声明をみると、共感するところは多くて、 ー 「数学におけるAIの深刻な不整合」 mathandai.org x.com/nikkei/status/…
AIの数学的不整合は、ロジック依存のビジネス適用で注意喚起。AI結果の過信は禁物。精密な業務への導入時は、検証プロセスと人間の最終判断を設計することが成功の鍵です。 #AI実装 #AI精度 #DX推進 mathandai.org
「AIを使う奴の問題」というのは正しくその通り。例えば京大望月教授によるABC予想の証明は論文発表から（一応の）証明まで8年かかっているので、その「証明の証明コスト」を数学界に丸投げするようなAIベンダーによる粗製乱造は確かに指弾されるべきだろう。 mathandai.org
おおもとの声明は無料で読めるので、読んでみてください。 mathandai.org x.com/zimkalee/statu…
記事が有料で読めないので書いているかわからないが、問題とされているのは「AIが解決したこと」ではなく、「ある数学者たちが解決しそうだ」という情報を聞いたopen AI側が、先に解決して手柄を横取りしようと、その数学者たちがAIに与えていた情報を盗んだという疑惑なのでは。 x.com/nikkei/status/…
元国際数学連合（IMU）の総裁であり、RIMSの名誉教授である森重文先生も宣言に参加！ A Severe Misalignment of AI in Mathematics mathandai.org pic.x.com/50UuMTVG8H
返信先:@nikkei＞数学者にとって問題解決は「理解と洞察を深めるための道具」であり、目的そのものではない。 ちょっと何いってるか判らない。数学者にとってこれはゲームなのでしょうか？社会に役立つなら数式を早く解く事が優先されそれを元に薬品や新素材の開発に繋げるべきでしょう。 mathandai.org pic.x.com/1np0neFDlL
フィールズ賞受賞者25名連名による数学とAIに関する宣言 わあああああ mathandai.org 日本語訳はnote note.com/chrysostomus__… まー自動翻訳あるけどね
エンタメ
スポーツ
アニメ・ゲーム
エンタメ
スポーツ
SNSのバズまとめ一覧
