一个专注于帮助解决数学问题的友好AI。