From Probable to Provable: What Automated Reasoning Means for the Board Podcast By cover art

From Probable to Provable: What Automated Reasoning Means for the Board

From Probable to Provable: What Automated Reasoning Means for the Board

Listen for free

View show details
Only 33% of boards feel equipped to govern AI, yet AI systems are making millions of decisions per second on their behalf. The gap between the volume of information boards must process and the quality of assurance they receive has never been wider.

In this episode of The Board in the Machine, Mario Thomas — Chartered Director and Fellow of the Institute of Directors — explains what automated reasoning is and why it matters for board-level governance. He distinguishes it clearly from AI and predictive analytics, showing how formal logic and mathematical proof offer boards a categorically different quality of input: not better confidence, but certainty.

Drawing on verified applications in aviation (DO-178C/DO-333), financial services (Basel III/IV compliance), cybersecurity (TLS 1.3 verification), and emerging work in computable contracts, the episode sets out where proof is already replacing probability in regulated industries. Listeners will come away understanding what reasoned indicators are, where automated reasoning applies to governance questions they already own, and how to ask whether their organisation's assurances rest on sampling or completeness.

If you sit on a board, chair an audit or risk committee, or advise directors on AI governance, this episode gives you the vocabulary and the framework to ask a question most boards have not yet considered: are your organisation's assurances based on probability, or proof?

Read the full article at mariothomas.com.
No reviews yet