I like how all the replies to me are either "no it's the humans who did it" or "no it's the AI that did it".

I think one of the significant recent proofs was basically just one person saying "solve this" "keep trying" "try harder" until it was done. I believe most of the rest can be assumed to be the human mathematicians at the very least providing some useful guidance.

I agree that it won't be that long before the AIs can do basically everything autonomously, though. I am essentially a Singularitarian when it comes to my outlook, even if not for September 2026.