论文提出Formulaic：AI智能体与求解器协同设计软硬件
热点事件观察中
论文提出Formulaic：AI智能体与求解器协同设计软硬件
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
arXiv 论文提出 Formulaic，一种 AI 基础设施的软硬件协同设计流程：语言模型智能体撰写问题形式化，数学求解器在其中优化，验证与测量环节核查假设和结果，逐步从计算图细化到芯片层。 论文报告的初步结果包括：在 NVIDIA GB10 上，智能体编写的模板运行 Qwen3-8B 层比 SGLang 快 1.075 倍；在模拟 Ventus GPU 研究中，联合设计将 Qwen2.5-0.5B 的最坏场景周期降至参考值的 0.428；复用证明使五步 GEMM 链的检查快 2.51 倍。论文称这是通过多个独立研究而非端到端运行迈出的第一步。
AI 根据报道生成 · 1 小时前更新
最新进展10月29日 13:15
Formulaic：通过渐进优化与验证实现 AI 基础设施的软硬件协同设计报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- arXiv · cs.AIFormulaic：通过渐进优化与验证实现 AI 基础设施的软硬件协同设计
arXiv 论文提出 Formulaic，由语言模型智能体撰写问题形式化，数学求解器在 其中优化，验证与测量环节核查假设和结果，逐步从计算图细化到芯片层。在 NVIDIA GB10 上，智能体编写的模板运行 Qwen3-8B 层比 SGLang 快 1.075 倍；模拟 Ventus GPU 研究中，联合设计将 Qwen2.5-0.5B 最坏场景周期降至参考值的 0.428；复用证明使五步 GEMM 链的检查快 2.51 倍。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。