声入商业 › 标签

#形式化证明

共 1 篇

深度锐评 · 听澜 · 2026.05.09

洪乐潼谈 Axiom：Putnam 满分，不等于 AI 会做数学｜商业访谈录

嘉宾：洪乐潼（Axiom 创始人/CEO） · 张小珺