.@CajalResearch 正在大規模擴展形式驗證,以加速科學發現。 他們將超人類的 AI 數學家部署到高影響力的應用領域,首先是量子計算和金融。 恭喜 @lukerj00 和 @pedro_nobre0 上線!