Algebra and reinforcement learning platform for interpretable symbolic math | Dark Hacker News