学术创新

全球知名数学家陶哲轩多年前对AI辅助数学研究的预言，如今正通过人工智能技术逐步实现。