麻省理工學院和佐治亞理工學院向教育AI如何編碼邁出了堅實的一步

英特爾公司，麻省理工學院和佐治亞理工學院今天詳細介紹了一種人工智能代碼分析系統，該系統被譽為向計算機講授如何編程的“堅實步驟”。

英特爾還希望將該系統變成開發人員的編碼輔助工具。

去年，這家芯片制造商在其研究組織內成立了一個新小組，以追求一種稱為機器編程的概念。該小組的負責人賈斯汀·戈茨利希(Justin Gottschlich)將機器編程的愿景定義為“使每個人都可以通過以最適合自己的方式表達自己的意圖來創建軟件。” 用戶只需告訴AI他們想要什么應用程序，模型就可以進行編碼。

但是，仍然存在阻礙英特爾機器編程愿景發展的巨大障礙。一個基本的挑戰是，對于AI根據用戶的描述(例如所需功能的純英文列表)編寫代碼，它首先需要了解用戶的確切要求。換句話說，AI必須弄清楚他們的意圖。這就是今天宣布的系統旨在發展的領域。

被稱為MISIM的系統可以分析兩個不同代碼段背后的意圖，以判斷它們是否執行相似的任務。此功能代表了使計算機能夠在自動化軟件開發環境中解釋用戶意圖的早期但潛在的重要步驟。

MISIM可以例如比較兩個不同開發人員編寫的兩個代碼段，以執行相同的計算。MISIM能夠確定這兩個代碼段背后具有相同的意圖，也就是說，即使兩個開發人員使用不同的算法和數據類型來執行計算，它們也執行相同的任務。

使系統脫穎而出的是其準確性。該項目背后的英特爾，麻省理工和佐治亞理工學院的研究人員在預印本中寫道，MISIM具有從代碼中提取意圖的能力，其精度比以前的代碼比較系統高40.6倍。研究人員通過評估45,780個不同程序對系統進行了測試。

英特爾的Gottschlich說，機器編程是“一個大膽的目標，盡管還有很多工作要做，但MISIM是邁出了堅實的一步。”

該系統的精度優勢來自稱為上下文感知語義結構的創新。據英特爾稱，這就是MISIM能夠查看一段代碼并捕獲該代碼執行而不是如何執行的功能。MISIM的上下文感知語義結構對神經網絡可以理解的代碼片段背后的意圖進行了高級描述。

英特爾已經在探索使用該技術的方法。MISIM具有出眾的準確性，能夠在開發人員編寫代碼時評估代碼，Intel希望利用此功能為工程師提供實時編程建議。芯片制造商希望將系統用于發現錯誤和性能問題等任務。

假設的MISIM啟發式bug搜索工具可以通過將代碼段與具有類似目的的其他代碼段進行比較以發現差異來工作。如果開發人員的代碼在某一行上有顯著差異，則可能表明存在缺陷。從理論上講，相同的方法可以發現性能問題。

MISIM仍在改進中，但英特爾已將其從研究階段移至演示階段，以探索潛在的應用。芯片制造商的機器編程研究小組目前正在與內部軟件團隊進行有關將AI集成到其工作流程中的討論。Gottschlich說：“我想，如果可能的話，大多數開發人員會很樂意讓機器為他們找到并修復錯誤，我知道我會的。”