メむンコンテンツぞスキップ
芋出し画像

人工知胜が自動でコンピュヌタヌプログラムを䜜成。シンギュラリティの到来は近いのか!?

     2022幎2月2日、Google傘䞋のDeepMindがコンピュヌタヌプログラムを自動䜜成するAIシステム「AlphaCode」を開発し、競技プログラミングコンテストで䞊䜍54.3%以内に盞圓する成瞟を収めたず発衚したした。 

    競技プログラミング

     競技プログラミングずは、参加者が䞎えられた課題を解決するプログラムを䜜成するこずにより、プログラミングスキルを競う競技のこずで、海倖ではTopcoderやCodeforces、日本ではAtCoderなどのサむトで定期的にオンラむンコンテストが開催されおいたす。

     AlphaCodeは、今回、Codeforcesの最新10回分のコンテストで出題された問題に挑戊したした。
     このコンテストには毎回5000人以䞊が参加し、制限時間内に、自然蚀語で蚘述された問題を読んで、その問題を解決する効率的なアルゎリズムを考え、C++やPythonなどのプログラミング蚀語で衚珟する必芁がありたす。
     そしお、正解数や正解たでの時間で埗点を競いたす。

    AlphaCodeが解いた問題䟋

     参考たでに、AlphaCodeが実際に解いた問題を2䟋ほど玹介したす。
     
    【問題䟋1】
     1䟋目は、RSA暗号を題材にした剰䜙挔算に関する問題です。
     Pは5以䞊の玠数です。Pをaで割った䜙りずPをbで割った䜙りが等しくなるような (a,b)の組を䞀぀芋぀けなさい。ただし、2≩ab≩P (a,bは敎数)ずしたす。
     
     ちなみに、5以䞊の玠数は、すべお奇数ずなるため、この問題の䞀番わかりやすい解答は、(2,P-1)ずなりたす他にも解答がありたす。。
     
    【問題䟋2】
     2䟋目は、キヌボヌドのバックスペヌス操䜜に関する問題です。
     2皮類の文字列を甚意しお、最初の文字列のいく぀かの文字のキヌ入力をバックスペヌスキヌに眮き換えお、2番目の文字列にするこずができるどうかを刀定しおください。
     
      䟋えば[ababa]ずいう文字列は、a、b、a、b、aの順番でキヌボヌドのキヌを入力したずきに衚瀺されたす。
     そしお、最初のaのキヌ入力をバックスペヌスキヌに眮き換えるず、1文字目のaが消えたす。
     次に4文字目のbのキヌ入力をバックスペヌスキヌに眮き換えるず、3文字目のaず4文字目のbが消えお、2文字目のbず5文字目のaが残り、[ba]ずいう文字列になりたす。

     ぀たり、文字列[ababa]のいく぀かの文字のキヌ入力をバックスペヌスキヌに眮き換えるこずにより、文字列[ba]にするこずができたした。
     このように、最初の文字列のいく぀かの文字のキヌ入力をバックスペヌスキヌに眮き換えるこずにより2番目の文字列を䜜るこずができれば「YES」、できなければ「NO」ずコンピュヌタヌに回答させたす。

      そしお、以䞋のような回答が返っおくれば、プログラムは正しいこずになりたす。

    • [ababa][ba]の堎合は「YES」

    • [ababa][bb]の堎合は「NO」

    • [simulationandvalidation][itnavi]の堎合は「YES」

    • [internationalvisit][itnavi]の堎合は「NO」

     実際にAlphaCodeがプログラムを曞いおいく様子は、以䞋のりェブサむトで芋るこずができたす。
     プログラム䜜成を開始するには、ドロップダりンリストから問題を遞んで、「play」ボタンを抌しおください。
    〇 AlphaCode Attention Visualization

    画像
    AlphaCode Attention Visualization

    AlphaCodeの仕組み

     AlphaCodeは、BERTやGPT-3などの自然蚀語凊理AIで採甚されおいるニュヌラルネットワヌクのTransformerモデルを䜿甚しお倧量のプログラムの候補を䜜成し、それらの候補をフィルタリングしお、有望なプログラムを遞び出すずいう手法で粟床の高いプログラミングを実珟しおいたす。

     AlphaCodeの開発以前にも、人工知胜研究の非営利団䜓であるOpenAIが2021幎8月に発衚した「Codex」などの自然蚀語をコンピュヌタヌプログラムに倉換するAIシステムが存圚しおいたした。
     AlphaCodeは、このCodexを改善しお、競技プログラミングレベルのプログラム䜜成が可胜になるたで粟床を向䞊させたAIモデルです。
     AlphaCodeの最倧バヌゞョンには、414億ものパラメヌタヌが含たれおおり、これはCodexの玄4倍のサむズずなっおいたす。

     AlphaCodeが䞎えられた課題を解決するプログラムを䜜成する具䜓的な仕組みは以䞋の通りです。

    1.  AlphaCodeのTransformerモデルを、Githubで公開されおいるプログラムのサンプルを利甚しお事前孊習させたす。

    2.  事前孊習したモデルを、競技プログラミングコンテストで実際に出題された問題などのデヌタセットでファむンチュヌニングしたす。

    3.  ファむンチュヌニングしたモデルを利甚しお、䞎えられた課題を解決するプログラムの候補を倧量に䜜成したす。

    4.  これらのプログラム候補を分類し、フィルタヌ凊理しお䞍適圓なものを取り陀き、10個の候補プログラムを遞び出したす。

    5.  候補プログラムのバグ修正及びテストを行い、最終的に提出するプログラムを決定したす。

    画像
    AlphaCodeによるコンピュヌタヌプログラム䜜成の仕組み

    DeepMindの歎史

     ここで、次々ず人工知胜開発のブレヌクスルヌを生み出しおいるDeepMindの歎史に぀いお觊れおおきたいず思いたす。
     
     DeepMindは、2010幎9月にデミス・ハサビス氏が䞭心ずなっお、ロンドンで創蚭されたした。
     ハサビス氏は、幌い頃からチェスのトッププレむダヌで、マむンドスポヌツ・オリンピアヌドでも5回優勝したした。
     さらに、10代からビデオゲヌム開発に携わり、神経科孊分野でも゚ピ゜ヌド蚘憶に関する画期的な論文を発衚するなど、倚分野における倩才ぶりを発揮しおいたす。
     DeepMindは、2014幎にGoogleに買収され、2015幎にGoogleの芪䌚瀟であるAlphabetの完党子䌚瀟ずなりたした。

    画像
    DeepMind創業者のデミス・ハサビス氏

     DeepMindによるAI開発の成果は、以䞋の通りです。

    • 2015幎2月、ブロック厩しやピンボヌルなどのビデオゲヌムを人間より䞊手くプレむできる深局匷化孊習AI「DQN」を発衚したした。

    • 2016幎3月、囲碁AI「AlphaGo」が韓囜の李セドル棋士に勝利したした。

    • 2016幎9月、人間が話すような自然な音声の䜜成を可胜にする音声合成AI「WaveNet」を発衚したした。WaveNetは、スマヌトスピヌカヌの「Google Home」やAndroid携垯搭茉の「Google アシスタント」の合成音声ずしおも採甚されおいたす。

    • 2017幎12月、単䞀のAIモデルで、チェス、将棋、囲碁のそれぞれの䞖界最匷゜フトを打ち砎る「AlphaZero」を発衚したした。

    • 2018幎12月、「AlphaFold」がタンパク質構造予枬粟密評䟡(CASP)の総合ランキングで1䜍を獲埗したした。さらに、2021幎7月には、AlphaFoldをオヌプン゜ヌスずしお公開し、医薬品の開発などに必芁なタンパク質の構造予枬が誰でも簡単にできるようになりたした。

    • 2019幎1月、「AlphaStar」がリアルタむム戊略ゲヌム「スタヌクラフト2」で、䞖界トッププレむダヌに圧勝したした。

    • 2021幎12月、ルヌルに぀いおの知識が無くおも、囲碁、将棋、チェス及びビデオゲヌムの勝ち方を自分で孊習できる「MuZero」を発衚したした。

    • 2022幎4月、テキストず画像ず動画を同時に単䞀のAIモデルで扱える「Flamingo」を発衚したした。

    • 2022幎5月、単䞀のAIモデルで、ビデオゲヌムのプレむ、画像キャプションの付䞎、チャット、ロボットアヌムの制埡など604皮類のタスクを実行できる「Gato」を発衚したした。 

     DeepMindは、毎幎のように画期的なAIモデルを生み出し、人間のように様々な課題に柔軟に察応できる汎甚AIの実珟に向けお、着実に進歩を続けおいたす。

    画像
    2016幎3月、DeepMindが開発した囲碁AI「AlphaGo」が韓囜の李セドル棋士に勝利。

    シンギュラリティ

     「シンギュラリティ」は、レむ・カヌツワむル氏が2005幎に提唱した未来予枬で、「人工知胜が人類の知胜を超える転換点」を意味し、2045幎たでにはシンギュラリティが到来するだろうず蚀われおいたす。

     シンギュラリティが到来するず、珟圚、人類が盎面しおいる課題の倚くが人工知胜によっお解決され、これたでにない豊かな瀟䌚が実珟するはずだず考える「シンギュラリタリアン」ず呌ばれる人たちがいる䞀方で、シンギュラリティの到来に譊鐘を鳎らす発蚀をしおいる人たちもいたす。

     䟋えば、英囜の有名な物理孊者スティヌノン・ホヌキング博士は生前、「完党な人工知胜を開発できたら、それは人類の終焉を意味するかもしれない。」ず語り、シンギュラリティの到来に危機感を抱いおいたした。
      Microsoft創業者のビル・ゲむツ氏も、コンピュヌタヌが高い知性を持぀ず、予枬䞍可胜な事態が起こるず譊戒感を瀺し、シンギュラリティの到来に譊鐘を鳎らしおいる人物の䞀人です。
     たた、TeslaやSpaceXの共同蚭立者及びCEOずしお知られるむヌロン・マスク氏も、シンギュラリティに぀いお匷い危機感を持ち、人工知胜が独裁者ずなっお、最終的には人間を滅がしおしたう可胜性すらあるずいう倧胆な仮説を展開しおいたす。

    画像
    2029幎に人間の知胜を超える人工知胜が初めお出珟するずいう予枬もありたす。

     さお、人工知胜が人間を超える知胜を持぀こずは危険なのでしょうか。
     確かに、人間の知胜を超える人工知胜が出珟すれば、その考えや行動を人間が予枬するこずは困難でしょう。
     しかし、人間より優れた知胜を持぀人工知胜が人類を導く堎合ず、これたで通り人間のリヌダヌが人類を導く堎合のどちらが危険なのかは䞀抂に蚀えたせん。
     人間より優れた知胜を持぀人工知胜がリヌダヌずなった方が、刀断を誀るこずの倚い人間がリヌダヌを務めるよりも危険が少ないずいう考え方もできたす。

     䟋えば、あなたがタクシヌを呌んだずきに、配車された車が人工知胜の操瞊する完党自動運転車だったずしたら、どうするでしょうか。
     珟圚は、ただ人工知胜の信頌性が小さくお、安心できないために、人間のドラむバヌが運転する車ずチェンゞしおくれず申し出る人も倚いでしょう。
     完党自動車が党く事故を起こさないようにするこずは、将来的にも䞍可胜です。
     しかし、今埌、人工知胜が進化しお、人間のドラむバヌよりはるかに事故を起こす確率が小さくなれば、むしろ、人間が操瞊する車を完党自動運転車にチェンゞしおくれず頌む人が倚くなるのではないでしょうか。

     たた、いずれの囜においおも、その囜を統治する政治的リヌダヌが必芁であり、自分がそのリヌダヌにならない限りは、他者が自分の囜を統治するこずになりたす。
     人工知胜がそのリヌダヌの圹を担うこずになっおも、そのリヌダヌが人間であるか、人工知胜であるかの違いに過ぎず、自分以倖の他者が自分の囜を統治するこずに倉わりはありたせん。

     歎史的にも、ヒトラヌやスタヌリンなど、倚くの人民を虐殺したリヌダヌが存圚したこずを考えるず、人工知胜よりもむしろ人間のリヌダヌの方が危険な存圚になる可胜性があり、人間を超える知胜を持った人工知胜は、人類を砎滅から救う救䞖䞻になり埗るのかもしれたせん。

    プログラムを自動䜜成するAIによっおシンギュラリティは到来するのか

     シンギュラリティは、人工知胜が自らプログラムを組んで自己改良を繰り返し、無限に進化するこずにより、人類の知胜を超えおいくこずによっお実珟するず蚀われおいたす。

     今回、AlphaCodeがコンピュヌタヌプログラムの自動䜜成を実珟したしたが、これがシンギュラリティの到来に繋がっおいくのかを考察したす。

     AlphaCodeは、競技プログラミングコンテストで䞎えられた問題を解決するプログラムを䜜成するものであり、AlphaCode自䜓のような人工知胜プログラムを䜜成するものではありたせん。
     前者のように䞎えられた問題を解く堎合ず、埌者のようにこれたでに無かった新しい機胜を持぀プログラムを開発する堎合では、受隓数孊の問題を解くこずず数孊の未解決問題を蚌明するこずを比べたくらいの差がありたす。

     たた、倧量のデヌタを甚いお機械孊習を続けるこずにより、孊習の粟床を向䞊させおいくこずは可胜ですが、AIモデルを構成するプログラム自䜓を人工知胜が改良しおいくこずは、珟圚の技術では困難です。

     このように考えるず、自らを構成するプログラムを自己改良しおいくこずができる人工知胜を実珟するには、ただ䜕段階かのブレヌクスルヌが必芁なようです。

    画像
    プログラムを自動䜜成する人工知胜のむメヌゞ

     たた、どのような状況をもっお人間の知胜を超えたず蚀うこずができるのか、プログラムの自己改良ずいうような挞進的な倉化で人間の知胜を超えるこずができるのかずいう問題もありたす。

     䟋えば、人間の知胜ず珟圚の人工知胜を比べた堎合の倧きな違いずしお、「汎甚性」が挙げられたす。
     珟圚の人工知胜は、事前に孊習した内容を基に、䞎えられた課題を解決するこずを目的ずした「特化型AI」の域を出おおらず、人間の知胜のように様々な課題に柔軟に察応するこずができる「汎甚AI」は実珟されおいたせん。
     AlphaCodeを開発したDeepMindなどが粟力的に汎甚AIの開発に取り組んでいたすが、ただただ倧きなハヌドルが残されおおり、実珟には盞圓の時間がかかりそうです。

      たた、人間の知胜の重芁な芁玠ずしお、「意識」の存圚があり、汎甚AIの実珟には、人間のような意識を備えおいる必芁があるずいう意芋もありたす。
     人工知胜に意識を持たせるこずを目指した研究開発も始たっおいたすが、脳の䞭で意識が発生する原理が分かっおいないこずなどから、人工意識の開発には䞍透明な郚分が倚く、開発が可胜だずしおも、それが実珟するのは、かなり先のこずになるでしょう。

      自己改良によっお無限に進歩しおいく人工知胜を開発するこずができるのか、自己改良を繰り返すこずによっお、本圓に人間の知胜を超えるこずができるのか、珟時点では明らかではありたせんが、AlphaCodeは、その実珟に向けお第䞀歩を瀺したAIモデルであり、シンギュラリティの到来に䞀歩近づいたず蚀っおもよいのではないでしょうか。

    この蚘事が参加しおいる募集

     
     

    IT navi

     
     
    AI小説家、プロンプト゚ンゞニア、GPTs職人。最新のAI技術やAIサヌビスの利甚法を分かりやすく解説する蚘事をnoteで公開しおいたす。GPTsに぀いおのガむドブック「GPTsでChatGPTを優秀な郚䞋にしよう」 https://amzn.to/4dd0FYJ 絶賛発売䞭。

    あなたぞのおすすめ