当前位置:首页 >风台潮 >王威廉最新创业项目:世界上第一个用于芯片设计和验证的 AI 智能体来了

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

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

(责任编辑:乐事)

    推荐文章
    • 大模型生产力的头场变革,从英特尔商用 AI PC 说起

      大模型生产力的头场变革,从英特尔商用 AI PC 说起作者丨郭思编辑丨陈彩娴「水利万物而不争。」这是英特尔公司高级副总裁、英特尔中国区董事长王锐女士常说的一句话,看似没有压迫性,却切实点出了英特尔作为 AI PC 概念提出者,这场大语言模型技术革命中的思 ...[详细]
    • 《成家》:展现当代社会的情感图景

      《成家》:展现当代社会的情感图景来源标题:《成家》:展现当代社会的情感图景家是中国人情感的根基,婚恋则是成家的第一步。电视剧《成家》以轻喜剧风格,讲述思缔妮婚介公司的婚恋顾问们为客户寻找适配对象,助力“成家” ...[详细]
    • 大阪世博会中国馆举行中国电影日活动

      大阪世博会中国馆举行中国电影日活动来源标题:大阪世博会中国馆举行中国电影日活动新华社东京5月25日电记者胡晓格)中国电影日活动25日在大阪世博会中国馆举行,这是中国电影活动首次在世博会平台举办。中日电影界代表以及世博会各场馆代表等百余 ...[详细]
    • 2025,大厂们的「大模型牌桌」战

      2025,大厂们的「大模型牌桌」战随着大模型六小虎在AGI上的后撤第一枪被正式打响,中国大模型行业的分水岭快速露出水面、更加清晰。初创公司在下一代超大规模模型竞争中的局限性开始被广泛关注,大厂「不下桌」的资本筹码变得更加明显。无论是百 ...[详细]
    • 四天六轮谈不拢?加沙停火谈判卡在这三件事

      四天六轮谈不拢?加沙停火谈判卡在这三件事当地时间9日,正在卡塔尔首都多哈进行的新一轮加沙地带停火谈判进入第四天。以色列和巴勒斯坦伊斯兰抵抗运动哈马斯)的谈判小组举行了本轮谈判重启以来的第六轮间接会谈,但尚未取得突破性进展。闭门谈判持续四天 ...[详细]
    • 实测豆包1.5后,看到了字节不走捷径的底气

      实测豆包1.5后,看到了字节不走捷径的底气2025 年 1 月,豆包大模型 1.5 全面上线火山方舟,其中豆包通用模型 pro 在多个权威测评集综合得分优于GPT4o、Claude 3.5 Sonnet 等业界一流模型,模型效果达到全球领先水 ...[详细]
    • 伯克利罗剑岚:机器人的范式革命,藏在真实世界中

      伯克利罗剑岚:机器人的范式革命,藏在真实世界中作者 | 赖文昕编辑 | 陈彩娴近日,伯克利大学 Sergey Levine 团队发布了一项强化学习方向的重磅工作——HIL-SERL,引起了具身智能领域的广泛讨论与关注。根据实验结果,基于强化学习框 ...[详细]
    • 清程极智 CEO 汤雄超:训推一体机并非 AI Infra 的未来

      清程极智 CEO 汤雄超:训推一体机并非 AI Infra 的未来早在超算时代,清华大学高性能计算研究中心便一直是解决算力需求相关软件问题的行家。“目前 AI Infra 赛道几家国内厂商中,只有我们有过十万台服务器的超大规模国产算力集群的使用和调优经验。”汤雄超向 ...[详细]
    • 商务部:已部署开展打击战略矿产走私出口专项行动

      商务部:已部署开展打击战略矿产走私出口专项行动7月10日,商务部召开例行新闻发布会。有记者提问,有报道称,锑和镓等关键矿产正在通过转运方式运往美国。中国政府是否已采取任何措施打击关键矿产的转运和走私行为?商务部新闻发言人何咏前表示,锑和镓等战略矿 ...[详细]
    • 特斯拉首款无人驾驶 RobotTaxi,升级版 Optimus 还是画大饼?

      特斯拉首款无人驾驶 RobotTaxi,升级版 Optimus 还是画大饼?北京时间 10 月 11 日上午,特斯拉在洛杉矶华纳兄弟工作室召开“We, Robot”演示活动,给我们带来了两款全新的自动驾驶汽车和更多关于人形机器人的畅想。早在两个星期前,马斯克就早早高调预告,“ ...[详细]
    热点阅读