平均的なプログラマーと同等の能力があるAIコーディングが登場

アルファベットの子会社であるDeepMindは「AlphaCode」と名付けられたAIシステムを開発し、それが「競争力のあるレベルでコンピュータープログラムを書くことができる」と発表した。

平均的なプログラマーと同等の能力があるAIコーディングが登場
Photo by James Harrison on Unsplash

アルファベットの子会社であるDeepMindは「AlphaCode」と名付けられたAIシステムを開発し、それが「競争力のあるレベルでコンピュータープログラムを書くことができる」と発表した。DeepMindは、人間のコンテストで使用されるコーディング課題に対してシステムをテストし、そのプログラムが人間のプログラマーの上位54%に入ったことを明らかにした。

査読前の論文によると、AlphaCodeのスキルは、一般的なプログラマーが直面するプログラミング課題を必ずしも解決するものではないが、この結果は自律的なコーディングにとって大きな前進であるという。

AlphaCodeは、コーディングアシスタントの作成や、将来的には自分でソフトウェアを作成することも可能だ。AlphaCodeは、Codeforcesが監修した課題でテストされた。Codeforcesは、世界中から何万人もの参加者が集まり、自分のコーディングスキルを試すために定期的にコンテストを開催している人気のプラットフォーム。評価対象としたのは、今回の学習データよりも新しい、最近の10のコンテスト。その結果、「AlphaCode」は中央値と同程度の成績を収め、AIコード生成システムがプログラミングコンテストで競争力のあるレベルに達した初めての例となった。

その結果、平均して上位54.3%の回答にランクインした。DeepMindの試算によると、このシステムのレーティングは1238で、過去6か月間に同サイトで競技を行ったユーザーのうち、上位28%にランクインしたことになる。

この結果を受けて、研究チームは競技用のプログラミング問題とその解答のデータセットをGitHubで公開している。このベンチマークが、問題解決やコード生成のさらなる革新につながることを期待している。。

AlphaCodeがテストされたでは、限られた入力セットを使って、ランダムに繰り返されるsとtの文字列を、同じ文字の別の文字列に変換する方法を見つけることが求められている。例えば、ただ単に新しい文字を入力するのではなく、元の文字列の中のいくつかの文字を削除する「バックスペース」コマンドを使用しなければならない。

問題はCodeforcesのもので、解答はAlphaCodeが生成したもの。出典:DeepMind.
問題はCodeforcesのもので、解答はAlphaCodeが生成したもの。出典:DeepMind.

このモデルは、GitHubで公開されているコードを使って事前に学習し、比較的小規模な競争力のあるプログラミングデータセットを使って微調整を行います。プログラミングの評価時には、問題ごとに大量のC

DeepMindの主席研究員であるOriol Vinyalsは、The Vergeに対し「この研究はまだ初期段階にあるが、今回の結果によって、柔軟な問題解決型AI、つまり現在は人間だけの領域となっているコーディングの課題に自律的に取り組むことができるプログラムの作成に近づいたと言える。「長期的には、プログラマーや非プログラマーがコードを書く手助けをしたり、生産性を向上させたり、ソフトウェアを作る新しい方法を生み出したりする可能性に期待している」とビニャルズは述べている。

Codeforces社の創設者であるMike Mirzayanov氏は、DeepMind社が発表した声明の中で、「AlphaCodeの結果は、私の期待を上回るものであったと断言できる。なぜなら、単純な競争問題であっても、アルゴリズムを実装するだけでなく、それを発明することも必要になることが多いからだ。しかし、AlphaCodeは、有望な新しい競争相手と同等の性能を発揮することができた」と述べている。

他にも多くの企業が同様のアプリケーションに取り組んでいる。例えば、Microsoft社とAIラボOpenAI社は、OpenAI社の言語生成プログラムGPT-3を、文字列を仕上げるオートコンプリートプログラムとして機能させた(GPT-3と同様に、AlphaCodeもトランスフォーマーと呼ばれるAIアーキテクチャをベースとしており、自然言語やコードなどの連続したテキストを解析することに長けている)。エンドユーザーにとっては、Gmailの「Smart Compose」機能のように、書きかけの文章を完成させるための方法を提案してくれるシステムだ。

AIシステムは、バグの多い脆弱なコードを生成すると批判されてきた。近年、AIコーディングシステムの開発は大きく進展しているが、これらのシステムは人間のプログラマーの仕事をそのまま引き継ぐにはほど遠いものだ。AIが生成するコードにはバグが多く、また、システムは通常、公開されているコードのライブラリで学習されるため、著作権で保護されている素材を複製してしまうこともある。

