Back to News
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.
Source
Vals AI
Published
Author
AlphaSignal Newsroom
Read
1 min read
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.
Reporting is indexed from AlphaSignal. Rights remain with the original publisher and cited sources.
Read original report
