News for hackers. Stuff that matters.

A comment on Dividing a Square into 7 Similar Rectangles. Parent comment

Re:Dividing a Square into 7 Similar Rectangles by aleks224 on Thursday March 09, 2023 @08:37AM (#35080999)
>The only way to mitigate this is to use computer-readable proofs, which can be verified by algorithms to ensure correctness.

This seems like a strong overstatement. We got by for more than 2000 years without computer-readable proofs, relying on intuition and validation.

[ Parent | on HN ]
Re:Dividing a Square into 7 Similar Rectangles by hgsgm on Thursday March 09, 2023 @08:57AM (#35081171)
With lots of major mistakes along the way.
[ Parent | on HN ]