米AI企業アンティオック、ロボット開発向けシミュレーションツール強化で約13億円の資金調達を発表