2. Linux.do
  3. Mistral的Leanstral +Kimi K3 在MathArena ArXivLean 上超越了Astra，但是...😆

Mistral的Leanstral +Kimi K3 在MathArena ArXivLean 上超越了Astra，但是...😆

lueluelue 2026-09-11 23:01 1



但是



  1. 输出 Token： 10,029,109 ÷ 21,560 ≈ 465.2 倍

  2. 输入 Token： 798,849,013 ÷ 1,138,635 ≈ 701.6 倍


而且证明极不美观，他最终写出来的证明代码平均是Astra的6倍


更新：Mistral工作人员说只有大概2%是Kimi

最新回复 (7)
  • 42 09-11 23:04
    1楼

    所以cost将会达到什么逆天量呢

  • 不要吃太饱 09-11 23:07
    2楼

    硬凹出来啊，消耗这么多token

  • NXDOMAIN 09-11 23:07
    3楼

    就是用 Token，即是金钱硬砸出来的感觉

    这样跑一次要上千刀？

  • Q A 09-11 23:10
    4楼

    cost直接N/A，而且leanstral+别的模型呢

  • 臻至 09-11 23:13
    5楼

    这是那个Lean榜嘛？Leanstral 1.5是Lean专项模型吧。PutnamBench Leaderboard 。


    Kimi还有1m上下文，1+1>2 术业有专攻。不过这也太费了吧（

    这么多Token应该像是Kimi 反复读.lean造成的。

  • lueluelue 楼主 09-11 23:24
    6楼

    啊对，Lean榜，我订正一下去！

  • k ivring 09-12 14:23
    7楼

    现在gpt6可以用了吗？感觉太逆天了

* 帖子来源Linux.do
附近帖子
返回
飞读
随机推荐