近日，Axiomatic AI宣布完成1800万美元种子轮融资，由 Engine Ventures 领投，Kleiner Perkins、Big Sur Ventures、Global Vision Capital、Propagator Ventures 和 Liquid 2 共同参投。Axiomatic AI将前沿AI模型与数学和物理验证以及特定领域知识相结合，使价值随使用而累积增长。发布了科学与工程领域协作智能体产品Lemma，目前该产品处于封闭测试阶段。作为一款面向科学和工程领域的协作工具，Lemma专为物理和数学前沿领域的工作设计，能够帮助用户验证、推导和分析数学、物理和工程领域的方程式和推理过程，并提供基于Python的建模功能和导出至其他编程工具的便捷途径。