AI is already doing their own math...

For anyone who are using AI for writing math paper, please do review with other AI at least once. Assess whether the paper will still be readable 30 years from now. Is the reader treated as a peer, or as a verifier ? Do negative-form sentences and preemptive defenses stand?

GPT 5.5 Pro proved some non-trivial very difficult math problem 'without search', while when its allowed to search, it says "this is open problem" So this is what they need to solve within 4 months arxiv.org/abs/2605.04734 (lean 4 formalized)

They took new upgraded 5.4 pro from me and now its slower and dull, (and more half-about-right, if you want) so it wasn't 5.4 pro upgrade, real GPT 5.5 something test

Everyone is misreading the point - the whole point was "now cybersecurity warfare has begun", not a single model, all models can and have been exploiting vulnerabilities, "don't feel relieved because some model has restricted access, get prepared, now". Pandora's box is opened

Lean, or verifiable proofs are critical. This is not only for ai models. Humans also make same mistake, and fundamentally we distrust ourselves. Proof itself desires to be beautiful, validation does not necessarily.

Some problems are solvable with just 5 turns of GPT 5.4 Pro, while some problems needs 350 turns of GPT 5.4 Pro with formal research note handling. Humans are the bottleneck for this model.

I hope ChatGPT sessions can 'talk' to each other, to retrieve the information or context, useful memories. Also if its applied to shared chat by link, or "set of links" - this will be naturally knowledge DB.

GPT 5.4 Pro solved.. Hamiltonian Decomposition of m^d torus for 3 and 4 - "Claude's Cycle" problem almost alone, github.com/aria1th/Torus-Ham… - and its still going further, to d=5 and more...