[raincole]

The fact some humans can do that doesn't make it any less impressive to me.

I knew Terence Tao can solve Math Olympia questions and much much much more difficult questions. I was still very impressed by AlphaProof[0].

[0] https://deepmind.google/discover/blog/ai-solves-imo-problems...

[SamPatt]

I couldn't agree more. It's very impressive. I'm just countering the claim that it might be cheating. Of course, sometimes it might be, but knowing what I know now, it's completely possible.