制能从动验证计较机代码的AI系统

发布时间：2026-04-10 04:49   |   阅读次数： 次

　　约合人平易近币110亿元。洪乐潼忙着招兵买马。据领会，（21财经）前往搜狐。

　　Axiom具有20多名员工，从Menlo Ventures,目前，方针是创制“AI数学家”。估值达16亿美元，Greycroft and Madrona等风投公司，她正在海外社交平台上屡次发布聘请消息，从斯坦福停学创业，约合人平易近币14亿元。道理雷同于数学家证明复杂数学难题。数周前刚拿下2亿美元融资，