How Far Can AI Go in Solving Math Mysteries? — Blankdot