2026年3月10日，美国AI公司Axiomatic AI宣布完成1800万美元种子轮融资，Engine Ventures领投，Kleiner Perkins等多家机构跟投。该公司发布面向科学与工程领域的协作智能体Lemma，目前处于封闭测试阶段。Lemma深度融合数学、物理验证与领域知识，支持方程推导、推理验证及Python建模，并可导出至其他编程环境。其核心目标是使AI在科研使用中持续累积价值。

免责声明：本文内容由开放的智能模型自动生成，仅供参考。