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?
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?