According to the US media, Hong Letong, a Stanford math PhD graduate born in the 00s, has recently founded an AI startup ...

11月16日，月之暗面公司旗下的Kimi品牌正式发布了其最新研发的数学推理模型k0-math。该模型在基准测试中的表现显示，其数学能力能够与OpenAI的o1 ...

【ITBEAR】月之暗面公司旗下的人工智能项目Kimi，近日推出了其最新研发的数学推理模型k0-math。据第一财经和新浪科技的联合报道，这款新模型在 ...

MathFusion团队 投稿量子位 | 公众号 QbitAI 当前数学领域的数据生成方法常常局限于对单个问题进行改写或变换，好比是让学生反复做同一道题的变种，却忽略了数学题目之间内在的关联性。 为了打破这种局限，让大模型学会“串联”与“并联”知识，上海AI Lab、人大高瓴等团队联合提出了MathFusion，通过指令融合增强大语言模型解决数学问题的能力。 仅使用45K的合成指令，MathFus ...