對標 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中文網其他相關文章！
从VAE到扩散模型：一文解读以文生图新范式Apr 08, 2023 pm 08:41 PM1 前言在发布DALL·E的15个月后，OpenAI在今年春天带了续作DALL·E 2，以其更加惊艳的效果和丰富的可玩性迅速占领了各大AI社区的头条。近年来，随着生成对抗网络（GAN）、变分自编码器（VAE）、扩散模型（Diffusion models）的出现，深度学习已向世人展现其强大的图像生成能力；加上GPT-3、BERT等NLP模型的成功，人类正逐步打破文本和图像的信息界限。在DALL·E 2中，只需输入简单的文本（prompt），它就可以生成多张1024*1024的高清图像。这些图像甚至
找不到中文语音预训练模型？中文版 Wav2vec 2.0和HuBERT来了Apr 08, 2023 pm 06:21 PMWav2vec 2.0 [1]，HuBERT [2] 和 WavLM [3] 等语音预训练模型，通过在多达上万小时的无标注语音数据（如 Libri-light ）上的自监督学习，显著提升了自动语音识别（Automatic Speech Recognition, ASR），语音合成（Text-to-speech, TTS）和语音转换（Voice Conversation，VC）等语音下游任务的性能。然而这些模型都没有公开的中文版本，不便于应用在中文语音研究场景。 WenetSpeech [4] 是
普林斯顿陈丹琦：如何让「大模型」变小Apr 08, 2023 pm 04:01 PM“Making large models smaller”这是很多语言模型研究人员的学术追求，针对大模型昂贵的环境和训练成本，陈丹琦在智源大会青源学术年会上做了题为“Making large models smaller”的特邀报告。报告中重点提及了基于记忆增强的TRIME算法和基于粗细粒度联合剪枝和逐层蒸馏的CofiPruning算法。前者能够在不改变模型结构的基础上兼顾语言模型困惑度和检索速度方面的优势；而后者可以在保证下游任务准确度的同时实现更快的处理速度，具有更小的模型结构。陈丹琦 普
解锁CNN和Transformer正确结合方法，字节跳动提出有效的下一代视觉TransformerApr 09, 2023 pm 02:01 PM由于复杂的注意力机制和模型设计，大多数现有的视觉 Transformer（ViT）在现实的工业部署场景中不能像卷积神经网络（CNN）那样高效地执行。这就带来了一个问题：视觉神经网络能否像 CNN 一样快速推断并像 ViT 一样强大？近期一些工作试图设计 CNN-Transformer 混合架构来解决这个问题，但这些工作的整体性能远不能令人满意。基于此，来自字节跳动的研究者提出了一种能在现实工业场景中有效部署的下一代视觉 Transformer——Next-ViT。从延迟 / 准确性权衡的角度看，
Stable Diffusion XL 现已推出—有什么新功能，你知道吗？Apr 07, 2023 pm 11:21 PM3月27号，Stability AI的创始人兼首席执行官Emad Mostaque在一条推文中宣布，Stable Diffusion XL 现已可用于公开测试。以下是一些事项：“XL”不是这个新的AI模型的官方名称。一旦发布稳定性AI公司的官方公告，名称将会更改。与先前版本相比，图像质量有所提高与先前版本相比，图像生成速度大大加快。示例图像让我们看看新旧AI模型在结果上的差异。Prompt: Luxury sports car with aerodynamic curves, shot in a
五年后AI所需算力超100万倍！十二家机构联合发表88页长文：「智能计算」是解药Apr 09, 2023 pm 07:01 PM人工智能就是一个「拼财力」的行业，如果没有高性能计算设备，别说开发基础模型，就连微调模型都做不到。但如果只靠拼硬件，单靠当前计算性能的发展速度，迟早有一天无法满足日益膨胀的需求，所以还需要配套的软件来协调统筹计算能力，这时候就需要用到「智能计算」技术。最近，来自之江实验室、中国工程院、国防科技大学、浙江大学等多达十二个国内外研究机构共同发表了一篇论文，首次对智能计算领域进行了全面的调研，涵盖了理论基础、智能与计算的技术融合、重要应用、挑战和未来前景。论文链接：https://spj.scien
什么是Transformer机器学习模型？Apr 08, 2023 pm 06:31 PM译者 | 李睿审校 | 孙淑娟近年来， Transformer 机器学习模型已经成为深度学习和深度神经网络技术进步的主要亮点之一。它主要用于自然语言处理中的高级应用。谷歌正在使用它来增强其搜索引擎结果。OpenAI 使用 Transformer 创建了著名的 GPT-2和 GPT-3模型。自从2017年首次亮相以来，Transformer 架构不断发展并扩展到多种不同的变体，从语言任务扩展到其他领域。它们已被用于时间序列预测。它们是 DeepMind 的蛋白质结构预测模型 AlphaFold
AI模型告诉你，为啥巴西最可能在今年夺冠！曾精准预测前两届冠军Apr 09, 2023 pm 01:51 PM说起2010年南非世界杯的最大网红，一定非「章鱼保罗」莫属！这只位于德国海洋生物中心的神奇章鱼，不仅成功预测了德国队全部七场比赛的结果，还顺利地选出了最终的总冠军西班牙队。不幸的是，保罗已经永远地离开了我们，但它的「遗产」却在人们预测足球比赛结果的尝试中持续存在。在艾伦图灵研究所（The Alan Turing Institute），随着2022年卡塔尔世界杯的持续进行，三位研究员Nick Barlow、Jack Roberts和Ryan Chan决定用一种AI算法预测今年的冠军归属。预测模型图
熱AI工具
Undresser.AI Undress
人工智慧驅動的應用程序，用於創建逼真的裸體照片
AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。
Undress AI Tool
免費脫衣圖片
Clothoff.io
AI脫衣器
AI Hentai Generator
免費產生 AI 無盡。
熱門文章
熱工具
禪工作室 13.0.1
強大的PHP整合開發環境
SublimeText3漢化版
中文版，非常好用
SublimeText3 Linux新版
SublimeText3 Linux最新版
記事本++7.3.1
好用且免費的程式碼編輯器
Dreamweaver CS6
視覺化網頁開發工具
