Terry Tao is hosting an “AI to Assist Mathematical Reasoning” workshop

Link post

The workshop is on 12-14 June, following a previous workshop on “Machine-assisted proofs” held last Feb.

Maybe an opportunity to nerd snipe him and his high-powered colleagues on alignment? This event might mark a turning point in his thinking about it as well since Yann LeCun is part of the organising committee—which also entails much care lest a half-baked attempt inoculates him from the entire field.

Anyone who knows him or is otherwise in UCLA who can weigh in on the feasibility of this?