The Mathematician's Assistant: Integrating AI into Research Practice | Dark Hacker News