AI2-Israel's Yoav Goldberg proposes optimizing reasoning tokens via latent variable learning, sparking debate over mathematical tractability · Digg