Mathematicians are angry at AI solving their problems, and it's easy to dismiss this as gatekeeping.
"A proof is a proof. They just want to keep their jobs / prestige / fun !"
But I do think mathematicians have a point, and I'll try to explain using old Civilization-style maps