Heilbronn問題の最新記録、Rob Gardinerが正方形と三角形で次々と更新

The Heilbronn Problem

単位面積内にn点を配置し、任意の3点が作る最小三角形の面積を最大化するHeilbronn問題。このサイトでは正方形・三角形・凸領域における最良配置を集約し、座標や対称性解析、証明への参照、有理数演算検証ツールを提供。2026年9月から10月にかけてRob Gardinerが正方形n=21,23,25,35や三角形n=20で記録を更新し、Alexandar LackovicはOpus 5.5の支援で凸n=31,33を改善した。