自动化研究

研究团队提出ReasFlow系统，通过基于知识的智能体协作，辅助完成以推理为核心的科学发现任务，尤其在需要严谨证明的数学领域实现自动化研究。