I'm not the most versant AI user so far, I was wondering, what is currently the best tool for asking math questions (lessons, proofs, examples) ?