We know from math though that it’s impossible to prove there are no bugs. Maybe ...

		mensetmanusman on Feb 18, 2023 \| parent \| context \| favorite \| on: Man beats machine at Go in human victory over AI We know from math though that it’s impossible to prove there are no bugs. Maybe complicated systems will always have these types of exploits.