GPT-5.4 Thinking
Outcomes
13 of these concern a statement itself; the rest are supporting work such as formalisation, literature search or computation.
Statements worked on
17no
noproof cited
noproof cited
noproof cited
$100proof cited
no
$500proof cited
no
no
no
no
no
no
no
noproof cited
noproof cited
no