Discrete geometry — qed.bot Claims, announcements and changes across Discrete geometry. https://qed.bot/feeds/collections/discrete-geometry.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. Kissing number in dimension 11 — record (Various) urn:qed:a9ce2a06198e 2026-06-09T00:00:00Z A configuration of 604 spheres in dimension 11, improving 593.. Autonomy A2, evidence V1, 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. Kissing number in dimension 11 — superseded (AlphaEvolve) urn:qed:ea544b0fc1f4 2025-06-16T00:00:00Z A configuration of 593 spheres in dimension 11, improving 592.. Autonomy A2, evidence V1, fidelity F0.