Open-source MoE model matches GPT-5.5 on agentic coding benchmarks

GPT-5.5 achieves 16% Pass@8 on MA-ProofBench Level I and 5% on Level II, outperforming most models.

MA-ProofBench released as first formal theorem-proving benchmark for mathematical analysis with 200 theorems across 6 topics.