11–17 of 17 posts
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.
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.
Earlier quoted context omitted.
In that respect, it reminds me a bit of the busy beaver problem. I wonder: consider the decision problem of determining whether or not a given still life is glider-constructible. Is this problem known to be undecidable? It's straightforward to show that an "inverse" of this problem -- given an arbitrary glider construction sequence, does it result in a still life? -- is undecidable, because gliders can construct patt…
Is it that easy though? Because the Turing machine constructions we have in the game of life are clearly not still lifes, and I don't know if you can construct a Turing machine which freezes into a still life upon halting.
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.
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.
You'll be pleased to find out about Critters: https://en.wikipedia.org/wiki/Critters_(cellular_automaton)