Writing
Essays on AI and mathematics, and on AI safety for mathematicians moving into the field. Also cross-posted on my Substack; the versions here render equations more reliably.
Proof of useful work for verifying AI treaties
9 October 2026
Essays on AI and mathematics, and on AI safety for mathematicians moving into the field. Also cross-posted on my Substack; the versions here render equations more reliably.
9 October 2026