Of course it’s been solved many times before. This is not a great write up and a terrible headline.
In fact, the students came up with a trigonometric proof of Pythagoras which was not circular: I.e. did not rely on anything derived from the Pythagorean theorem itself, and presented it at a regional AMS meeting.