Formal-beweise

LONDON (IT BOLTWISE) – Nach dem 2D-Meilenstein „the hat“ melden Forschende eine neue 3D-Lösung: „Chair44“, ein aperiodisches Monotile, das den Raum ohne Lücken und ohne regelmäßige Wiederholung füllt. Entwickelt wurde die Idee laut Bericht mithilfe eines KI-Systems, das das 2D-Problem auf drei Dimensionen übertragen sollte. Die Veröffentlichung hat bereits Anschlussarbeiten ausgelöst, die Lesbarkeit und Erklärbarkeit […]