lao1 me
搜索

帖子

首页/AI

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

987
  • lueluelue
    lueluelue2026-09-11
    8222

    图片

    但是

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

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

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

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

    主楼
    798
  • 42-linuxdo
    42-linuxdo2026-09-11
    6988

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

    #1
  • 不要吃太饱
    不要吃太饱2026-09-11
    16936

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

    #2
  • NXDOMAIN
    NXDOMAIN2026-09-11
    23646

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

    这样跑一次要上千刀？

    #3
  • Q_A
    Q_A2026-09-11
    8811

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

    #4
  • 臻至
    臻至2026-09-11
    33606

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

    图片

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

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

    #5
  • lueluelue
    lueluelue2026-09-11
    8222

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

    #6
  • k_ivring
    k_ivring2026-09-12
    30723

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

    #7

发表回复

登录后回复