Facebookのデバッグ用AIツールが全ての人に公開

Facebookがデバッグ用AIツールを全ての人に無料で提供

Facebookはかつて迅速に動き、物事を壊していました。しかし、今は迅速に動き、物事を修復する努力をしています。そのために、同社はInferという人工知能ツールを設計しました。このツールは、顧客と接触する前にモバイルアプリのバグを特定することができます。同社は今、誰もがこの方法でソフトウェアをチェックすることを望んでいます。

本日、同社はオープンソースのコードInferを、独立した開発者や新しい方法でアプリをデバッグしようとしている企業に無料で提供しました。

Inferの共同創設者であるピーター・オハーンは、「それはプログラムを見て、人間がするようにプログラムについての推測や仮説を立てます。」と述べています。

しかし、人間とは異なり、Inferは数千行のコードを数分で読み取り、潜在的なバグを特定することができます。Facebookは、この自動化システムに対して約80％の修正バグ率を持っていると主張しており、これは非常に良い数字です。

デバッガーの多くは、プログラムを実行し、コードを行ごとに検索またはスキャンしてエラーを探します。Inferは、実際にプログラムを完了することなく、コードを体系的に調査し、問題を探す能力を持っています。この概念は「静的プログラム分析」と呼ばれています。

この概念に基づいて、商業用およびオープンソースのテストツールが利用可能であり、数十年にわたって存在しています。しかし、これらのツールはInferができるレベルで深いコード分析を行うことはできないとオハーンは述べています。他のツールとは対照的に、Inferは大規模なコードベースを解析し、小さな部分を体系的に調査し、結果を結合することができ、速度と深さのトレードオフを維持します。

オハーンは「私はこれをAIだと考えています。」と言います。しかし、彼はそれがFacebookの他の研究者が発明している脳にインスパイアされたニューラルネットワーク技術よりも、分野の象徴的な人工知能の分野に非常に近いと述べています。

Inferは、オハーンが故ジョン・レイノルズと共に始めた学術研究から開発されました。彼らは分離論理と呼ばれるコンピュータサイエンスの概念を開発しました。次の重要な発見は、オハーンが静的分析に対して「誘導推論」と呼ばれる概念を適用できることに気づいたときに訪れました。

オハーンは、彼の研究助手であるディノ・ディステファノと、ロンドンのクイーンメアリー大学の彼の博士課程の学生であるクリスティアーノ・カルカーニョと共に働きました。ディステファノとカルカーニョは異なる研究所に進み、研究を続けました。しかし、最終的に彼らは学術界の外でソフトウェア開発の世界に印象を与えたいと考えるようになりました。彼らは決定を下し、モノイディクスというスタートアップを設立し、オハーンに参加を求めました。

当初の計画は、彼らの仕事に基づいて商業製品を開発することでした。しかし、Facebookから会社を買収するオファーを受けたとき、チームは小さなスタートアップとして大きな影響を与えることができないことに気づきました。オハーンは、「チームは今、プラットフォーム全体を無料で提供できるようになりました。それに至るまでには時間がかかりましたが、それが常に理想的な状況でした。」と述べています。

オハーンは、Inferを全ての人に無料で提供することで、他の企業を助け、彼らからの反応を集め、学術界からの貢献に注目を集めることができることを期待しています。

「静的分析は素晴らしいアイデアで満ちていますが、解決されていない問題もあります。」と彼は言います。「私たちは、これが産業と学術界の間のコラボレーションを促進し、研究が双方向に流れることを期待しています。」