The Mathematician's Assistant: Integrating AI into Research Practice