#Cogentic

Cogentic用多智能体协作解决了数学证明难题，在五个开放问题上取得专家验证的新成果。