2024年7月3日，賽迪工業(yè)和信息化研究院（集團(tuán)）四川有限公司（以下簡稱“賽迪四川”）正式發(fā)布《2024年中國星空人工智能行業(yè)大模型企業(yè)競(jìng)爭(zhēng)力100強(qiáng)研究報(bào)告》。科大國創(chuàng)星云大模型強(qiáng)勢(shì)入選“2024年中國星空人工智能行業(yè)大模型企業(yè)競(jìng)爭(zhēng)力100強(qiáng)”，充分展現(xiàn)了科大國創(chuàng)在大模型技術(shù)革新、行業(yè)落地能力、應(yīng)用場(chǎng)景創(chuàng)新、行業(yè)發(fā)展?jié)撃艿确矫娴膬?yōu)勢(shì)和實(shí)力。
行業(yè)大模型企業(yè)類型
（以下內(nèi)容來自報(bào)告）
（一）科大國創(chuàng)：星云大模型星空機(jī)器人編程大模型
科大國創(chuàng)自主研發(fā)了星云大模型星空機(jī)器人編程大模型——國創(chuàng)星碼編程助手。模型通過精心構(gòu)建大規(guī)模通用代碼語料庫和形式驗(yàn)證領(lǐng)域的專用代碼語料庫，基于transformer架構(gòu)對(duì)模型進(jìn)行深度訓(xùn)練，使得模型具備了生成通用代碼和形式規(guī)約的能力，為軟件的生成和驗(yàn)證提供了強(qiáng)大的支持。為了進(jìn)一步提升形式規(guī)約的生成能力，模型還采用了提示工程、上下文學(xué)習(xí)、小樣本學(xué)習(xí)及思維鏈等關(guān)鍵技術(shù)，使得模型在理解開發(fā)者自然語言需求意圖、生成準(zhǔn)確形式規(guī)約方面有了顯著提升，進(jìn)一步增強(qiáng)了工具的實(shí)用性和準(zhǔn)確性。同時(shí)，公司還自主研發(fā)了先進(jìn)的程序驗(yàn)證器，它采用基于Hoare邏輯的演繹推理和自動(dòng)定理證明技術(shù)，對(duì)模型生成的代碼進(jìn)行形式化驗(yàn)證。這一驗(yàn)證過程確保了程序的行為嚴(yán)格符合形式規(guī)約的描述，從而保證了通過驗(yàn)證的程序的正確性。
圖9 星云大模型星空機(jī)器人編程大模型示意圖
國創(chuàng)星碼編程助手不僅能提供函數(shù)級(jí)代碼補(bǔ)全、代碼解釋、代碼優(yōu)化、代碼注釋生成、單元測(cè)試生成、智能問答、智能修復(fù)等功能，還可以提供形式標(biāo)注輔助生成功能，能夠針對(duì)C語言等特定語言，實(shí)現(xiàn)從自然語言到形式化規(guī)約的自動(dòng)生成，并通過形式驗(yàn)證，確保生成代碼的高度可信。
1.高效智能補(bǔ)全代碼信息
國創(chuàng)星碼編程助手可以對(duì)代碼進(jìn)行全面解析，在隨后代碼編程中進(jìn)行自動(dòng)補(bǔ)全。上下文的代碼質(zhì)量越高、內(nèi)容越豐富，補(bǔ)全的代碼信息越準(zhǔn)確。
2.精準(zhǔn)修復(fù)漏洞優(yōu)化代碼
國創(chuàng)星碼編程助手不僅可以根據(jù)使用者的需求和習(xí)慣，快速檢查代碼中的語法錯(cuò)誤和邏輯錯(cuò)誤，幫助開發(fā)者規(guī)范代碼格式，還可以識(shí)別代碼中的冗余和低效部分，并給出優(yōu)化建議，提升代碼的執(zhí)行效率和可維護(hù)性。
3.清晰解釋代碼邏輯功能
當(dāng)開發(fā)者需要處理別人的代碼，或者在既有代碼中進(jìn)行延展開發(fā)時(shí)，可以通過國創(chuàng)星碼編程助手快速理解和解釋初始代碼的邏輯和功能，降低理解成本，幫助開發(fā)者更好地理解和調(diào)試代碼。
4.從自然語言到形式標(biāo)注生成
結(jié)合形式化技術(shù)，國創(chuàng)星碼編程助手可以將自然語言的需求描述轉(zhuǎn)化為形式規(guī)約的標(biāo)注，并使用科創(chuàng)星云形式驗(yàn)證工具對(duì)程序執(zhí)行嚴(yán)格的形式驗(yàn)證，確保生成高度可信的代碼。
5.星空人工智能問答專業(yè)編程技術(shù)
國創(chuàng)星碼編程助手集成了智能問答功能，開發(fā)者可以隨時(shí)隨地以各種方式向編程助手進(jìn)行編程技術(shù)對(duì)話咨詢。
國創(chuàng)星碼編程助手能帶來顯著的經(jīng)濟(jì)效益。一方面，通過提升軟件開發(fā)的效率和質(zhì)量，模型能夠幫助企業(yè)降低開發(fā)成本，縮短開發(fā)周期，增強(qiáng)企業(yè)的競(jìng)爭(zhēng)力。另一方面，模型的應(yīng)用能夠顯著減少軟件中的缺陷和錯(cuò)誤，降低后期維護(hù)成本，提高軟件的穩(wěn)定性和可靠性。這將為企業(yè)節(jié)省大量的維護(hù)費(fèi)用，確保軟件系統(tǒng)的長期穩(wěn)定運(yùn)行，進(jìn)一步提升企業(yè)的經(jīng)濟(jì)效益。最后，通過強(qiáng)化軟件的安全性和可靠性，模型能夠減少因軟件故障引發(fā)的安全事故和經(jīng)濟(jì)損失，保障人民群眾的生命財(cái)產(chǎn)安全。特別是對(duì)于航空航天、汽車電子、能源核電、軌道交通等安全攸關(guān)領(lǐng)域，模型將為高可信軟件的開發(fā)提供堅(jiān)實(shí)的安全保障。
星空人工智能技術(shù)網(wǎng) 倡導(dǎo)尊重與保護(hù)知識(shí)產(chǎn)權(quán)。如發(fā)現(xiàn)本站文章存在版權(quán)等問題，煩請(qǐng)30天內(nèi)提供版權(quán)疑問、身份證明、版權(quán)證明、聯(lián)系方式等發(fā)郵件至1851688011@qq.com我們將及時(shí)溝通與處理。?。?a href="/">首頁 > 星空人工智能產(chǎn)業(yè) > AI大模型 » 科大國創(chuàng)星云大模型強(qiáng)勢(shì)入選“2024年中國星空人工智能行業(yè)大模型企業(yè)競(jìng)爭(zhēng)力100強(qiáng)”
AI真·煉丹：整整14天，無需人類參與
華東師范大學(xué)的老師 上課已經(jīng)用上
釘釘戰(zhàn)略客戶部總經(jīng)理邱達(dá)：AI大模型
優(yōu)刻得首個(gè)「國產(chǎn)千卡智算集群」落
Opera成為全球首個(gè)接入端側(cè)AI大模
首批！科大訊飛通過智能體（AI Agent）平
告別算力慌！綠盟智能攻防大模型榮獲
萬興科技Filmora亮相微軟Build開發(fā)