An AI will eventually produce mathematical papers of such complexity that only other AIs can fully verify them, with human mathematicians able to follow only the first few pages. The work will be formalized in advanced proof assistants, and AIs will continue generating increasingly inaccessible mathematics building on previous results, potentially solving long-standing conjectures like the Riemann hypothesis with elementary proofs incomprehensible to humans.
This article explains how to conduct security reviews of Daml smart contracts by adapting EVM review methodologies. It defines the Daml template as the review unit—comprising contract data, signatories, observers, and choices—and describes how Daml Script tests contracts on a fresh ledger using submitMustFail assertions and time control functions, with authorization determined by signatories and actors.