Organisers: Magnus Carlson (Gävle), Minhyong Kim (Maxwell Institute Edinburgh and Kings College Cambridge), Padmavathi Srinivasan (Boston), Jakob Stix (Frankfurt)
An online seminar with the goal of understanding OpenAI's claimed proof of Grothendieck's section conjecture on fundamental groups of hyperbolic curves over p-adic fields. (As far as we know, it has not even been Lean verified.)
Schedule
20 October 14:00 (UK time)
Organisational meeting
Overview of paper by Benjamin Collas (RIMS)