math vs AI agents

we'll be talking about the recent release of math solutions by OpenAI, LEAN programming language, agent swarms for difficult problems

and potentially some hands-on work!

bring your laptop and a curious mind