science
Preprint reports a 3D tile that forces non-repeating tilings
An arXiv preprint describes Chair44, a single polyhedral tile that the author says fills three-dimensional space only in arrangements with no translational period. The reported proof combines geometric constraints with exhaustive finite checks and Lean 4 formalization.