26-04-04 08:22 微博认证:中国科学院计算技术研究所研究员

这项工作的最大意义在于,用Python打通了AI大模型与芯片验证之间的通路——在此工作基础上,团队仅用2个月就完成了第一版芯片自动化验证智能体UCAgent,实践效果超出预期,于是才有UCAgent后续的快速迭代演进。这正是得益于大模型更懂Python。 这让我想起了Unix和管道(pipe)的故事( http://t.cn/AXIn43jW )。管道的思想是1964年便提出,但一直没能真正实现,直到Unix诞生后,1972年的某一天,Thompson只花了一个小时就在Unix上添加管道系统调用,然后又把管道机制添加到shell,顿时就看到了pipe带来的“很震撼”的结果。 香山团队一直秉持的“冰山文化”——研发基础设施是冰山水面下的部分。水面下越厚重,水面上的冰山才能越巍峨。上述故事都是很好的实践印证。

发布于 北京