「プログラミング問題を解くAI」が誕生 一体どんな問題を解いてしまうのか！？【橋本幸治の理系通信】（2022年2月22日）

興味深いサイエンスニュースをお伝えする「理系通信」。今回のテーマは「AI=人工知能」です。かつて囲碁のAI「AlphaGo」を開発して一躍有名となったイギリスのAI開発会社・DeepMindは、競技プログラミングの問題を解くためのコードを生成するAI「AlphaCode」を開発したと発表しました。発想力や創意工夫が求められる高いレベルの問題をAIが解けるようになったのは初めてだということです。果たしてこのAIは具体的にどんな問題を解けるようになったのか。またこのAIは今後どう進化していくと期待されるのか。一方、この技術の「危険性」とは。詳しく解説します。
※引用元
●論文
Yujia Li et al. (2022) Competition-LevelCodeGenerationwithAlphaCode
storage.googleapis.com/deepmi...
●プレスリリース：DeepMindのHP
Competitive programming with AlphaCode
www.deepmind.com/blog/article...
●開発者の一人・Julian Schrittwieserさんのブログ
www.furidamu.org/blog/2022/02...
●動画内で紹介した競技プログラミングの問題：Codeforcesより
・A. Gregor and Cryptography
codeforces.com/contest/1549/p...
・D. Backspace
codeforces.com/contest/1553/p...
・E. Singers' Tour
codeforces.com/contest/1618/p...
＃ＡＩ　＃競技プログラミング　＃ＤｅｅｐＭｉｎｄ　＃ＡｌｐｈａＣｏｄｅ　＃ＡｌｐｈａＧｏ　＃プログラミング　＃Ｃｏｄｅｆｏｒｃｅｓ　＃ＡｔＣｏｄｅｒ　＃数学　＃アルゴリズム　＃競プロ　＃人工知能　#連立方程式　#貪欲法　#シンギュラリティ
WBS、ガイアの夜明け、カンブリア宮殿 などが見放題！
日本最大級の経済動画配信サービス「テレ東BIZ」。
▼▼「テレ東BIZ」はこちら（入会月無料）▼▼
txbiz.tv-tokyo.co.jp/?...
◆毎日ニュースを更新中！
チャンネル登録： / tvtokyonews
◆公式Twitter
テレ東BIZ： / txbiz_ondemand
WBS： / wbs_tvtokyo
モーサテ： / ms_tvtokyo
ガイアの夜明け： / gaia_no_yoake
カンブリア宮殿： / cambrian_palace
池上彰の報道特番： / tx_ikegami
特命！池上ベンチャーズ： / tvtokyoventures

[@tvtokyobiz]

・第三者を誹謗中傷する投稿 を行うことは｢テレビ東京グループ ソーシャルメディアポリシー｣及び｢テレビ東京グループ ソーシャルメディア利用規約｣により禁止されています。 ・第三者の誹謗中傷や著作権など他人の権利を侵害する投稿、その他 不適切と判断された投稿は、削除される場合があります。 ・詳細は｢テレビ東京グループ ソーシャルメディアポリシー｣及び｢テレビ東京グループ ソーシャルメディア利用規約｣をご覧下さい。 　www.txhd.co.jp/sns_policy/

[@user-wo5qq7xk5k]

コード作ってるとき単語がカラフルに光るのかっこいい

[@user-hp7yp3bt3x]

どこを見てコードを生成しているかというのを色の強さで表したものですね！

[@kei1kato549]

ここ作った人ニヤニヤしてるね、カッコいいだろと。

[@gazer4729]

論理回路から高級言語になったように、これからは人が問題を良定義できれば機械が作業してくれる時代になっていきそうでワクワクしますね。 似たようなことはOpen AIがGPT-3、Codex、Copilotなどでやってますが、こちらもどのように発展していくのか楽しみです。

[@osakanaankou7800]

わかりやすく解説できるのが凄い…

[@moroha10085]

単純なよく使うようなコードを人間が書く手間を省ける相棒のような形で発展してほしいな。

[@user-hp7yp3bt3x]

もうそこまで来てますね（GitHub Copilot）

[@moroha10085]

エディタに追加される日も近いのか…。

[@saiyuki0127]

@@moroha10085 もう既にプラグインとして追加されてますね…

[@user-lq1vy2yp8f]

制御工学、組み込みシステム分野ではかなり前から自動生成システムが用いられていたらしいですがディープラーニングの登場でかなりの柔軟性と応用範囲が得られてそうですね

