This is a cool subcommunity! Had no idea there were still open problems that people were working on. Surprised to see human intuition is still around – would have expected a solution through pure brute force.

If there haven't been any proposals for a friendly name for the 23 bit holdout it looks like a pair of glasses to me. So perhaps "spectacles" would be a nice one, similar to the spectre of recent aperiodic monotile fame.

> copy to clipboard

no, thank you. I already have hobbies to consume my life.

It's annoying here that you can't run CGoL in reverse, like you can with the laws of physics.

Someone should invent a GoL (that is still interesting) with that property.

I just found out that there's a 1D cellular automaton called Rule 54 that is conjectured to be Turing complete, but for which there isn't yet a proof.

I think Gemini (an LLM) and me are in agreement that the proof will likely be found by a neuro-symbolic AI. As evidence for this, see AlphaEvolve and the agents which received IMO Gold.