{label:top}
首页 >> 风台点> 正文

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

来源:风台点发布时间:2025-09-09 10:48:48
浏览:17199

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

风集快

更多 >
  • 美大豆协会呼吁尽早同中国达成协议缓解豆农危机
    更新:2025-09-09 09:45
  • 超 50 位两院院士、200 位青年科学家!2023「青年科学家 50² 论坛」深圳举办
    更新:2025-09-09 09:42
  • 国内首个医疗专科推理数据集开源,蚂蚁百灵大模型助力行业落地
    更新:2025-09-09 08:51
  • 人大 Sora 思辩:Sora 到底懂不懂物理世界?
    更新:2025-09-09 08:07

热门文章

  • 中国“人工智能+”行动“路线图”来了
    中国“人工智能+”行动“路线图”来了

    中国“人工智能+”行动“路线图”来了

    新华社北京8月26日电新华社记者魏玉坤8月26日,“人工智能+”行动迎来重要进展:国务院印发的《关于深入实施“人工智能+”行动的意见》对外发布,明确了实施“人工智能+”行动的总体要求、发展目标和重点方 ...

  • 百川智能首款 AI 应用主打懂搜索,但王小川不做搜索 2.0
    百川智能首款 AI 应用主打懂搜索,但王小川不做搜索 2.0

    百川智能首款 AI 应用主打懂搜索,但王小川不做搜索 2.0

    「雷峰网」二十多年前,搜索引擎的发明极大地方便了人们获取信息,很快搜索引擎便成为互联网时代第一流量入口,谷歌、百度更是凭借搜索引擎在 PC 互联网时代占据统治地位,成为两大巨头,多年以来,两者在搜索方 ...

  • Pieter Abbeel 新工作“大世界模型”:轻松玩转1小时长视频,一对一QA视频内容细节
    Pieter Abbeel 新工作“大世界模型”:轻松玩转1小时长视频,一对一QA视频内容细节

    Pieter Abbeel 新工作“大世界模型”:轻松玩转1小时长视频,一对一QA视频内容细节

    作者:赖文昕编辑:陈彩娴自3天前Sora发布以来,由图灵奖得主、Meta首席科学家Yann LeCun提出的“世界模型”又一次引起了广泛关注。“世界模型”作为Sora的一大核心亮点,被OpenAI写在 ...

  • 上海交大新跑出一家具身智能公司「穹彻智能」
    上海交大新跑出一家具身智能公司「穹彻智能」

    上海交大新跑出一家具身智能公司「穹彻智能」

    作者丨郭 思编辑丨陈彩娴AI 科技评论独家获悉:近日,上海交大新跑出了一家机器人公司——上海穹彻智能科技有限公司,定位是具身智能方向,正处于第一轮融资状态,融资金额千万级别。企查查信息显示,该公司于今 ...

  • 关于俄乌领导人会晤地点 泽连斯基给出三个选项
    关于俄乌领导人会晤地点 泽连斯基给出三个选项

    关于俄乌领导人会晤地点 泽连斯基给出三个选项

    总台记者当地时间21日获悉,乌克兰总统泽连斯基在20日与记者的见面会上表示,关于乌克兰与俄罗斯举行会晤的可能地点,乌方认为会晤地点应选择中立欧洲国家,如瑞士或奥地利,也不排除土耳其。但莫斯科不可接受, ...

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

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

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

  • 智谱AI狂飙:与商业化博弈的一年
    智谱AI狂飙:与商业化博弈的一年

    智谱AI狂飙:与商业化博弈的一年

    【雷峰网(公众号:雷峰网)】“这一年时间过得太快了。”2023 年 12 月 AI 科技评论在搜狐网络大厦见到智谱AI COO 张帆时,张帆如是说。张帆在 2023 年 3 月加入中国大模型领域“当红 ...

  • MediaTek 举办天玑开发者大会 MDDC2024,携手产业伙伴共创生成式 AI 新生态
    MediaTek 举办天玑开发者大会 MDDC2024,携手产业伙伴共创生成式 AI 新生态

    MediaTek 举办天玑开发者大会 MDDC2024,携手产业伙伴共创生成式 AI 新生态

    2024年5月7日,MediaTek 举办天玑开发者大会2024MDDC 2024),本届大会以“AI予万物”为主题,深入研讨生成式 AI 技术为移动生态带来的变革与全新机遇。会上,MediaTek ...

