知名架构师提激进主张：让 AI 直接设计架构，输出需形式化验证
satnam6502 · x · 2026-11-09
作者（资深计算机架构师）在伦敦 IET REACH 2026 计算机体系结构会议参加「AI for Designing Novel Architectures」圆桌，自称要克制过于激进的 AI 观点。他的主张：
- 不应只用 AI 更高效地实现人类已有的架构思路，而应只描述目标行为与运行需求，让「异星大脑」自行决定如何最优满足需求；其输出需对照规范做形式化验证。
- 当目标平台是 FPGA 等可重构硬件时，应质疑传统「计算机体系结构」的角色——通用架构可被部分求值并溶解进计算逻辑中。
配图为其从 Charlbury 前往伦敦 IET 会场的交通示意图。
所属事件:IET 架构大会激辩：让 AI 从零设计芯片架构(2 条相关)→
「漫话AGI」频道最新
- AI 双周记:METR 测得 Anthropic 研发提速 2 倍,苹果给工程师 AI 用量降限额 — emmanuelvivier · 2026-11-09
- 没有人是被说服才支持 AI:一次解决真实问题胜过千场辩论 — Pascallisch · 2026-11-09
- 模型内部体验不可知，先做「两种世界都无害」的干预 — amplifiedamp · 2026-11-09
- 预测:2028 年英国最活跃笔友将是互写投诉信的两台 AI — evisoft · 2026-11-09
- François Fleuret：智能诞生于代际对话，蒸馏只是穷版替代 — francoisfleuret · 2026-11-09
- Anthropic 员工语出惊人：全速竞赛才是最好的减速方式 — S_OhEigeartaigh · 2026-11-09