I asked Claude to try to work on unsolved problems in math, and it found a new counterexample to Borsuk’s conjecture: 321 points in \(\mathbb{R}^{63}\) that can’t be split into 64 pieces of smaller diameter, the smallest dimension yet, beating the 2014 record of dimension 64. Thusfar verified four ways; see the full writeup for details.