コードリポジトリ「GitHub」が開発した「Copilot」というAIプログラミングツールを調査したところ、出力されたコードの約40%にセキュリティ上の脆弱性が含まれていたという。セキュリティアナリストの間では、悪者が意図的にバックドアを隠したコードを書いてオンラインで共有し、そのコードをAIプログラムの学習に利用して、将来のプログラムにそのエラーを挿入するのではないかという指摘もある。

このような課題があるため、AIのコーディングシステムは、プログラマーの仕事に少しずつ組み込まれていくことになる。まずはアシスタントとして、提案を疑ってかかるようにしてから、単独で仕事を任せられるようにしていくのだ。言い換えれば、彼らには見習い期間があるということだ。しかし、今のところ、これらのプログラムの学習速度は速い。

Read more

新たなスエズ危機に直面する米海軍[英エコノミスト]

新たなスエズ危機に直面する米海軍[英エコノミスト]

世界が繁栄するためには、船が港に到着しなければならない。マラッカ海峡やパナマ運河のような狭い航路を通過するとき、船舶は最も脆弱になる。そのため、スエズ運河への唯一の南側航路である紅海で最近急増している船舶への攻撃は、世界貿易にとって重大な脅威となっている。イランに支援されたイエメンの過激派フーシ派は、表向きはパレスチナ人を支援するために、35カ国以上につながる船舶に向けて100機以上の無人機やミサイルを発射した。彼らのキャンペーンは、黒海から南シナ海まですでに危険にさらされている航行の自由の原則に対する冒涜である。アメリカとその同盟国は、中東での紛争をエスカレートさせることなく、この問題にしっかりと対処しなければならない。 世界のコンテナ輸送量の20%、海上貿易の10%、海上ガスと石油の8~10%が紅海とスエズルートを通過している。数週間の騒乱の後、世界の5大コンテナ船会社のうち4社が紅海とスエズ航路の航海を停止し、BPは石油の出荷を一時停止した。十分な供給があるため、エネルギー価格への影響は軽微である。しかし、コンテナ会社の株価は、投資家が輸送能力の縮小を予想している

By エコノミスト(英国)
新型ジェットエンジンが超音速飛行を復活させる可能性[英エコノミスト]

新型ジェットエンジンが超音速飛行を復活させる可能性[英エコノミスト]

1960年代以来、世界中のエンジニアが回転デトネーションエンジン(RDE)と呼ばれる新しいタイプのジェット機を研究してきたが、実験段階を超えることはなかった。世界最大のジェットエンジン製造会社のひとつであるジー・エアロスペースは最近、実用版を開発中であると発表した。今年初め、米国の国防高等研究計画局は、同じく大手航空宇宙グループであるRTX傘下のレイセオンに対し、ガンビットと呼ばれるRDEを開発するために2900万ドルの契約を結んだ。 両エンジンはミサイルの推進に使用され、ロケットや既存のジェットエンジンなど、現在の推進システムの航続距離や速度の限界を克服する。しかし、もし両社が実用化に成功すれば、超音速飛行を復活させる可能性も含め、RDEは航空分野でより幅広い役割を果たすことになるかもしれない。 中央フロリダ大学の先端航空宇宙エンジンの専門家であるカリーム・アーメッドは、RDEとは「火を制御された爆発に置き換える」ものだと説明する。専門用語で言えば、ジェットエンジンは酸素と燃料の燃焼に依存しており、これは科学者が消炎と呼ぶ亜音速の反応だからだ。それに比べてデトネーシ

By エコノミスト(英国)
ビッグテックと地政学がインターネットを作り変える[英エコノミスト]

ビッグテックと地政学がインターネットを作り変える[英エコノミスト]

今月初め、イギリス、エストニア、フィンランドの海軍がバルト海で合同演習を行った際、その目的は戦闘技術を磨くことではなかった。その代わり、海底のガスやデータのパイプラインを妨害行為から守るための訓練が行われた。今回の訓練は、10月に同海域の海底ケーブルが破損した事件を受けたものだ。フィンランド大統領のサウリ・ニーニストは、このいたずらの原因とされた中国船が海底にいかりを引きずった事故について、「意図的なのか、それとも極めて稚拙な技術の結果なのか」と疑問を呈した。 海底ケーブルはかつて、インターネットの退屈な配管と見なされていた。現在、アマゾン、グーグル、メタ、マイクロソフトといったデータ経済の巨人たちは、中国と米国の緊張が世界のデジタルインフラを分断する危険性をはらんでいるにもかかわらず、データの流れをよりコントロールすることを主張している。その結果、海底ケーブルは貴重な経済的・戦略的資産へと変貌を遂げようとしている。 海底データパイプは、大陸間インターネットトラフィックのほぼ99%を運んでいる。調査会社TeleGeographyによると、現在550本の海底ケーブルが活動

By エコノミスト(英国)