AI资讯新闻榜单内容搜索-同伦类型论

关键词: 陶哲轩,AI,AI数学,AI学术,同伦类型论

毫无疑问，数学家的工作方式，正在被AI颠覆！陶哲轩转发的这期美国数学学会通报，大咖云集，星光璀璨。针对AI改变数学的议题，他们中有降临派，也有怀疑论者。而陶哲轩也直接高呼：这个领域太快了，现在我没发表的论文已经不够看了！

关键词: 陶哲轩,AI,AI数学,AI学术,同伦类型论

陶哲轩点赞转发，《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。