Přejít k navigační liště

Zdroják » Zprávičky » Microsoft MAI-Code-1-Flash – nový kódovací model přímo v GitHub Copilot

Microsoft MAI-Code-1-Flash – nový kódovací model přímo v GitHub Copilot

Zprávičky AI

Nálepky:

Microsoft představil MAI-Code-1-Flash, lehký model specializovaný na každodenní vývojářské úkoly. Jde o model postavený celý interně Microsoftem na čistých a licenčně korektních datech.

Co umí?

Model je navržen pro agentní kódování přímo v prostředí GitHub Copilot a VS Code – byl trénován přímo s produkčními harnessy Copilotu, takže dobře rozumí reálným workflow, nejen benchmarkům.

Zajímavá je funkce adaptivního myšlení: u jednoduchých dotazů zůstane stručný, u složitějších úloh investuje více „reasoning“ kapacity. V praxi to znamená, že MAI-Code-1-Flash zvládá těžší problémy s až 60 % méně tokeny – nižší latence, nižší náklady.

Výkon vs. konkurence

Model překonává Claude Haiku 4.5 na všech čtyřech testovaných coding benchmarcích (SWE-Bench Verified, SWE-Bench Pro, SWE-Bench Multilingual, Terminal Bench 2), přičemž na SWE-Bench Pro vede o 16 bodů (51,2 % vs. 35,2 %).

Silné výsledky jsou i v instruction-followingu: na IF Bench benchmarku vede o 28,9 bodu oproti Claude Haiku 4.5.

Kde to zkusit?

Model se právě postupně zavádí pro GitHub Copilot individuální uživatele ve VS Code, bez nutnosti jakéhokoli nastavení, buď přes Auto picker, nebo přímo přes výběr modelu.

Zdroj: https://microsoft.ai/news/introducingmai-code-1-flash/

Komentáře

Odebírat
Upozornit na
guest
0 Komentářů
Nejstarší
Nejnovější Most Voted
AI Channel

… reposted this!

TypeScript 7 v Go: rychlejší buildy, chybějící API

Betaverze TypeScriptu 7.0 ukazuje víc než rychlejší tsc. Microsoft převádí kompilátor a jazykovou službu z původní kódové základny psané v TypeScriptu a běžící jako JavaScript do Go, přidává paralelní typovou kontrolu a připravuje novou editorovou část postavenou na LSP. Pro část nástrojů ale nepůjde o prostou výměnu binárky: TypeScript 7 zatím nemá stabilní náhradu dnešního Compiler API.

Prolog nezmizel. Jen dnes žije v jiných nástrojích

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.