资深计算机架构师 satnam6502 主张让 AI 直接设计架构并接受形式化验证

satnam6502 在伦敦 IET REACH 2026 的「AI for Designing Novel Architectures」圆桌上主张，不应仅用 AI 实现人类已有架构思路，而应描述目标行为与运行需求，让 AI 自行决定最优架构，并将输出对照规范进行形式化验证。他进一步认为，在 FPGA 等可重构硬件上，传统「计算机体系结构」的角色需要被重新审视。