风汇新

更多 >
  • 伊朗军队举行导弹演习
    伊朗军队举行导弹演习

    当地时间8月21日上午,伊朗军方宣布,为期两天的导弹演习正式开始。据悉,此次演习将使用伊朗军队最新研发的防御武器。CCTV国际时讯) ...

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

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

  • 人大 Sora 思辩:Sora 到底懂不懂物理世界?
    人大 Sora 思辩:Sora 到底懂不懂物理世界?

    Sora 发布至今,虽然仍未正式对外开放,但对其技术细节、切实影响的讨论从未停歇。讨论的背后,是为了探索人工智能的更本质问题。对旧有视觉生成思路的检验和校正,是 Sora 带来的直观影响。在此基础上, ...

  • 百川智能首款 AI 应用主打懂搜索,但王小川不做搜索 2.0
    百川智能首款 AI 应用主打懂搜索,但王小川不做搜索 2.0

    「雷峰网」二十多年前,搜索引擎的发明极大地方便了人们获取信息,很快搜索引擎便成为互联网时代第一流量入口,谷歌、百度更是凭借搜索引擎在 PC 互联网时代占据统治地位,成为两大巨头,多年以来,两者在搜索方 ...

  • 流行歌手“霉霉”官宣订婚,特朗普回应
    流行歌手“霉霉”官宣订婚,特朗普回应

    据美国福克斯新闻网、美国广播公司消息,当地时间8月26日,美国知名歌手泰勒·斯威夫特官宣与橄榄球运动员特拉维斯·凯尔西Travis Kelce)订婚。两人当天在社交媒体平台联合发帖称:“你的英语老师和 ...

  • 独家|杨红霞创业入局“端侧模型”,投后估值 1.5 亿美元
    独家|杨红霞创业入局“端侧模型”,投后估值 1.5 亿美元

    近日,关于字节跳动大语言模型研发技术专家杨红霞离职创业的事情,坊间传得沸沸扬扬。雷峰网独家获悉,杨红霞已于 5 月下旬正式从字节跳动离职,开始筹备 AI 创业项目。不过,杨红霞不做“大”模型,而是将方 ...

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

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

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

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

  • 泰国被停职总理佩通坦就其涉嫌违宪案出庭作证
    泰国被停职总理佩通坦就其涉嫌违宪案出庭作证

    当地时间21日,泰国被停职总理佩通坦就其涉嫌违宪一案在宪法法院出庭作证。当天泰国宪法法院传唤佩通坦本人及国家保障委员会秘书长出庭。根据泰国宪法法院的安排,此次传唤佩通坦出庭作证,属于审理案件的关键环节 ...

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

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

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

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

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

    作者丨郭思编辑丨陈彩娴「水利万物而不争。」这是英特尔公司高级副总裁、英特尔中国区董事长王锐女士常说的一句话,看似没有压迫性,却切实点出了英特尔作为 AI PC 概念提出者,这场大语言模型技术革命中的思 ...

风风站外交部:敦促新西兰有关部门停止散布谎言制造矛盾
风台台超 50 位两院院士、200 位青年科学家!2023「青年科学家 50² 论坛」深圳举办
风台乐第十六届信息安全高级论坛暨2024 RSAC热点研讨会圆满落幕
风汇点南方电网发布首个「电力大模型」,百度智能云助力「智能电网」
风集潮我国虚拟电厂总规模超3500万千瓦
看汇若愚科技:基于多模态大模型的机器人“大脑”领导者

风风趣

更多 >