The above sentence was in the report, so one has to wonder why the notion that it hasn't been proven seems to counter the claim that it couldn't be proven.
It also says that since their 2023 proof, they have also provided another four such proofs.
So, in some ways one has to wonder why the notion existed that it cannot be proven.
Kids are from St. Mary’s Academy in New Orleans. Article from 2023.
There was some question whether it could be proven with trigonometric methods which is what they did.
Now it’s cheating to simply let a = c*cos(x) and b = c*sin(x) and thereby prove that c^2 = a^2 + b^2.
There was some concern that their proof was just a dressed up version of the above.
Apparently it wasn’t, and the proof stands.
Someone else proved it with trigonometric methods some years ago, so what they did is not earth-shattering but it was insightful.