AI Agent 开始维护科学软件：研究人员从写代码转向证明代码没错

作者：林岚｜OC 开发者生态编辑