@CajalResearch 正在大规模扩展形式验证,以加速科学发现。 他们将超人类 AI 数学家部署到高影响力的应用领域,首先是量子计算和金融。 祝贺 @lukerj00 和 @pedro_nobre0 启动成功!