Vals AI ran GPT-6 Astra, Claude Opus 5, and Opus 5.5 across five reasoning levels on Lean 4 proof tasks and found diminishing returns kick in fast.
Full article content could not be extracted automatically. Read the original below.
Vals AI Finds Claude Opus 5.5 Beats GPT-6 Astra on Math Proofs
Vals AI ran GPT-6 Astra, Claude Opus 5, and Opus 5.5 across five reasoning levels on Lean 4 proof tasks and found diminishing returns kick in fast.
Topics: