[CalChris]

This sounds like a more intelligent version of superoptimization. The original Masselin SO, albeit for its time, also created surprising results which is similar to AlphaDev's incomprehensible for humans. You see the same thing in computer chess which Agadmator calls disgusting engine lines.

https://courses.cs.washington.edu/courses/cse501/15sp/papers...

[mtlmtlmtlmtl]

Stockfish actually use machine learning to pick the best magic numbers for their code.

[agalunar]

SPSA, if memory serves.

https://en.m.wikipedia.org/wiki/Simultaneous_perturbation_st...