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