个人介绍
数学研究、AI理论研究