A tool, not a sage. The AI proves, but it lacks intent, understanding, and the moral aim that define real mathematicians.
