Secondly, optimization algorithms "have no hidden agenta and are predictable" only insofar as you're able to comprehend their implementation. Which, for anything more trivial than blinking an LED, you're most likely not. This is the core of what's known as "programs have bugs" problem in software engineering, and also of the "bugs are exploitable" and "programs can have hidden backdoors" problems in software security engineering.
Here are just some of the assumptions it is making that are flawed beyond repair:
- Algorithms don't have unexpected behaviour.
- Computer programs operating in real time are predictable
- We can agree on what to optimise for
- Checking the source code is always possible
- Checking the source code allows you to understand a program
If you trained against a dataset of all police stops in my state (CT) to predict which vehicles should be stopped to maximize drug finds you'd include multiple large departments that have been under federal investigation for racial discrimination (and were found guilty).
I don't think the hidden agenda would be intentional, but there would be a hidden agenda.
That's not a given.