Le modèle Kimi K3 est maintenant disponible dans Kiro

Aujourd'hui, nous sommes ravis d'annoncer que le modèle Kimi K3 de Moonshot AI est disponible dans Kiro, ce qui intègre le premier modèle à poids ouvert de 2,8 billions de paramètres au monde (selon Moonshot AI) directement dans votre flux de travail de développement agentif. Grâce à une fenêtre de contexte de 1 million de jetons, à 2,8 billions de paramètres et à une architecture à mélange d'experts économe en jetons, Kimi K3 offre aux développeurs une combinaison unique de performance et d'efficacité pour le développement logiciel complexe, et s'intègre naturellement à l'approche axée sur les spécifications et l'exactitude qui fait la singularité de Kiro.

La fenêtre de contexte de 1 million de jetons de Kimi K3 est assez grande pour contenir simultanément des bases de code entières, des documents de spécification complets, des suites de tests et l'historique des conversations. Lorsque vous suivez un flux de travail de développement axé sur les spécifications dans Kiro, des exigences à la conception, puis à l'implémentation et à la vérification, le modèle assure la continuité du contexte. Avec 2,8 billions de paramètres au total, K3 offre une intelligence de pointe pour des tâches comme la programmation à long horizon, le raisonnement approfondi et le travail intellectuel de bout en bout, qui comptent le plus pour les développeurs professionnels. Pour les utilisateurs de Kiro, cela signifie un modèle capable de raisonner sur des refactorisations multifichiers, de comprendre des chaînes de dépendances profondément imbriquées et de générer du code solide sur le plan architectural dans de grandes bases de code.

Avec l'ajout de Kimi K3, Kiro continue d'élargir la gamme de modèles à poids ouvert offerts aux développeurs, ce qui renforce notre engagement envers le choix de modèles, avec de l'efficacité pour les tâches courantes et de puissantes performances pour le travail complexe. Les capacités de raisonnement de Kimi K3 peuvent être choisies pour améliorer le développement axé sur les Specs de Kiro, en traduisant les exigences en spécifications exécutables plus approfondies. La vérification automatisée et déterministe de Kiro valide que le code généré correspond à la Spec et à l'intention du développeur. La fenêtre de contexte de 1 M de K3 lui permet de tenir compte de l'ensemble du système pour déterminer les propriétés qui doivent être respectées, et ses 2,8 billions de paramètres de connaissances produisent des implémentations plus susceptibles de satisfaire ces propriétés dès le premier essai. Cette combinaison produit des logiciels qui ne sont pas seulement fonctionnels, mais aussi vérifiés par rapport à leur spécification.

Le modèle Kimi K3 est disponible dès aujourd'hui avec une prise en charge expérimentale pour tous les clients Kiro Pro, Pro+, Pro Max et Power dans la région us-east-1 (IAD), et comporte un multiplicateur de crédits de 2,4x pour le travail de développement haute performance.