数学界に”CEO”降臨？AI急進化に海外「俺の専攻終わった」
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP【悲報】サタノファニ、射銃が強すぎて終わる
- ニュース速報まとめMAP【悲報】アメリカさん、ICCにガチ制裁やんけｗ国際司法の未来は？
- なんJ傑作まとめアンテナMAP【悲報】NHK、18歳の入浴シーンを流して炎上ｗｗｗｗｗｗｗｗｗ
- アニメ声優まとめアンテナMAP【悲報】既婚バレしたVtuber、今度は『声がキモすぎる』と叩かれ始める……
- VTuberまとめアンテナMAP【Vtuber】まなのの雑談コラボ！ののは、今日はちょっと臭い
- だめぽアンテナ【速報】池田瑛紗、前屈みで「あれ」が見える
- ヌルポあんてな「300歳」と名乗っていたVTuber、実年齢40歳を公表→なぜか若者が消えてしまうｗｗｗ
- 2chまとめアプリ+【超速報】イラン、ようやく気づいた模様・・・・・
- News人【ガチ注意】個人Vtuber「なんか変な質問が大量に届いたんだけど・・・尋問？」→実はガチでやばすぎる意図があった・・・怖すぎる他
- ブルーアンテナ冨田有紀アナ、白T横乳おっぱいの膨らみがエッチ過ぎてタマランち
- ウマーあんてなSBI、ライブドアを買収 NTTデータ・ミンカブ含め金融データで協業
- ぶーアンテナ【警告】医師「梨、食べすぎるとこうなる…」
- 2ちゃんねるアンテナこれの正式名称が分かるならプラス
- ワロタあんてな吉村知事、金正恩に抗議文を送付「弾道ミサイル発射は許しがたい暴挙」
- ２ちゃんねるまとめるまとめ【画像】HカップYouTuber「タトゥーを入れてモテなくなった」タトゥーで後悔
- おまとめアンテナ【速報】戌亥とこ：誕生日ケーキに何をのせる？ゲストと語る爆誕祭の裏側！
- 5chnavi【悲報】既婚バレしたVtuber、今度は『声がキモすぎる』と叩かれ始める……
- 勝つるあんてな！【悲報】既婚バレしたVtuber、今度は『声がキモすぎる』と叩かれ始める……
- ぷぅアンテナ【画像】怯むドヤ顔、親の真似がバレて草ｗｗｗｗ 他
- にゅーもふ【閲覧注意】 「レ●プしたら死ぬ女」をレ●プした♂2人、地獄の末路を辿る（動画あり）
米数学者テリー・タオ氏（フィールズ賞受賞者）の名を挙げつつ、AIが急速に数学の専門分野へ食い込んでいることを揶揄する投稿が、海外掲示板4chanの理系板「/sci/」で話題になった。タオ氏はAIを使った証明支援ツール「Lean」を積極的に後押ししてきた人物で、スレでは「自分の専攻はもう終わった」という自虐的な反応から、AI開発を加速すべきか止めるべきかまで話が広がり、意見が割れた。
な、見ろよ、数学界のCEOだぜ。俺の専攻、もう詰んだわ
出典: x.com / 元記事はこちら
彼にはまだ学ぶべきことがたくさんある
数学の凋落って、笑える話なのか、悲劇なのか？
>>1
単に数学を一般人から囲い込もうとしてるだけだろ。
>>5
どっちもだよ。
単に数学を一般人から囲い込もうとしてるだけだろ。
>>5
どっちもだよ。
喜劇とは悲劇に時間を足したものだ
>>7
『喜劇とは悲劇に時間を足したもの』
プラスAIな
『喜劇とは悲劇に時間を足したもの』
プラスAIな
>>1
やれやれ、テリー(タオ)をからかうのはやめろよ
やれやれ、テリー(タオ)をからかうのはやめろよ
>>3
『加速主義のクズ』か。
全くだ、恐れることなく、ベースド(イケてる)で筋金入りの逆張りだよ。
『加速主義のクズ』か。
全くだ、恐れることなく、ベースド(イケてる)で筋金入りの逆張りだよ。
>こんなに急ぐ理由はない
他の国も独自に開発してるって？
他の国も独自に開発してるって？
>>12
『で、でも他の国があらゆる分野を脅かしてるんだぞ』
いいじゃないか。何もしない＝勝ち、だ。
『で、でも他の国があらゆる分野を脅かしてるんだぞ』
いいじゃないか。何もしない＝勝ち、だ。
>>12
他の国は結局こっちのオープンウェイトをダウンロードしてるだけだよ。それだけの話。
他の国は結局こっちのオープンウェイトをダウンロードしてるだけだよ。それだけの話。
>>1
『スピードを落とせ、落とせって言ってるんだ』
『スピードを落とせ、落とせって言ってるんだ』
>>18
くくく。やめたら面白いだろうな、マジで。最近なんでこんなことしてるのか自分でも分からん。
くくく。やめたら面白いだろうな、マジで。最近なんでこんなことしてるのか自分でも分からん。
>>19
『やめたら』？
ファイルは一度ダウンロードすれば、それでお前のものだ。あとはコピーを作って他人に配ることもできる。
一度出したドラゴンをジーニーの壺には戻せない。でも300トークン払えば、戻そうと足掻く姿は見物だぜ。
『やめたら』？
ファイルは一度ダウンロードすれば、それでお前のものだ。あとはコピーを作って他人に配ることもできる。
一度出したドラゴンをジーニーの壺には戻せない。でも300トークン払えば、戻そうと足掻く姿は見物だぜ。
他サイトの新着
>>20
分かってないな、anon。手取り足取り教えてやる気はないよ。
分かってないな、anon。手取り足取り教えてやる気はないよ。
>>21
複数のanonを同一人物だと勘違いしてるみたいだけど、匿名掲示板の仕組みをいちいち説明する気はないよ。
『オープン』って言葉の意味、分かるか？
分からないなら、この話は成立しないな。
複数のanonを同一人物だと勘違いしてるみたいだけど、匿名掲示板の仕組みをいちいち説明する気はないよ。
『オープン』って言葉の意味、分かるか？
分からないなら、この話は成立しないな。
>>24
俺は中心極限定理を固く信じている。だから人類の知の総体に『世界最大のデータ平滑化装置』をかければ、誤差は互いに打ち消し合うはずなんだ。
俺は中心極限定理を固く信じている。だから人類の知の総体に『世界最大のデータ平滑化装置』をかければ、誤差は互いに打ち消し合うはずなんだ。
>>29
『高校数学でふるい落とされた』
お前はここにいるべきじゃないな
『高校数学でふるい落とされた』
お前はここにいるべきじゃないな
>>32
『明らかなスパムボット相手に議論してる』
もうやめとけ、anon
『明らかなスパムボット相手に議論してる』
もうやめとけ、anon
この話題の背景と論点
議論の背景には、数学の証明を自動検証する言語処理系「Lean」とAIを組み合わせる動きがある。フィールズ賞受賞者のテリー・タオ氏はこの取り組みを公に支持しており、AIが定理証明の一部を代替し始めたことが「数学者の仕事は終わるのか」という危機感につながっている。スレでは、他国のAI開発を理由に自国も加速すべきだという意見と、「何もしない」ことがかえって有利だとする意見が対立した。また、一度公開されたオープンウェイトのAIモデルは無制限に複製・拡散できるため、後から規制や撤回が事実上不可能だという指摘もあり、技術論としても興味深い論点が含まれている。
※本記事は海外掲示板 4chan /sci/ (Science & Math) のスレッド「Dawg, look at the CEO of math. My field is cooked」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
この記事のリアクション
まだコメントはありません。