搜索
当前所在位置:首页 >> 短闻

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

发布时间:2025-07-12 04:04:30 作者:v 点击:9212 【 字体:

今年 AI 智能体简直火得不行,王威各种初创公司像雨后春笋般冒出,廉最光是新创芯片 Y Combinator 一家今年就已经投资了 94 家相关初创公司。

怪不得吴恩达说:“AI 智能体工作流程将在今年推动 AI 的业项用于巨大进步——甚至可能超过下一代基础模型。这是目世一个关键的趋势,我呼吁所有从事 AI 工作的界上日本交换生后台画面人都关注它。”

雷峰网(公众号:雷峰网)注意到,设计最近又有一家公司高调登场——这次是和验要在半导体领域搞事情。

这家名为 Alpha Design AI 的证的智初创公司由王威廉创立,目标是王威颠覆传统的芯片设计和验证流程,打造出一套原生的廉最机器智能电子设计自动化(EDA)系统。

目前,新创芯片Alpha Design AI 已经完成了由 ScOp Venture Capital 领投的业项用于种子融资,成功筹集 309 万美元,目世其他投资方还包括 Impact Assets、界上Amino Capital 以及多位半导体领域的广州大学宿舍高管和天使投资人。

在这笔投资的加持下,Alpha Design AI 的旗舰产物 ChipAgents 得以快速上线,这也是世界上第一个用于芯片设计和验证的 AI 智能体。

凭借顶尖的生成式 AI 工艺,ChipAgents 能够无缝分析和生成 RTL 设计规范和代码,还能搞定 Verilog 编写,测试平台的自动搭建更是不在话下,彻底摆脱手工编程的束缚。

而且,ChipAgents还能从仿真中实时学习,自主验证和调试代码,确保测试的全面性和质量,堪称一站式解决方案。

ChipAgents 通过大幅缩短设计和验证周期,加快了上市时间,降低了开发成本,最终目标是将 RTL 设计和验证效率提高 10 倍,用更智能、更高效的芯片设计推动跨行业创新。

正如创始人兼首席执行官王威廉所说:“ChipAgents 标志着半导体行业设计和验证方式的关键转变。我们相信 AI 代理是解决复杂 EDA 挑战并更快地将创新推向市场的关键。”


工艺团队

Alpha Design AI 团队的工艺背景也同样让人惊叹。

创始人王威廉就不说了,大语言模型和生成式机器智能领域的先锋人物,现任加州大学圣塔芭芭拉分校机器智能梅利坎普教席教授,还被评为 IEEE 机器智能十大值得关注人物。

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

董事会成员 John Bowers 也是一位大牛,Fred Kavli 纳米工艺讲座教授、能源效率研究所所长,也是美国国家工程院院士。他有丰富的创业经验,担任过 Quintessent 和 Aurrion 等多家公司的联合创始人。

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

另一位董事会成员 Ivan Bercovich 在之前被亚马逊收购的 Graphiq 担任工程副总裁,在此期间专注研究自然语言理解和生成工艺,极其擅长结构化信息、对话系统和人机交互模型,现在是多家科技公司的董事会成员。

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

团队里其他的成员也都是来自 NVIDIA、微软、Meta、雅虎、Snowflake、Salesforce 和 NEC 等行业巨头的资深人士,工艺底蕴不容小觑。

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了



Alpha Design AI 核心工艺解读:Gödel Agent

最近 arxiv 收录了一篇 AI 智能体的论文,论文提出了一种名为 Gödel Agent 的框架,可以通过大型语言模型实现自主递归自我改进,能显著提升任务表现,而且无需依赖人类设计的组件。

王威廉的名字赫然出现在了论文的作者栏里,而 ChipAgents 的一大卖点也是可以自主验证和调试设计代码,雷峰网猜测  Gödel Agent 或许和 ChipAgents 的基础框架有关。

而且对比现有的智能体,只有 Göodel Agent 可以不受任何限制地递归地改进自身。手工设计的智能体依赖于范围有限且劳动密集型的人类专业知识,元学习优化智能体则受到了固定元学习运算规则的约束。

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

从论文内容来看,Gödel Agent 使用了“猴子补丁”的方法。

