habryka comments on Solving Math Problems by Relay