Microsoft Research Blogの最新発表まとめ

AIが書いたログイン処理を数学で証明　約5,000行の通販サイトで試す

Microsoft ResearchのPDD Kitは、AIが書いたログイン処理を数学の証明で検証しました。パスワードが正しいときだけ許可証が出る条件を、すべての入力で確かめた例です。証明できない部分はテストで確かめ、提供時期や料金はまだ発表されていません。