Ask HN: Is AI good enough for math exercises?