New Zealand cybersecurity expert says maths is a defence against AI superhacking
New Zealand cybersecurity expert Boyd Multerer advocates a maths-based approach to defend against advanced AI-driven attacks. The Kry10 CEO champions "formal methods", which are now being tested by the US Air Force.
New Zealand cybersecurity expert Boyd Multerer, chief executive of Kry10, is advocating a maths-based approach to defending against advanced AI-driven cyberattacks. He argues that the approach, known as formal methods, can strengthen software security.
According to RNZ, formal methods rely on mathematically verifying that a system behaves as intended, and the technique is already being tested by the US Air Force. The aim is to close software vulnerabilities in a provable way rather than patching them after the fact.
The potential for AI to automate and scale up cyberattacks is a growing concern among security experts. Specialists like Multerer stress that traditional defences may not be enough and that mathematical guarantees could become increasingly important.
Read next
Asia stocks jolted by renewed tech sell-off after Apple raises prices
A renewed sell-off in technology shares jolted Asian stock markets after Apple raised prices on some products. Analysts say the hikes are a sign that the industry's pricing power may come at the expense of future demand.
China moves to regulate AI agents with a unified digital identity system
Trump threatens 100% tariff on countries imposing digital services taxes
Kawasaki Heavy and Airbus to team up on anti-submarine drone for Japan
