搜索
当前所在位置:首页 >> 趣台

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

发布时间:2025-07-11 09:52:12 作者:tcf 点击:712 【 字体:

今年 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 智能体来了

阅读全文
相关推荐

创业板指涨逾1%,沪指站稳3500点上方

创业板指涨逾1%,沪指站稳3500点上方
来源:财联社财联社7月9日电,指数持续走强,创业板指拉升涨逾1%,沪指涨0.35%,深成指涨0.60%。影视传媒、核聚变、机器人、军工等方向涨幅居前,沪深京三市上涨个股近3100只。股市动态:09:3 ...

专访面壁曾国洋:踩过 1000 次大模型的坑后 ,造一个性能小钢炮

专访面壁曾国洋:踩过 1000 次大模型的坑后 ,造一个性能小钢炮
2月1日,刚成立一年的面壁智能发布了两个在海内外大模型领域「炸裂级」的存在——面壁 MiniCPM 2B 旗舰端侧大模型与面壁OmniLMM多模态大模型。MiniCPM 2B 有着当之无愧的「小钢炮」 ...

首场“解数Talk” 直播来了——大模型语料数据联盟开源数据集解读

首场“解数Talk” 直播来了——大模型语料数据联盟开源数据集解读
一、解数Talk 介绍为帮助广大开发者更好地了解大模型语料数据联盟发布的AI大模型语料数据,沟通大模型企业在AI视角下的数据需求,不断服务大模型产业生态和落地应用,联盟发起单位上海人工智能实验室联 ...

对话中科深智成维忠:数字人的关键是交互,交互的关键是大模型

对话中科深智成维忠:数字人的关键是交互,交互的关键是大模型
作者丨王悦编辑丨董子博“今年的数字人市场迎来了天翻地覆的变化。”中科深智创始人成维忠对目前国内的数字人市场如是评价。过去,国内数字人企业真正做技术的并不多,大部分以IP打造为主。出道即巅峰的虚拟美妆达 ...

南方电网发布首个「电力大模型」,百度智能云助力「智能电网」

南方电网发布首个「电力大模型」,百度智能云助力「智能电网」
9月26日,南方电网人工智能公司正式发布了电力行业人工智能创新平台及自主可控电力大模型。据悉,电力行业人工智能创新平台提供模型即服务MaaS),支持模型快速迭代开发,支撑电力人工智能资源面向全社会开放 ...

百川智能发布Baichuan2—Turbo系列API,开启企业定制化新生态

百川智能发布Baichuan2—Turbo系列API,开启企业定制化新生态
【雷峰网(公众号:雷峰网)消息】12月19日,百川智能宣布开放基于搜索增强的Baichuan2-Turbo系列API,包含Baichuan2-Turbo-192K 及Baichuan2-Turbo。在 ...

对话零一万物:大模型产品要找到 TC

对话零一万物:大模型产品要找到 TC
【雷峰网(公众号:雷峰网)】近日,大模型独角兽零一万物又开发布会了!上次零一万物以下简称“零一”)开发布会还是在 2023 年 11 月,宣布成立后的模型首秀:发布中英双语大模型“Yi”,并将其开源。 ...

新能源时代,国产3D视觉「冲击」保守的汽车行业

新能源时代,国产3D视觉「冲击」保守的汽车行业
在改革开放背景上成长起来的汽车产业,经历了飞速发展,但大量中外合资车企的涌入,也铸就了行业保守的底色,天然对国产供应商比较排斥。汽车制造业是机器视觉成熟应用的行业之一,但长期以来,国内传统燃油车产线上 ...

印度一桥梁断裂坍塌 死亡人数升至13人

印度一桥梁断裂坍塌 死亡人数升至13人
总台记者当地时间7月10日获悉,印度古吉拉特邦一座桥梁9日发生断裂坍塌,有多辆车坠入河中,目前已造成13人死亡。总台记者 魏可枫) ...

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

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

零一万物 API 上线,用户反馈多模态中文能力超过 GPT

零一万物 API 上线,用户反馈多模态中文能力超过 GPT
【雷峰网(公众号:雷峰网)】近日,大模型初创公司零一万物发布了Yi 大模型 API 开放平台,为开发者提供通用 Chat、200k 超长上下文、多模态交互等模型。零一万物由创新工场董事长兼首席执行官李 ...

蓝振忠也发「英雄帖」,中国版 ChatGPT 明星公司寻找 CEO

蓝振忠也发「英雄帖」,中国版 ChatGPT 明星公司寻找 CEO
「打造中国OpenAI」,「西湖心辰」这家创立时间不到两年的小公司怎么敢夸下海口?相比于国内的其他创业团队,心辰具有以下几大优势:1.在大模型的研究和商业化落地要早一年。积累了超过百万的用户,并训练出 ...
返回顶部