[@user-gn3sg1cl7z]

結局AI過渡期において、AIは才能ある人間を打ち倒すツールではなく、その逆なんだよね、決して凡人を利するツールではない 元々才能がある人間がアイデアを産み出しAIというツールを使い、その生産性を指数的に増幅させる

[@allotrope1035]

鬼に金棒やな

[@stephany2937]

この人わかりやすく説明するのが上手すぎる…

[@nonameavailableatm]

まず自然言語がわかるってのもすごい!!

[@espilab2]

大変興味深い話題ですが、テレビではまず解説し無さそうな対象なのに、とてもわかり易く説明して下さって参考になりました。ありがとうございます。

[@user-ve6wm6vj7e]

非常に興味深いニュースでした。 開発チームも言及している通り、技術的特異点の端緒になる可能性は十分あると思います

[@user-ux2ho3ob6z]

すごく引き込まれる語りでした。私は理系ですし、プログラミングにも親しいですが、AIの話題には疎いのでとてもためになりました。

[@user-vz1te1cp5s]

丁寧な解説と概要欄の参考リンクありがとうございます。超入門アルゴリズムも楽しみにしています！

[@user-qz9um5gw1o]

内容もすごく面白いけどこの解説してる人も分かりやすくて聞きやすい！

[@user-tw3fv5up8c]

この人優秀だな… 話上手すぎる

[@test-user-1234]

確かこの人1ヶ月か何かでプログラミング勉強して、AtxoderのCまで時間内で解けてた人だった気がする。

[@kussytessy]

今や立派な競プロerですよ。テレ東で働いてていいのかレベルと言っても過言はない

[@cm-qn2gu]

AIだったら連立方程式はベクトルで外積使って解くと思ったら特殊な連立方程式の性質を見極めて解くのはすごいと思った

[@kussytessy]

橋本さん、そういう発想に至る人もいるかもしれないが「計算速度が間に合わない」という点にも言及されてるのがすごかった。過不足ない完璧な説明。。。

[@aoba5849]

いつもありがとうございます。中身でみると従来通りの研究開発ですが、外側から見た時にはこんな感じで報道されるのだなと勉強になります。

[@kashiwagi_k]

いろんな人に内容をわかりやすくした上で、興味を持った人に向けて次の導線を敷くのがとても良いですね。 様々な分野の技術を幅広く、何が凄いのか、どんな利点があるのかまで含めて詳しく紹介してくれるので、このシリーズは大好きです。 こういう形式の報道がもっと広がってほしいですね。 それにしても、(総説論文でない)具体的な手法を取り扱った論文で、シンギュラリティの危険性が指摘される時代になったんだなあ……。

[@hirominakami9991]

いつも変わらず、橋本さんの動画は面白いし分かりやすい AIも素晴らしい進化を遂げているんですね そしてパワポをこんな使い方で説明するのも興味深かったです

[@PhD-genki]

楽しく拝見しました。将来的に「AIが人間にアルゴリズムを教えてくれる」という教育面での活用もできそうだと感じました。

[@user-uj5dz2te6k]

それができるならAIがプログラムを書けば良いんじゃ……

[@user-vq1ok5oc5y]

@@user-uj5dz2te6k ほんとそれですね笑 プログラマという職業がなくなると言われてる1番の理由でもあります笑

[@narukamiu]

素晴らしい動画ですね

[@tunat21]

純粋にやべえの開発されてて草

[@kazuyoshisakamoto4096]

とてもわかりやすい解説😀😀😀😀

[@francois8441]

既に俺の競プロ力を抜かれてて草

[@bugsbunny6919]

ネット将棋でのソフト指しのように競技プログラミングでもソフト書きみたいなのが出てくるのかな

[@user-bk5sr9wc9o]

素晴らしい

[@GoldenSuperKamichu]

自分で自分を動かしているコードを改変できるようになるのだろうか。羨ましいな。

[@yusukesasaki7811]

20:20 そう遠くない未来、AIと一緒にプロジェクトを進めることになるのかもしれませんね。 だとすれば、自分の考えを言語化する能力が、より一層重要になってきますね。

[@user-kq9pn1fy6e]

最新技術が普及するには、「本来の用途以外でも使える」ってのが技術発展史の定石なので、今回のAIもプログラミングそのものの自動化よりは、「プログラミングに必要なロジカルシンキングと要件定義を英語で書けるか？」という人間側のテストに使えるようになったりする方が、社会的な貢献度が高いだろうな。

[@stlmix]

