A assistente inteligente Kimi, da Lua Escura, anunciou o lançamento de seu novo modelo de raciocínio matemático, o k0-math. O modelo k0-math se destacou em vários testes de referência de habilidades matemáticas, superando os modelos o1-mini e o1-preview da série o1 da OpenAI em quatro testes de referência: exames de ensino médio, exames de vestibular, exames de pós-graduação e MATH, que inclui problemas de competições introdutórias.
No teste MATH, em particular, o modelo k0-math obteve uma pontuação de 93,8, ficando atrás apenas da versão completa do o1, com 94,8 pontos. Embora nos testes de referência OMNI-MATH e AIME, de nível competitivo, o modelo k0-math de primeira geração tenha alcançado 90% e 83% da pontuação máxima do o1-mini, respectivamente, a empresa planeja iterações contínuas para melhorar a capacidade de resolver problemas mais difíceis.
O modelo k0-math utiliza novas técnicas de aprendizado por reforço e raciocínio em cadeia de pensamento, simulando o processo de pensamento e reflexão do cérebro humano para melhorar significativamente a capacidade de resolver problemas matemáticos complexos.
Durante o processo de resolução de problemas, o modelo leva mais tempo para raciocinar, incluindo pensar e planejar estratégias, e reflete e aprimora suas estratégias de resolução de problemas quando necessário, a fim de aumentar a taxa de sucesso.
Embora o modelo k0-math tenha um desempenho excelente na resolução da maioria dos problemas matemáticos difíceis, a versão atual ainda não consegue resolver problemas de geometria que são difíceis de descrever no formato LaTeX, e pode superpensar problemas matemáticos muito simples. Também há uma certa probabilidade de erros em problemas difíceis do vestibular e problemas da IMO (Olimpíada Internacional de Matemática).
