It is indeed proven and the reason they're called Turing machines! https://en.wikipedia.org/wiki/Halting_problem
Doesn't the discovery of the fifth Busy Beaver value indicate that there is a decider for 5-state Turing machines?
alt Hacker News
Doesn't the discovery of the fifth Busy Beaver value indicate that there is a decider for 5-state Turing machines?