Hacker News new | ask | show | jobs
by algo_trader 705 days ago
You are not wrong

AlphaZero-type systems were unable to significantly improve over near-optimal solvers such as z3.
1 comments
Zacharias030 705 days ago
Could you point me to some references to learn about his?
link