微软发布 MAI-Code-1-Flash，主打“用更少 token 解决更难问题”-低调大师

微软发布 MAI-Code-1-Flash，主打“用更少 token 解决更难问题”

2026-06-03 15

微软于6月2日发布了MAI-Code-1-Flash，这是一款由微软超级智能团队从头构建的编程模型，主打高效与实用。与追求参数规模的路线不同，MAI-Code-1-Flash的核心设计哲学是"为开发者而生，而非为榜单而生"——模型直接在GitHub Copilot生产环境使用的测试框架中训练，使其更适配真实工作流。

MAI-Code-1-Flash的核心能力包括：在真实开发者环境中执行agentic编程、具备自适应思考长度（简单请求快速响应，复杂任务投入更多推理资源）、以及在单轮和多轮场景下都保持强指令遵循能力。

性能数据是这次发布的亮点。在SWE-Bench Pro测试中，MAI-Code-1-Flash达到51.2%的通过率，比Claude Haiku 4.5高出16个百分点。更值得关注的是效率指标：该模型解决问题所需的token数量比Claude Haiku减少60%，这意味着在相同成本下，MAI-Code-1-Flash能够处理更复杂的问题。在一道包含186道对抗性问题的基准测试中，MAI-Code-1-Flash达到了85.8%的校正准确率。

在与Claude Haiku 4.5的横向对比中，MAI-Code-1-Flash在SWE-Bench Verified、SWE-Bench Pro、SWE-Bench Multilingual和Terminal Bench 2四项测试中均取得更高的通过率，同时在数学、科学、指令遵循和agentic编程任务上也表现更优。

MAI-Code-1-Flash现已向Visual Studio Code中的GitHub Copilot个人用户推送，无需额外设置即可使用。对于企业版用户，微软尚未公布具体上线时间。

编程AI赛道竞争态势方面，当前的Coding Agent市场已经形成多极竞争格局。OpenAI的Codex、Anthropic的Claude Haiku、Google的Gemini Code，以及GitHub Copilot的核心引擎都在争夺同一批开发者用户。与其他厂商追求参数规模、再通过量化压缩的路线不同，微软选择了一条更务实的路径：不做最大的模型，而是做效率最高的模型。这种"以结果为导向"的设计思路，实际上是在回应开发者社区长期以来的一个痛点——大模型虽然能力强，但调用成本高、响应速度慢，在日常高频的编码场景中并不实用。

从微软的战略布局来看，MAI-Code-1-Flash的发布与其整个Copilot生态紧密绑定。与其说这是一款独立产品，不如说是微软为GitHub Copilot补充的一个高性能推理引擎。这种"模型+生态"的一体化策略，是微软与其他单一模型供应商竞争时的核心差异化优势。

参考来源：https://microsoft.ai/news/introducingmai-code-1-flash/

微信关注我们

原文链接：https://www.oschina.net/news/451214/microsoft-mai-code-1-flash

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

英伟达联合微软发布 RTX Spark：消费级 ARM 超级芯片、1 Petaflop 算力塞进 Windows PC

NVIDIA与微软在Computex 2026期间联合发布了RTX Spark，这是一款面向消费级PC和笔记本电脑的ARM超级芯片。NVIDIA CEO将其描述为"个人电脑的新起点"，将Petaflop级AI算力带入消费级设备。 RTX Spark的核心参数令人印象深刻：Blackwell架构GPU与Grace CPU的结合，台积电N3E工艺，完整的CUDA和RTX生态系统支持，以及Windows原生AI Agent能力。这意味着在一台15英寸的笔记本电脑里，用户可以获得过去只有数据中心才能提供的AI算力密度——1 Petaflop的FP4计算能力，...

2026-06-02

8

微软宣布推出 Intelligent Terminal 0.1 版本，一个基于 Windows Terminal 的开源实验性分支，集成了原生 Agent 功能。一些内容概览如下： Agent 状态栏位于窗口底部，方便用户快速访问所有与 Agent 相关的信息。它是一个简洁易用的常驻控制界面，只需点击一下即可随时查看 Agent 状态。左侧：显示/隐藏 Agent 窗格切换按钮和错误检测图标，当检测到可修复的错误时，该图标会亮起。右侧：Agent 管理图标（三条水平线），用于打开会话管理面板。此外，还有 Agent 窗格始终可以查看 shell 输出的上下文。GitHub Copilo...

2026-06-03

16

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。