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 difficu

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-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems...