标签
OpenAI的研究指出，目前80%的美国GDP可通过AI智能体实现自动化，但普及受到训练阶段、智能体与模型实验室的发展以及芯片短缺等因素的制约。
Hillel Wayne 分析了阻碍形式化方法在软件工程中广泛采用的历史和实践障碍，区分了在代码和设计领域中的形式化规范与验证。