50年以上前、Scientific American誌の人気数学記事の著者であるMartin Gardnerは、読者に課題を提示しました。
ガードナー自身が解決策を見つけましたが、いくつかのシリンダーの底面が側面と接触していたため、満足しませんでした。 彼は、シリンダーベースを使用しないソリューションを望んでいました。 つまり、無限に長いシリンダーの場合です。
半世紀後-2014年3月20日-ハンガリー科学アカデミーの数学者Gandnerを称えるGathering 4 Gardner会議で、SándorBozókiは同じ解決策を発表しました。 昨年の夏、ArXivの科学記事に掲載されました。
Bozokiと同僚は、3か月のコンピューター時間を費やして適切な構成を探しました。 彼らは、3次元空間でのシリンダーのジェネレーターの位置を記述する多項式方程式のシステムをコンパイルしました。
可能な構成の数は約1,210億と推定され、すべてを検証することはできませんでした。 しかし、科学者は幸運でした：8000万の構成を確認した後、2つの解決策が見つかりました。
AlphaCertifiedプログラムを使用して両方の結果をチェックし、見つかった解決策が一部のコンピューター丸めエラーの結果ではないことを証明しました。 科学者は実際の木材の物理モデルさえ作成しました。 ただし、木製部品の製造では、コンピューター計算での丸め誤差よりもさらに多くの誤差があるため、このモデルはデモンストレーションのみを目的として作成されています。