ビジネスロジックをAIがかけるようになるのはまだまだ難しそう ユニットテストコードを自動生成とか出来たら、それだけでも十分現場では効率化できて嬉しい気がした

[@user-bs7jc9kt5c]

開設ありがとうございます。 一応、安心した。AIはまだ想定通りの実力だ。

[@irohas9373]

DeepMindマジですごいな AlphaGO Fanから始まりついにここまできたか

[@user-tb6gu9gw2h]

あとはこれを発注元が納得する仕様書に落とし込む機能が付けば皆欲しがるね

[@ESNM6101]

20:31 はオムロン創業者の故・立石 一真氏の言葉を彷彿させますね。 「機械にできることは機械に任せ、人間はより創造的な分野で活動を楽しむべきである」

[@user-vr1vb3rm9r]

文書解読ができる。 使い道として暗号コード化や暗号の解読としても使えそうなプログラムの様ですね

[@user-on7oj3yt7k]

AIが書いたコードを見てみたい。勉強になりそうだ。

[@user-wh6ce5dp4s]

このモニターかっこいい

[@user-gl4uy3oy9q]

すごいなこれ

[@yoam3121]

これが技術的特異点ですか

[@yayuyo7188]

Julianさん凄すぎる。。。

[@user-fb1jm4tx7e]

シンギュラリティが一気に近くなったように感じる…

[@jick5424]

凄い

[@user-zs5sr6yo8c]

この勢いで、みずほ救ってやって欲しいw

[@user-henjisiroya]

AIでも理解不能な状態やから無理

[@user-zs4qv8jf7i]

ロシアも救いたい

[@user-gx3fe1tm9x]

多分言語が違うからこの方式じゃ出来ない😱😱😱😱

[@hhiipoiu]

世のSESはAIの仕事に置き換わるんかな。

[@taomon7983]

面白かったです。人間が蓄積してきたコードをアレンジしているのは、将棋AIが過去の棋譜から評価値を生成するのと似ていて、人とAIの共同作業という感じがしますね。自己改良に関しては、結局、使う人が意図してしまえば可能な理屈だと思うので、スイッチ一つで文明が滅びうるご時世、極致の倫理観が必要になりそうですね。

[@user-rl1ql4hp7w]

Backspace操作を行ってteletoを作る問題、最後普通に消してるけどtに当たる部分の左に残った文字数奇数だから最後余計な1文字余ると思うんやけど

[@user-sh9dg2hu1v]

文字数が奇数でも最初の1打目がバックスペースなら 文字数が偶数であるのと同じことなので、余るとかはないと思います。

[@user-rl1ql4hp7w]

@@user-sh9dg2hu1v なるほど

[@vacuumcarexpo]

あ、その手があったか❗

[@custardcream7101]

すげえのと同時にロボットの作り手ももう安全ではないってことですごく怖いですねぇ

[@LostinLightsAVG]

もしこのAIで生成されたコードを製品に組み込むとしたら、保守性はどうなるんだろう？ それもいずれAI自身が保守するようになるのかな？いずれブラックボックス化して人間が介入したときに保守どころの話じゃなくなりそうな心配があるんやけども

[@hidetravel5934]

みずほFG幹部「これだ！！」

[@user-oe6tx5we1y]

心配してるようだけも、もう既に使われてるんじゃなかったかな？ 問題定義をどうするかで決まる。

[@user-river_mountain]

世界の名だたる天才が考え出した天才的な方法で24時間365日ずっとプログラミングを行うAIは最強すぎて草

[@user-ed1zz7gu7c]

人件費と電気代の勝負ですな

[@user-fc2qo5kd2l]

ただしAIが実務の現場で使えるようになるのは当分先の話でしょうね 長年かけて色んな人が色んな価値観で作ったまとまりのないソースコードを AIが正しく解析できるとは到底思えないし

[@bushinpianosheet4833]

400点問題は普通に解けたら大学で無双できるレベル

[@TornadoPotatoRural]

AI「まーたエラー出たよ...ふぅ、一旦ポテチ食お、あれ？箸ないじゃん何処だよもう...」

[@user-ef7cr4ds5v]

filterlingが難しいそう...

[@Nijist5_BR]

競プロだけじゃなくて、　実際のシステムも詳細設計から自動でコード書いてくれないかなー。

[@alucrux]

最後の方競プロの宣伝になってて草

[@okawashingo2079]

ここ数年でのNLP/NLUに於ける本当のブレークスルーは、これに先行するBERTやGPT-3だと思う。

