Kimi Intelligent Assistant veröffentlichte eine neue Generation von mathematischen Inferenzmodell K0-Math und erzielte hervorragende Ergebnisse bei mehreren mathematischen Benchmarks, wobei einige Modelle der OpenAI O1-Serie übertroffen wurden. K0-Mad leistete außerdem bei der High School-Aufnahmeprüfung, der Aufnahmeprüfung der Hochschulen, der Aufnahmeprüfung und der Mathematik-Test, insbesondere in den Mathematik-Testwerten von bis zu 93,8, die nur die 94,8 Punkte der vollständigen Version von O1 an zweiter Stelle. Das Modell nimmt eine neue Argumentation der Verstärkungslernen und das Denken der Kettenkette an, um den Denkprozess des menschlichen Gehirns zu simulieren und seine Fähigkeit zur Lösung mathematischer Probleme zu verbessern. Obwohl es Raum für Verbesserungen bei den Tests auf Wettbewerbsebene gibt, zeigt K0-MATH ein großes Potenzial.
Insbesondere im Mathe-Test erzielte das K0-MATH-Modell 93,8 und zweite die 94,8 Punkte der vollständigen Version des O1. Obwohl die Leistung des K0-Math-ersten Modells in der Konkurrenzstufe Omni-Math und Aime-Benchmarks 90% und 83% der höchsten O1-Mini-Werte erreicht hat, plant das Unternehmen, die Iteration fortzusetzen, um die Problemlösungsfähigkeit von mehr zu verbessern schwierige Fragen.
Das K0-MATH-Modell nimmt eine neue Lern- und Denkketten-Argumentationstechnologie für Verstärkung an, die die Fähigkeit, mathematische Probleme zu lösen, durch Simulation des Denk- und Reflexionsprozesses des menschlichen Gehirns erheblich verbessert.
Dieses Modell verbringen mehr Zeit in der Argumentation während des Problems zur Lösung des Problems, einschließlich des Denkens und der Planung von Ideen und Planungsideen, und reflektieren und verbessern Sie die Ideen zur Problemlösung, um die Ideen zur Problemlösung zu verbessern, um die Erfolgsrate der Beantwortung von Fragen zu verbessern.
Obwohl das K0-Math-Modell bei der Lösung von mathematischen Problemen gut abschneidet, kann die aktuelle Version nicht geometrische Probleme beantworten, die im Latexformat schwer zu beschreiben sind, und kann mathematische Probleme überdenken, die zu einfach sind, und die Probleme der College-Aufnahmeprüfung und es gibt es Auch eine gewisse Wahrscheinlichkeit, dass IMO -Fragen falsch gemacht werden.
Der Start von K0-Mathem ist die dunkle Seite des Mondes, die Kimi auf dem Gebiet der KI-mathematischen Argumentation zu wichtigen Fortschritten erzielt hat, und wird sich in Zukunft weiter verbessern und sich bemühen, durch Durchbrüche in mathematischen Herausforderungen auf höherer Ebene zu führen. Die einzigartige Denkketten -Argumentationstechnologie bietet auch neue Ideen für die Entwicklung künstlicher Intelligenz.