Tag Archives: Packing Problems

Optimal Control Theory to Settle Reinhardt’s Conjecture

The 2010’s are a Golden Age for packing problems. In 2014, Hales announced the long-awaited completion of a high-profile machine proof project called FlySpeck, which verified his proof of Kepler’s conjecture. Johannes Kepler, in 1600, conjectured that the densest way to pack … Continue reading

Posted in General, Math | Tagged , , , , | Leave a comment