They've found a 43-state machine that encodes the Goldbach Conjecture, and proposed but not verified that it can be compressed 27 states. I would consider the G

They've found a 43-state machine that encodes the Goldbach Conjecture, and proposed but not verified that it can be compressed 27 states. I would consider the Goldbach Conjecture to be "well-known" as far as math theorems go, since it was referenced on Futurama. https://en.wikipedia.org/wiki/Busy_beaver#Notable_instances https://en.wikipedia.org/wiki/Busy_beaver#Notable_instances