Sum-Check as an Algebraic Tensor Reduction: Part I | Dark Hacker News