Nikhil Swamy

3DGenはAIを使って、ラフなデータの説明を安全なコードに変えるんだ。

AIは、私たちのコードの書き方や正しさを証明する方法を変えてるよ。