速度秒掉GPT-4o、22B擊敗Llama 3 70B,Mistral AI開放首個代碼模型
對標 OpenAI 的法國 AI 獨角獸 Mistral AI 有了新動作:首個程式碼大模型 Codestral 誕生了。
作為專為程式碼產生任務設計的開放式產生AI 模型,Codestral 透過共享指令和補全API 端點幫助開發人員編寫並與程式碼互動。 Codestral 精通程式碼和英語,因而可為軟體開發人員設計高階 AI 應用程式。
Codestral 的參數規模為 22B,遵循新的 Mistral AI Non-Production License,可以用於研究和測試目的,但禁止商用。
目前,該模型可以在 HuggingFace 上下載。
- #下載網址:https://huggingface .co/mistralai/Codestral-22B-v0.1
- #免費試用網址:https://t.co/LsgC84GCYw
#Mistral AI 共同創辦人、首席科學家Guillaume Lample 表示,Codestral 可以輕鬆整合到VS Code 外掛程式中。
有使用者將 Codestral 與 GPT-4o 進行了比較,Codestral 速度直接秒了 GPT-4o。
精通80 + 程式語言
#Codestral 在包含了80 + 種程式語言的多樣化資料集上訓練,包括Python、Java、C、C++、JavaScript、Bash 等流行程式語言。另外也在 Swift 和 Fortran 等程式語言上表現良好。
因此,廣泛的語言基礎確保 Codestral 可以在各種編碼環境和專案中為開發人員提供協助。
Codestral 可以勝任編寫程式碼、 編寫測試並使用中間填充(fill-in-the-middle)機制補全任何程式碼部分,為開發人員節省時間和精力。同時使用 Codestral,也有助於提升開發人員的編碼水平,降低錯誤和 bug 風險。
程式碼產生效能新標準
作為一個22B 參數的模型,Codestral 與以往的程式碼大模型相比,在程式碼產生效能和延遲空間方面樹立了新標準。
從下圖 1 可以看到,Codestral 的上下文視窗長度為 32k,競品 CodeLlama 70B 為 4k、DeepSeek Coder 33B 為 16k、Llama 3 70B 為 8k。結果顯示,在程式碼產生遠端評估基準 RepoBench 上,Codestral 的表現優於其他模型。
Mistral AI 也將Codestral 與現有的特定於程式碼的模型進行了比較,後者需要較高的硬體需求。
在 Python 上的表現。研究者使用 HumanEval pass@1、MBPP sanitised pass@1 基準來評估 Codestral 的 Python 程式碼產生能力;除此之外,研究者還用到了 CruxEval、RepoBench EM 基準評估。
在 SQL 上的表現。為了評估 Codestral 在 SQL 中的效能,研究者使用了 Spider 基準測試。
在其他程式語言上的表現。研究者還在其他六種程式語言(包括 C++、bash、Java、PHP、Typescript 和 C#)中對 Codestral 進行了評估,並計算了這些評估的平均值。
#FIM 基準。研究者也評估了 Codestral 在程式碼片段中間有缺少的情況下補全程式碼的能力,主要是在 Python、JavaScript 和 Java 上進行實驗,結果顯示,Codestral 補全的程式碼,使用者可以立即執行。
部落格網址:https://mistral.ai/news/codestral/
以上是速度秒掉GPT-4o、22B擊敗Llama 3 70B,Mistral AI開放首個代碼模型的詳細內容。更多資訊請關注PHP中文網其他相關文章!

熱AI工具

Undresser.AI Undress
人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool
免費脫衣圖片

Clothoff.io
AI脫衣器

Video Face Swap
使用我們完全免費的人工智慧換臉工具,輕鬆在任何影片中換臉!

熱門文章

熱工具

記事本++7.3.1
好用且免費的程式碼編輯器

SublimeText3漢化版
中文版,非常好用

禪工作室 13.0.1
強大的PHP整合開發環境

Dreamweaver CS6
視覺化網頁開發工具

SublimeText3 Mac版
神級程式碼編輯軟體(SublimeText3)

0.這篇文章乾了啥?提出了DepthFM:一個多功能且快速的最先進的生成式單目深度估計模型。除了傳統的深度估計任務外,DepthFM還展示了在深度修復等下游任務中的最先進能力。 DepthFM效率高,可以在少數推理步驟內合成深度圖。以下一起來閱讀這項工作~1.論文資訊標題:DepthFM:FastMonocularDepthEstimationwithFlowMatching作者:MingGui,JohannesS.Fischer,UlrichPrestel,PingchuanMa,Dmytr

想像一下,一個人工智慧模型,不僅擁有超越傳統運算的能力,還能以更低的成本實現更有效率的效能。這不是科幻,DeepSeek-V2[1],全球最強開源MoE模型來了。 DeepSeek-V2是一個強大的專家混合(MoE)語言模型,具有訓練經濟、推理高效的特點。它由236B個參數組成,其中21B個參數用於啟動每個標記。與DeepSeek67B相比,DeepSeek-V2效能更強,同時節省了42.5%的訓練成本,減少了93.3%的KV緩存,最大生成吞吐量提高到5.76倍。 DeepSeek是一家探索通用人工智

AI,的確正在改變數學。最近,一直十分關注這個議題的陶哲軒,轉發了最近一期的《美國數學學會通報》(BulletinoftheAmericanMathematicalSociety)。圍繞著「機器會改變數學嗎?」這個話題,許多數學家發表了自己的觀點,全程火花四射,內容硬核,精彩紛呈。作者陣容強大,包括菲爾茲獎得主AkshayVenkatesh、華裔數學家鄭樂雋、紐大電腦科學家ErnestDavis等多位業界知名學者。 AI的世界已經發生了天翻地覆的變化,要知道,其中許多文章是在一年前提交的,而在這一

波士頓動力Atlas,正式進入電動機器人時代!昨天,液壓Atlas剛「含淚」退出歷史舞台,今天波士頓動力就宣布:電動Atlas上崗。看來,在商用人形機器人領域,波士頓動力是下定決心要跟特斯拉硬剛一把了。新影片放出後,短短十幾小時內,就已經有一百多萬觀看。舊人離去,新角色登場,這是歷史的必然。毫無疑問,今年是人形機器人的爆發年。網友銳評:機器人的進步,讓今年看起來像人類的開幕式動作、自由度遠超人類,但這真不是恐怖片?影片一開始,Atlas平靜地躺在地上,看起來應該是仰面朝天。接下來,讓人驚掉下巴

本月初,來自MIT等機構的研究者提出了一種非常有潛力的MLP替代方法—KAN。 KAN在準確性和可解釋性方面表現優於MLP。而且它能以非常少的參數量勝過以更大參數量運行的MLP。例如,作者表示,他們用KAN以更小的網路和更高的自動化程度重現了DeepMind的結果。具體來說,DeepMind的MLP有大約300,000個參數,而KAN只有約200個參數。 KAN與MLP一樣具有強大的數學基礎,MLP基於通用逼近定理,而KAN基於Kolmogorov-Arnold表示定理。如下圖所示,KAN在邊上具

特斯拉機器人Optimus最新影片出爐,已經可以在工廠裡打工了。正常速度下,它分揀電池(特斯拉的4680電池)是這樣的:官方還放出了20倍速下的樣子——在小小的「工位」上,揀啊揀啊揀:這次放出的影片亮點之一在於Optimus在廠子裡完成這項工作,是完全自主的,全程沒有人為的干預。而且在Optimus的視角之下,它還可以把放歪了的電池重新撿起來放置,主打一個自動糾錯:對於Optimus的手,英偉達科學家JimFan給出了高度的評價:Optimus的手是全球五指機器人裡最靈巧的之一。它的手不僅有觸覺

哭死啊,全球狂煉大模型,一網路的資料不夠用,根本不夠用。訓練模型搞得跟《飢餓遊戲》似的,全球AI研究者,都在苦惱怎麼才能餵飽這群資料大胃王。尤其在多模態任務中,這問題尤其突出。一籌莫展之際,來自人大系的初創團隊,用自家的新模型,率先在國內把「模型生成數據自己餵自己」變成了現實。而且還是理解側和生成側雙管齊下,兩側都能產生高品質、多模態的新數據,對模型本身進行數據反哺。模型是啥?中關村論壇上剛露面的多模態大模型Awaker1.0。團隊是誰?智子引擎。由人大高瓴人工智慧學院博士生高一鑷創立,高

目標偵測在自動駕駛系統當中是一個比較成熟的問題,其中行人偵測是最早得以部署演算法之一。在多數論文當中已經進行了非常全面的研究。然而,利用魚眼相機進行環視的距離感知相對來說研究較少。由於徑向畸變大,標準的邊界框表示在魚眼相機當中很難實施。為了緩解上述描述,我們探索了擴展邊界框、橢圓、通用多邊形設計為極座標/角度表示,並定義一個實例分割mIOU度量來分析這些表示。所提出的具有多邊形形狀的模型fisheyeDetNet優於其他模型,並同時在用於自動駕駛的Valeo魚眼相機資料集上實現了49.5%的mAP
