Dit is zo zo cool en ik ben ongelooflijk optimistisch over het gebruik van AI om bewijzen te genereren en te bewijzen om het internet te beveiligen. Het klinkt vreemd, maar het is de enige / beste manier waarop mensen AI kunnen gebruiken om onszelf te beschermen tegen superintelligentie die elke onbekende kwetsbaarheid die door mensen is geschreven, zal uitbuiten.