Kiwi cybersecurity expert says maths a defence against AI superhacking (opens original article in a new tab)

A Kiwi cybersecurity expert highlights mathematics as a defense against AI threats, with formal methods being tested by US and international agencies for secure software development.

• Mathematics-based 'formal methods' can prevent AI vulnerabilities in software
• US Air Force and DARPA are piloting formal methods for cybersecurity
• Kry10's OS is being tested by multiple governments for secure systems
• Formal methods require mathematical proofs to verify software behavior