David ‘davidad’ Dalrymple is Programme Director at the UK's Advanced Research and Invention Agency (ARIA), where he leads the £59 million Safeguarded AI programme.
For safety-critical domains like energy grids, "probably safe" isn't good enough. To fulfill the potential of AI in these areas, we need to develop more robust, mathematical guarantees of safety.