ProofBench Released: Evaluating Formal Mathematical Reasoning

Kimi K2.5 Evaluated on (almost) all benchmarks!

Kimi K2.5 sets a new open-source standard

Results for Terminal-Bench 2.0 Released!

Poker Agent Released

Full Results Released for MiniMax M2.1

Full Results Released for GLM 4.7

MiniMax M2.1 evaluated on Vals Index

GLM 4.7 Takes 1st Place on Open-Weight Leaderboard

Gemini 3 Flash takes first place on SWE-Bench!