Hacker News new | ask | show | jobs
by TeMPOraL 740 days ago
> Proof is left as an exercise.

Rather conclusive one already established in the ML field.