GPT-5.5 Pro
Outcomes
65 of these concern a statement itself; the rest are supporting work such as formalisation, literature search or computation.
Statements worked on
64no
no
no
no
no
no
no
no
no
noproof cited
no
no
noproof cited
no
noproof cited
no
no
no
no
noproof cited
$500proof cited
noproof cited
noproof cited
noproof cited
nomachine-checked
noproof cited
no
no
noproof cited
no
no
noproof cited
no
no
no
noproof cited
noproof cited
no
no
$250
noproof cited
no
no
$250
nomachine-checked
no
no
noproof cited
noproof cited
no
no
no
nomachine-checked
no
no
no
noproof cited
no
$500proof cited
no
noproof cited
no
no
no