🤖 I asked Claude to work on unsolved problems in math. It independently found the same 63-dimensional counterexample to Borsuk’s conjecture that Max Grinsztajn had already found with GPT-5.5 two and a half months earlier, with the same construction, different derivation. See the full writeup for attribution and what’s actually seemingly new here (an independent exact certificate, plus why the method can’t reach dimension 62).