maximumg9··on Sharing AI progress in mathematicsThat's not the same as talking with the person who would have made the proof, and it's hard to argue that's comparable at all.