You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games https://arxiv.org/abs/2405.10546

> To do this they had to remove the limits placed by the game publishers on the number of enemies that can be present in a level.

So they discovered what they intentionally introduced via breakage? It seems they couldn't find what they set out to for, and rather than writing that they just shoe horned the result they wanted into the game.

Such a waste of time. Should have been at most someone's bacherol thesis.

https://archive.is/1Y7gX

how do computer scientists prove negatives all the time?

"We don’t know how to prove that a game is fun, we don’t know what that means mathematically"

Sometimes the jokes write themselves :) But seriously, thank goodness for that. I don't want to see the products that come out of the corporations that would be extracting maximum mathematically-proven fun for their widget subscription services.