Smallest dimension in which Borsuk's conjecture is known to fail — qed.bot Claims, announcements and changes recorded against Smallest dimension in which Borsuk's conjecture is known to fail. https://qed.bot/feeds/t/borsuk-dimension.xml 2026-08-12T00:00:00Z qed.bot Smallest dimension in which Borsuk's conjecture is known to fail — matched (GPT-5.6 Sol) urn:qed:2a720f16ef9e 2026-08-12T00:00:00Z The same dimension, 63, from a construction the author said was generated entirely by ChatGPT; withdrawn on 14 August when he found the earlier posting.. Autonomy A3, evidence V2, fidelity F0. Smallest dimension in which Borsuk's conjecture is known to fail — record (GPT-5.5 Pro) urn:qed:8fe849d74fe1 2026-05-26T00:00:00Z A 321-point set in dimension 63 that cannot be split into 64 parts of smaller diameter, improving 64.. Autonomy A1, evidence V2, fidelity F0.