A Kimi Intelligent Assistant divulgou uma nova geração de modelo de inferência matemática K0-math e alcançou excelentes resultados em vários benchmarks matemáticos, superando alguns modelos da série Openai O1. O K0-math teve um desempenho excepcional no exame de entrada do ensino médio, exame de admissão na faculdade, exame de admissão de pós-graduação e teste de matemática, especialmente nos resultados dos testes de matemática até 93,8, perdendo apenas os 94,8 pontos da versão completa do O1. O modelo adota a tecnologia de novo aprendizado e cadeia de pensamento de reforço para simular o processo de pensamento do cérebro humano e melhorar sua capacidade de resolver problemas matemáticos. Embora haja espaço para melhorias nos testes no nível da concorrência, o K0-math mostra um grande potencial.
Especialmente no teste de matemática, o modelo K0-math marcou 93,8, perdendo apenas os 94,8 pontos da versão completa do O1. Embora o desempenho do modelo inicial K0-math nos benchmarks omni-math e Aime no nível da concorrência atingisse 90% e 83% dos mais altos escores de O1-mini, a empresa planeja continuar a iteração para melhorar a capacidade de solução de problemas de mais perguntas difíceis.
O modelo K0-MATH adota novas tecnologias de aprendizado e cadeia de pensamento de reforço, o que melhora muito a capacidade de resolver problemas matemáticos, simulando o processo de pensamento e reflexão do cérebro humano.
Esse modelo gastará mais tempo no raciocínio durante o processo de solução de problemas, incluindo idéias de pensamento e planejamento, e refletirá e melhorará as idéias de solução de problemas quando necessário para melhorar as idéias de solução de problemas para melhorar a taxa de sucesso das perguntas de resposta.
Embora o modelo K0-MATH tenha um bom desempenho na resolução de problemas matemáticos mais difíceis, a versão atual não pode responder a problemas geométricos difíceis de descrever no formato de látex e pode pensar demais nos problemas matemáticos que são muito simples, e os problemas de exame de admissão da faculdade e existem problemas também uma certa probabilidade de que as perguntas da IMO sejam erradas.
O lançamento do K0-math marca o lado sombrio da lua, Kimi fez um progresso importante no campo do raciocínio matemático da IA e continuará a melhorar no futuro, se esforçando para fazer avanços em desafios matemáticos de nível superior. Sua tecnologia de raciocínio de cadeia de pensamento única também fornece novas idéias para o desenvolvimento da inteligência artificial.