登录

AI4Math

分类

分享

今天在学院午餐会上做了个AI4Math的分享，以下是演讲稿全文。

文章

AI4Math

AI4Math：数学研究的工作流、边界与实践AI4Math：数学研究的工作流、边界与实践精选

文章

其它

Rethas是北大董彬教授AI4Math团队开发的数学专用自然语言推理智能体，是开源的。

文章