https://erich-friedman.github.io/packing/squincir/ 均由The-Anh Vu-Le在9月证明。 根据friedman构型页上的数据（以下数据与本站换算为倒数）， n=3为5 √17 / 16 = 1.28847+， n=5为√10 / 2 = 1.58113+， n=6为√(19706163 + 13275064√2 – 40√(443374242065 + 313512226176√2) ) / 534 = 1.68854+（我还真拿计算器算了一遍） n=7为√13 / 2 = 1.80277+。 Friedman构型没公布证明过程，只写了"Proved by The-Anh Vu-Le"，即由The-Anh Vu-Le证明。 而外部记录也已更新同步。如下： n=36：Joshua Wolk，3.72853+ n=37：Ephraim Duncan，3.77126+ n=38：Beppe Björkland，3.83514+ n=39：Beppe Björkland，3.88461+ n=40：Ephraim Duncan，3.93833+ 以及，Ephraim Duncan似乎在这里就有号（目前本站记录也是他的同名，并且n=37和40的两个记录都完全相同）
P05 · 可倾斜等正方形装入圆 · 讨论
外部记录更新：n=3，5，6，7已证明以及37~40外部记录
至今不知道n=6那个离谱的根式是怎么算出来的……
10月，The-Anh Vu-Le又证明了n=8的情况。 网站：https://github.com/vltanh/lean4-squares-in-circles Friedman已采纳证明。