Model comparison
satp-policy-v4.27 vs Claude 4 Opus
Capability radar, value bars, and side-by-side posture.
satp-policy-v4.27
Not scored
value score
Claude 4 Opus
95
value score
satp-policy-v4.27 ctx
—
Claude 4 Opus ctx
200K
Capability radar
Value · context · multimodal · openness · speed posture
Value head-to-head
- Claude 4 Opus95
Attribute tape
| Field | satp-policy-v4.27 | Claude 4 Opus |
|---|---|---|
| Developer | ChristianZ97 | Anthropic |
| Context | — | 200K |
| Modalities | Text, Code, Image | |
| Openness | — | Proprietary Model |
| Speed | — | — |
| Price | — | $15/1M in · $75/1M out |
| Value score | — | 95 |
| Summary | A reinforcement-learning policy checkpoint for Lean-style automated theorem proving, part of the SATP/Aesop-RL model family developed by ChristianZ97. The model selects proof tactics and lemma configurations during formal proof search. | Anthropic frontier Opus-class model. |