Kimi Intelligent Assistant lanzó una nueva generación de inferencia matemática modelo K0-mate, y logró excelentes resultados en múltiples puntos de referencia matemáticos, superando algunos modelos de la serie OpenAI O1. K0-Math se desempeñó con sobra en el examen de ingreso de la escuela secundaria, el examen de ingreso a la universidad, el examen de ingreso de posgrado y la prueba de matemáticas, especialmente en los puntajes de las pruebas de matemáticas tan altas como 93.8, solo superiores a los 94.8 puntos de la versión completa de O1. El modelo adopta una nueva tecnología de razonamiento de la cadena de aprendizaje y pensamiento de refuerzo para simular el proceso de pensamiento del cerebro humano y mejorar su capacidad para resolver problemas matemáticos. Aunque hay margen de mejora en las pruebas a nivel de competencia, K0-Math muestra un gran potencial.
Especialmente en la prueba de matemáticas, el modelo K0-Math obtuvo 93.8, solo solo de los 94.8 puntos de la versión completa del O1. Aunque el rendimiento del modelo inicial K0-Math en los puntos de referencia Omni-Math y AIME a nivel de competencia alcanzó el 90% y el 83% de los puntajes más altos de O1-Mini, la compañía planea continuar la iteración para mejorar la capacidad de resolución de problemas de más preguntas difíciles.
El modelo K0-Math adopta una nueva tecnología de razonamiento de la cadena de aprendizaje y pensamiento de refuerzo, lo que mejora enormemente la capacidad de resolver problemas matemáticos al simular el proceso de pensamiento y reflexión del cerebro humano.
Este modelo pasará más tiempo en el razonamiento durante el proceso de resolución de problemas, incluido el pensamiento y la planificación de ideas, y reflexionar y mejorar las ideas de resolución de problemas cuando sea necesario para mejorar las ideas de resolución de problemas para mejorar la tasa de éxito de responder preguntas.
Aunque el modelo K0-Math funciona bien para resolver los problemas matemáticos más difíciles, la versión actual no puede responder problemas geométricos que son difíciles de describir en formato de látex, y pueden pensar demasiado en problemas matemáticos que son demasiado simples y los problemas de examen de ingreso a la universidad y existe También una cierta probabilidad de que las preguntas de la OMI se hagan mal.
El lanzamiento de K0-Math marca el lado oscuro de la luna Kimi ha hecho un progreso importante en el campo del razonamiento matemático de IA, y continuará mejorando en el futuro, esforzándose por hacer avances en desafíos matemáticos de nivel superior. Su tecnología de razonamiento de cadena de pensamiento única también proporciona nuevas ideas para el desarrollo de la inteligencia artificial.