RLTasksby ulam.ai
Models / xAI

xAI / MODEL EVIDENCE

Grok / source-unspecified version

1 benchmarks · 4 observations · 1 sources

Scores at a glance

1 benchmarks · large dot: Grok / source-unspecified version; small dots: closest models where reported

UnsolvedMath ↗5 / 5
55

Grok / source-unspecified version · UnsolvedMath · Literature search · Ulam · January 31, 2026 research assessment ↗

3 more reported results

2.5 / 5 · Grok / source-unspecified version · UnsolvedMath · Theorem proving · Ulam · January 31, 2026 research assessment · Open Mathematical Problems as an AI Reasoning Benchmark ↗

3 / 5 · Grok / source-unspecified version · UnsolvedMath · Proof checking · Ulam · January 31, 2026 research assessment · Open Mathematical Problems as an AI Reasoning Benchmark ↗

0 / 1 · Grok / source-unspecified version · UnsolvedMath · Formalization · Ulam · January 31, 2026 research assessment · Open Mathematical Problems as an AI Reasoning Benchmark ↗

Closest models by score

Similar positions on shared benchmark leaderboards. Smaller gaps are closer.

0.0 percentile-point gap

1 of 1 shared benchmark comparisons

How similarity is measured

Mean absolute gap in percentile positions on shared benchmark settings; lower is closer. At least 60% overlap is required, with a minimum of three when available. Independent evaluations are used when there are at least three; otherwise published report comparisons are used. Repeated model observations within one setting are averaged before ranking. Writing-style traits and composite indices are excluded. This describes similarity, not an overall quality ranking.

Filter comparisons to this model →

Sources

Every plotted observation links to its evaluation. Reported configurations, benchmark versions and task subsets can differ; similarity describes shared scores, not training lift.

  1. Open Mathematical Problems as an AI Reasoning Benchmark ↗

    Przemyslaw Chojecki · 2026

Names used in source tables

Grok / source-unspecified version