Important note: this was not done with a special mathematics harness or specialized workflow.

This part of the announcement holds no value besides maybe taking a shot at the Deepmind Co-Mathematician paper. Nearly every mathematical success they've achieved around the GPT 5.2 generation has been done with general (and even public) models. Their last bountied problem solved was done with 5.4 Pro, also a general model.

How/why should we know this, it does not explain the process in the text?