Kimi Intelligent Assistant a publié une nouvelle génération de modèle d'inférence mathématique K0-Math et a obtenu d'excellents résultats dans plusieurs repères mathématiques, dépassant certains modèles de la série Openai O1. K0-Math a effectué de façon surprenante lors de l'examen d'entrée au lycée, de l'examen d'entrée au collège, de l'examen d'entrée de troisième cycle et du test de mathématiques, en particulier dans les résultats des tests en mathématiques jusqu'à 93,8, juste après les 94,8 points de la version complète de l'O1. Le modèle adopte une nouvelle technologie de raisonnement de la chaîne d'apprentissage et de réflexion pour simuler le processus de réflexion du cerveau humain et améliorer sa capacité à résoudre des problèmes mathématiques. Bien qu'il y ait une place à l'amélioration des tests au niveau de la compétition, K0-Math montre un grand potentiel.
Surtout dans le test de mathématiques, le modèle K0-Math a marqué 93,8, juste après les 94,8 points de la version complète de l'O1. Bien que les performances du modèle initial K0-Math dans les références Omni-Math et Aime au niveau de la compétition aient atteint 90% et 83% des scores O1-MinI les plus élevés, la société prévoit de poursuivre son itération pour améliorer la capacité de résolution de problèmes de plus Questions difficiles.
Le modèle K0-Math adopte la technologie de raisonnement de la chaîne d'apprentissage et de réflexion sur le renforcement, qui améliore considérablement la capacité de résoudre des problèmes mathématiques en simulant le processus de réflexion et de réflexion du cerveau humain.
Ce modèle passera plus de temps à raisonner pendant le processus de résolution de problèmes, y compris la réflexion et la planification des idées, et réfléchira et améliorera les idées de résolution de problèmes lorsque cela est nécessaire pour améliorer les idées de résolution de problèmes afin d'améliorer le taux de réussite de la réponse aux questions.
Bien que le modèle K0-Math fonctionne bien pour résoudre les problèmes mathématiques les plus difficiles, la version actuelle ne peut pas répondre aux problèmes géométriques difficiles à décrire au format en latex et peut trop penser aux problèmes mathématiques qui sont trop simples, et les problèmes d'examen d'entrée au collège et il y a Aussi une certaine probabilité que les questions de l'OMI soient maladées.
Le lancement de K0-Math marque le côté obscur de la lune que Kimi a fait des progrès importants dans le domaine du raisonnement mathématique de l'IA, et continuera de s'améliorer à l'avenir, s'efforçant de faire des percées dans les défis mathématiques de niveau supérieur. Sa technologie de raisonnement de chaîne de pensée unique fournit également de nouvelles idées pour le développement de l'intelligence artificielle.