[@user-el3yn7yv4n]

AIがヤバいコード作り始めたら、（電源）コード抜いたらダメ？

[@MoriChill]

うまい

[@user-my4cq6vm2w]

サムネの数学の問題を解くプログラムなんて俺でも作れるぜとか言おうと思ってたけどそもそも作ってるものの次元が違った

[@katoriyamada]

マジか･･･ やがてAIがAIを設計し、その繰り返しで神のような知能になる日が来るのか

[@Gold_bahha]

これやりたいんよね

[@kayabaheathcliff9385]

@@antimon051 超一流の科学者の間でも意見は二分しています。

[@user-mk4os4uh9t]

アルファコードを改善する問題をアルファコードに書かせればシンギュラリティーも近いのでは？

[@uraroji4486]

先生がAIに置き換わったりするんだろうな

[@user-hp7yp3bt3x]

論文ちょっと見たけど、データセットの前処理の部分も面白かった 実際のコンテストに使われている10個くらいのテストケースだけだと、生成した誤った回答を正しいと誤判定するケースが62%もあったらしく、これを防ぐためにテストケースを200個くらい自動生成して4%まで減らしたみたい あとこのテストケースの自動生成は、既存のテストケースの入力を少しずらしたものを、コンテストで正解した人間のプログラム30個に通して、全て同じ出力が得られたら採用という形で行ったらしい

[@user-rt1bv7wn5l]

機械学習のデータセットの用意はそんな方法が多いそうですね。例えば画像認識だと、元画像が少ない場合、解像度を落としたり、トリミングしたりして大量にデータを用意したりするそうです（専門外の者なので参考程度に）

[@user-rt1bv7wn5l]

テストケースが200個で4%に減るのは意外ですね。もっとデータセットが必要なイメージでした（まあどんな問題を解かせるのかによるのでしょうが）

[@user-hp7yp3bt3x]

@@user-rt1bv7wn5l これはデータセットの量を増やしているわけではないので、一般的に言われている Data Augmentation とは違う気がします

[@user-hp7yp3bt3x]

ここで言っている「テストケース」というのは、プログラムの正誤判定を行うためのブラックボックステストのことであって、 validation dataset のことではないです

[@nohohoii]

教師あり学習の教師を厳しくしたってことですね。なるほど。

[@user-zd7fn3wv5r]

次回めちゃ楽しみー　待ってますー　しかし、自己改良型AIとかマジでSFの世界だよなー。それが長期とは言え射程圏内に入ったのはびっくりだ。　俺より賢いAIなのは動画再生前にわかったよｗ

[@user-ki2tr6lb1e]

ヤバイのはヤバイのだが比較的出来そうな分野ではあるんだよな。答えが論理的なので。まあヤバイんだけど。

[@squp4173]

ちなみにAIが用いたのはC++

[@squp4173]

すぐに頭の中でどうやってコードを組めばいいのかを思いつくけど、AIの作成スピードには到底追いつかないわ。

[@user-hb9em7xc6c]

自分が将来研究したい分野にプログラミングが結構あるけど大丈夫かな。 将来の夢を盗られたら結構悲しい。

[@user-wr3gg8ok3k]

シンギュラリティが起きたとして人間に重宝される能力ってなんだろ

[@yk-bh9dl]

サムネの問題解いてみたらめちゃくちゃ答え出てきてビビった でも少し考えればたくさん答え出るって気づけるんだよな

[@troidcradle9414]

コードのリファクタリング、可読性を向上させる作業を本当に任せられる日がくるといいね ホテルで借りるようなボロいPCでもコーディングする可能性を考えると、依存は最小限に抑えたい そんなリソース無いからね

[@sy6047]

プログラミングができるプログラムをプログラムが生成したらプログラムをプログエミングできるプログラムが出来そうですね

[@tevalleyluckman8746]

もし、発想の転換による技術革新や既存のシステムの改良を自発的に考案し、多くの人間が現在の技術では不可能と判断した発明さえ実現できるAIが出てたら、AIにとって人間の存在価値は無になりそうだな・・・

[@dnn87qI]

10:27〜　この解法、文字列の差が奇数のとき成り立たなくなるだろって一瞬思ったが、そうでもないのか。

[@vacuumcarexpo]

俺も思った。 多分ダメだと思う。

[@dnn87qI]

@@vacuumcarexpo 駄目じゃないらしいよ。最初の一文字目でバックスペースすれば一文字分だけ減らせるので、後ろから作っていった残りは偶奇に関わらずきれいに消し去る事が出来るみたい。

