实体
K2-Horizon-7B
K2-Horizon-7B
PulseAugur coverage of K2-Horizon-7B — every cluster mentioning K2-Horizon-7B across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
AI模型通过形式化证明和新发现解决未解数学难题
两篇新研究论文探讨了大型语言模型在高级数学推理和发现方面的能力。第一篇论文介绍了Magenta，一个将非正式的自然语言数学问题与Lean 4中形式化、机器可验证的证明联系起来的系统，在奥林匹克竞赛基准测试中取得了完美的准确率，并与K2-Horizon-7B配对解决了六个IMO 2026问题。第二篇论文提出了HorizonMath，一个旨在测试AI进行新颖发现能力的未解数学问题基准，其中GPT-5.4 Pro和GPT-5.6 Sol等模…
-
IFM发布K2-Horizon模型，支持大上下文窗口 · 追踪4个来源
IFM发布了包括K2-Horizon-MoVA-36B-A4B和K2-Horizon-7B在内的多个新模型，这些模型可在Hugging Face上获取。这些模型提供大上下文窗口，并专为各种应用设计，同时提供了与Transformers、vLLM和SGLang等流行库及推理提供商集成的详细说明。特别是K2-Horizon-MoVA-36B-A4B模型，以其在较小的激活参数数量下表现出的性能而受到关注，能够与更大的模型甚至闭源前沿模型竞争。