臻至 - lao1 me - 年轻人社区

Grok 4.7 鹈鹕测试热
![图片](https://cdn3.ldstatic.com/optimized/4X/d/2/4/d2415d3f0d5f89e7f4d8a8482aac56dae89b101f_2_690x387.jpeg)
djjd_g2026-09-22AI19Hsalfnux
AI
CometixCode・作为核心要件的悄然起始热
star star 期待期待！
哈雷彗星2026-09-20AI19anleyuan
AI
Mistral的Leanstral +Kimi K3 在MathArena ArXivLean 上超越了Astra，但是...😆
这是那个Lean榜嘛？Leanstral 1.5是Lean专项模型吧。PutnamBench Leaderboard 。 ![图片](https://cdn3.ldstatic.com/optimized/4X/7/3/6/7362dc9b5e882851a6d04a7491fcf828c78c4a84_2_690x459.png) Kimi还有1m上下文，1+1>2 术业有专攻。不过这也太费了吧
lueluelue2026-09-11AI7k_ivring
AI