[@dnn87qI]

@@vacuumcarexpo ただ、この問題を解いた人の中にはそこまで深く考えてない層も一定数いると思う。

[@vacuumcarexpo]

@@dnn87qI ご返信ありがとうございます。 俺も、これ書いた後に下の方のコメントでその方法見て、なるほどと思いました。 でも、AIがその辺も考慮して解くってどうなってるんでしょうね？逆に怖いわ（笑）。

[@--0-O-0-O-0-O--]

そのうち人間から仕事の概念がなくなってAIに介護されながら生きる未来も近いなあ

[@kskj5672]

チャチャ星のナポギストラーかな

[@Useful_Radio]

スタンドアローンのパソコンで開発しておけば、ついうっかり自己改良型が誕生しても、その機械を壊せばなんとかなる。

[@francois8441]

最後のE8さんかな？

[@user-qm3sh9yi7r]

業務として、AIのコードを保守できるか？クライアントに商品として提供できるか？

[@orangebananaaaa]

AIが問題作ってAIを教育する未来が来るのか…

[@user-wl4qc7gz1m]

クラッキングに応用できたりする?

[@herniatriple6587]

私がgithubにpushしたザコいクソコードは参照しちゃうとダメダメAIになっちゃうので学習しなくていいです・・・

[@vacuumcarexpo]

AIの暴走を止める切り札になるかも知れませんよ（笑）。

[@143658906]

水コーダーのkojihashimotoさんだ‼️

[@kenken-ex3pv]

プログラミング教えているけど今後いらなくなりそうだな……

[@kalrasnas]

全俺が泣いた😭

[@nullpoex7]

ここからシンギュラリティまで、どのぐらい距離があるだろう。 にしてもシンギュラリティは目指してませんよっていちいち言わなければならない段階に来たのは、喜ばしい事なんだろうか？ シンギュラリティは目指したらダメなものなんだろうか？

[@reia0813]

backspase問題、最後に残った文字数が奇数だからnoが正解では？ ”l” et fe gt teleto teleto になって”l”が残るような……？

[@sinytube]

オイラもそう思ったんだけど、原文の方見たら、入力中の文字列に文字が無い場合は bs 押しても何も起こらない、って但し書きが付いてた。 1文字目から bs 押せるってことだね

[@manaoji927]

面白い内容でした。でもチューニングって聞くとカッコいいけど、要は目的に合わせて機能を集約させないとまだ使い物にならないってことなんですかね？なんだかホッとしたようなガッカリするような...

[@takaborn]

自らを設計し直して進化し続けるアシモフの陽電子頭脳『マシン』の誕生を私は目撃しているのか？！

[@taskfiba1309]

github使ってるのか。マイクロソフトも協力ってことね。github copilotもすごいと思ったけどもうここまできたか

[@chikachika5361]

オブジェクト指向なのですか？

[@books707]

はよai進化して仕事奪ってくれえー

[@Yuu-neko]

ワクワクが止まらない！ 英語をもっと勉強します

[@henrygogh4010]

高度化したAIのリスク(シンギュラリティのリスク)について言及している。 Advanced AI risks: Longer term, code generation could lead to advanced AI Risks. Coding capabilities could lead to systems that can recursively write and improve themselves, rapidly leading to more and more advanced systems.

[@user-hp8mx1rf3x]

競プロやりてぇよマジで

[@kussytessy]

思ったより門戸は広いし、ハードルも低いからぜひやってみて！

[@user-kv7ou8fm1c]

オヤ　連立方程式なの？　10万本に解法 行列式ってプログラミング AI がソースを探したのかなあ？　途中聞いてない

[@msby1144]

俺もギットハブにあげてるから俺の知恵も入ってんのか…

[@user-mv6de3sc8g]

いや②は①にほぼ付随しているだろ。 この記者は何か分かっていて喋っているのか?

[@hondacb400f5]

スカイネット！！(定型文)

[@sai9779]

えええ・・・これが発展したらプログラマ要らなくなっちゃうやん。あ、でも学習すべきものがなければできないということっぽいからそうでもないかもしれないなｗ もし自己解決型AIが生まれたら中のコードは複雑化して人が直接的に理解したり分析するのは不可能になりそうだなｗだからそれに対抗したAIを分析するAIやそれを改修するAIとかも生まれてようわからんことになりそうｗそうなったらターゲットとなるAIは自己防衛のコードを生成して中身に対して関与できないようになったりとかしそうだｗこわいこわいｗ