To jest naprawdę niesamowite i jestem niezwykle optymistyczny co do wykorzystania AI do generowania i udowadniania dowodów w celu zabezpieczenia internetu. Brzmi to dziwnie, ale to jedyny / najlepszy sposób, w jaki ludzie mogą wykorzystać AI, aby chronić się przed superinteligencją, która wykorzysta każdą nieznaną lukę napisaną przez ludzi.