We give a computer-based proof of the following fact: If a square is tiled by seven convex tiles which are congruent among themselves, then the tiles are rectangles. This confirms a new case of a conjecture posed by Yuen, Zamfirescu and Zamfirescu.

中文翻译：

---

将广场分为七个全等部分

我们提供以下事实的基于计算机的证明：如果一个正方形由七个彼此完全相同的凸面瓷砖平铺，则这些瓷砖是矩形。这证实了Yuen，Zamfirescu和Zamfirescu提出的一个新的猜想案例。