Events

Date: 11 September 2026   Time: 15:00 - 17:00

An informal discussion with live examples of the state of AI in practice and its current capabilities, including a multi-agent demonstration of live coding and live mathematics and a discussion of how output can be validated (eg using Lean or test cases)