FrontierCS 2 - Structured-LWE Public Witness Recovery: leaderboard

FrontierCS 2 selected formal runs on 48 research engineering tasks, with each source-native coding harness. Paper v1 Table 3 fixes the effort settings; the subsequently added DeepSeek 1017 row leaves effort unspecified. Superseded attempts are not selected by score. Native bounded task scores are distinct from human-reference margins and from pass/fail verdicts. Explicit failed-run zeroes remain zero; unreported scores remain missing. Metric: Task score (0–100).

Metric: Task score (0–100). Source: frontier-cs.org. Saturation forecast: Around September 2028. 14 models tracked.

Top models

#ModelScoreOverall rank
1GPT-6 Astra (xHigh)84#6 (GPT-6 Astra)
2GPT-6.1 Sol (xHigh)80.5#7 (GPT-6.1 Sol)
3Muse Wonder (Max)79#15 (Muse Wonder)
4Claude Opus 5.5 (Max)72#5 (Claude Opus 5.5)
5DeepSeek V4.1 Flash (Max)70#35 (DeepSeek V4.1 Flash)
6Muse Spark 1.3 (High)70#29 (Muse Spark 1.3)
7DeepSeek V4.1 Flash (1017)67.5#27
8GLM-5.3 (Max)58#39 (GLM-5.3)
9GLM-5.3 Flash (Max)58#72 (GLM-5.3 Flash)
10Kimi K3 (High)9.5#33 (Kimi K3)
11Gemini 4 Argon (High)0#8 (Gemini 4 Argon)

No result here: #9 Claude Fable 5.1, #10 Muse Wonder Full.

Interactive version: theaggregate.ai/benchmark?slug=frontiercs-2-structured-lwe-public-witness-recovery · How It Works · Data refreshed daily, snapshot 2026-10-26.