AIに証明を書かせてセキュアに開発する言語 Tauto をリリースしました！ - Qiita

https://qiita.com/ryo33/items/3a1a9d1ba2b289b23244