Since this challenge was solved pretty quickly, I thought I'd try to make a substantially more difficult program induction challenge.
The Challenge
Find a short program which generates this binary file.
Hints (because I expect this to be extremely hard)
- For a sense of how simple the program is, I generated the file with a python script of a similar length and complexity to the solution to the prior challenge.
- Other than writing out to the file at the end, the generator uses only basic primitives of the python language (integer arithmetic, logic and flow control, arrays)
- The only numeric constants used in the generator script are .
- The generator script takes nearly 10 minutes to run on my laptop!
- So if you have any good hypotheses, you might want to test them with a compiled language for a 100-fold speedup over python.
Do you think it would be a good idea to delete this and repost it at the beginning of August?
Alternatively, I could repost an easier version in a month, since I'd be shocked if anyone solved this one. Though I guess that was part of the point -- to show that induction of fairly simple programs is super hard for humans in general. The previous challenge was too easy because each element in the output sequence was a simple function of two elements earlier in the sequence (and the 'elements' were easy to identify as they were output in the standard floating point format). On the other hand, it would be neat to make tough-but-solvable program induction challenges a recurring monthly thing as you suggested. Thoughts?