猴子补丁工艺允许智能体在执行过程中直接读取和修改运行时内存中自己的代码,使其功能能够实时更新,而不受固定运算规则的限制。这种灵活性对智能体的自我改进能力至关关键。

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

核心功能

论文还提到了 Gödel Agent 的其他几项核心功能,包括:

比如通过检查运行时内存实现自我意识,动态代码修改来完善自身逻辑,及其与环境互动等机制。这些功能让 Gödel Agent 可以像人一样不断学习、改进,甚至在每次递归迭代中变得更聪明。

  • 通过检查运行时内存实现自我意识:Gödel Agent 通过检查运行时内存,特别是 Python 中的局部和全局变量,来实现自我意识。这一能力使代理能够提取和解释构成环境和代理自身的变量、函数和类,符合系统的模块化结构。通过自省这些元素,智能体获得对自身操作状态的理解,从而可以相应地进行调整。

  • 通过动态代码修改实现自我完善:Gödel Agent 能够进行推理和规划,以确定是否需要修改自身逻辑。如果认为有必要进行修改,Gödel Agent 会生成新代码,动态地将其写入运行时内存,并将其集成到其操作逻辑中。这种动态修改使其能够在面对新挑战时,通过添加、替换或移除逻辑组件来进化,从而实现自我提升。

  • 环境互动:为了评估性能和收集反馈,Gödel Agent 配备了与其环境互动的接口。每个任务都提供量身定制的环境接口,使其能够评估性能并相应地调整策略。这种互动是递归改进过程中的反馈循环的关键组成部分。

  • 递归改进机制:在每个时间步骤,Gödel Agent 都会确定要执行的操作序列,包括推理、决策和行动执行。在完成操作后,Gödel Agent 评估其逻辑是否有所改善,并决定是否继续进行下一个递归迭代。随着连续迭代,Gödel Agent 的逻辑不断演变,每一步都可能提升其决策能力。

  • 目标提示和任务处理:目标提示告知 Gödel Agent 它拥有提升逻辑所需的权限,并介绍可用的改进工具。该提示鼓励  Gödel Agent 充分探索其潜力,并利用工具进行自我优化。为了确保在不同任务中有效,为 Gödel Agent 提供了一个初始策略,它将开始探索不同的策略,以分析其在优化性能方面的效率。

综合以上工艺,理论上来说 Gödel Agent 允许无限的自我改进,但目前的大型语言模型(LLMs)存在一些局限性。为了解决这些挑战,论文整合了几种支持机制来提升性能:

  • 先思考后行动:Gödel Agent 在采取行动之前进行推理,这样可以输出推理路径和分析,而不是立即执行操作。这种方法提高了决策质量,优先考虑规划而不是鲁莽行动。

  • 错误处理机制:执行过程中的错误会导致智能体进程意外终止。为缓解这一问题,如果某项操作出现错误,Gödel Agent 会停止当前序列,进入下一个时间步骤,并将错误信息保存下来,以改进未来的决策。

  • 附加工具:Gödel Agent 还配备了其他潜在的有用工具,如执行 Python 或 Bash 代码和调用 LLM API 的能力。这些附加工具的加入加快了 Gödel Agent 递归优化过程的收敛速度。


雷峰网版权文章,未经授权禁止转载。详情见转载须知。

王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

阅读全文
相关推荐

2D变3D,电影之城邀你“入画”

2D变3D,电影之城邀你“入画”
来源标题:2D变3D,电影之城邀你“入画”在陆家嘴百丽宫影城的主视觉海报前,一桌二椅皆成实景,影迷可以入内拍照留念,也可在此交谈、小憩。 上海国际电影节供图今年上海国际电影节,影迷不仅能站在主题海报前 ...

GAIR 2023 正式开幕:AI 如此绽放之时,昭示着熙春已至

GAIR 2023 正式开幕:AI 如此绽放之时,昭示着熙春已至
8月14日,新加坡,大厦起伏如丘,树木葱茏,云卷云舒,风也是清新的。建立在大模型技术爆炸时代语境下的第七届GAIR全球人工智能与机器人大会,正式在新加坡乌节大酒店举办。大会共开设10个主题论坛,聚焦大 ...

