Formulaic 软硬件协同设计流程提出

2026年10月30日，arXiv Artificial Intelligence 刊出 Yi Ding、Li Shang 的论文，提出名为 Formulaic 的 AI 基础设施软硬件协同设计流程。据该报道，Formulaic 把设计工作拆成三步：由语言模型智能体编写数学形式化，数学求解器在该形式化范围内进行优化，再由验证与实测检查其假设与结果；智能体从计算图逐步细化到芯片。报道同时指出，该论文只是迈出第一步，通过若干彼此独立的研究而非一次端到端运行来展开。目前尚无后续跟进报道，该流程的实际效果与适用范围仍待验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。