ParentFull threadalgo_trader·You are not wrongAlphaZero-type systems were unable to significantly improve over near-optimal solvers such as z3.View on HN