AI 迈进深水区,谈落地、谁能带来新解法?

AI 迈进深水区,谈落地、谁能带来新解法?
技术发展是一个持续叠进的过程,AI 也是如此。经历过去 70 年的“三起两落”,近年来,人工智能行业迈进深水期,分工细化,产业落地成为主旋律,AI 与各个场景的交叉、对话不断在发生。对不少企业而言,以 ...

港科大褚晓文:医疗场景下的 AutoML ,模型参数量更小、分类准确率更高

港科大褚晓文:医疗场景下的 AutoML ,模型参数量更小、分类准确率更高
探索 AI 和医学结合更多的可能性,是人工智能发展的一个重要命题。AutoML 作为近年来备受瞩目的概念之一,被视为解决算法工程师来提高训练模型效率的一个工具,在工业、农业、零售等诸多场景中均有被使用 ...

实测:ChatGPT的翻译能力怎么样?

实测:ChatGPT的翻译能力怎么样?
在今天,狂热追捧ChatGPT,仿佛已经成为了一种“政治正确”。ChatGPT一出,学界、工业界无不惊为天人。一位研究机构的资深研究员就对AI科技评论说过:“ChatGPT出来,直接给我们整不会了—— ...

AI 迈进深水区,谈落地、谁能带来新解法?

AI 迈进深水区,谈落地、谁能带来新解法?
技术发展是一个持续叠进的过程,AI 也是如此。经历过去 70 年的“三起两落”,近年来,人工智能行业迈进深水期,分工细化,产业落地成为主旋律,AI 与各个场景的交叉、对话不断在发生。对不少企业而言,以 ...

AI Infra 往事之异构计算篇:吴韧与他的学生们

AI Infra 往事之异构计算篇:吴韧与他的学生们
2013年9月底,吴韧受百度邀请,以杰出科学家的身份加入百度深度学习研究院IDL),此时正值他五十知天命的年纪。吴韧在人工智能领域耕耘多年,当时已是一名顶尖的AI计算科学家。2012年深度学习崛起前后 ...

通用3D机器视觉平台是不是伪命题?

通用3D机器视觉平台是不是伪命题?
机器视觉是工业制造向“智造”升级的重要一环。从技术发展的趋势看,工业机器视觉正在经历从2D到3D的蝶变。3D视觉的价值在于,多一维度的信息数据主要是空间坐标),能满足对体积、形状、距离等信息测量的需要 ...

男演员身份证照片引热议,证件照怎样拍才规范?

男演员身份证照片引热议,证件照怎样拍才规范?
近日,有网友表示在上海一公园捡到了演员金世佳的身份证,喊话“金世佳你身份证掉了”,相关话题登上微博热搜。▲图片来自某社交媒体截图▲图片来自微博截图7月6日下午,@金世佳工作室 回应身份证丢失一事:已联 ...

别再说国产大模型技术突破要靠 Llama 3 开源了

别再说国产大模型技术突破要靠 Llama 3 开源了
【雷峰网(公众号:雷峰网)】近日,千呼万唤之下,Meta终于发布了开源大模型Llama 3的 8B 和 70B 版本,再次震动 AI 圈。Meta 表示,Llama 3 已经在多种行业基准测试上展现了 ...

问鼎「AI 之巅」,第四届全国人工智能大赛决赛在深举行

问鼎「AI 之巅」,第四届全国人工智能大赛决赛在深举行
近年来,中国人工智能产业的科技浪潮乘风渐起,从“技术研发”到“成果转化”再到“赋能应用”,众多行业因为AI的嵌入而焕发新的光彩。以赛事为牵引,为中国人工智能产业发现人才,挖掘创新是全国人工智能大赛一直 ...

别再声讨零一万物了

别再声讨零一万物了
最近两天,由原阿里技术副总裁、深度学习框架 Caffe 发明者贾扬清一则朋友圈引发的关于“国内某大厂新模型套壳 LLaMA 架构”的问题在中国人工智能圈与科技媒体中产生了热烈讨论。由于贾扬清在国内 A ...
返回顶部