团队发布 AI Mathematician(AIM)框架,探索用多智能体系统处理研究级数学问题。