文章探讨了AI在数学证明和软件工程中的角色,指出尽管AI擅长解决明确目标的问题,但数学家创造新问题的能力使其较难被完全替代。同时分析了程序员和AI研究员面对自动化风险的不同情况。
Ethan成功搭建个人博客,计划分享科研经历、论文解读及生活点滴。欢迎读者交流讨论,共同成长。
AI enthusiast in the field of artificial intelligence.
能让数学家全都失业,除非 agi 来了,但既然 agi 都来了,那么有谁不会失业?