In case this hasn't been announced before: @Talia Ringer 's "AI for Math resources" document, initiated during last year's National Academies meeting on AI to assist mathematical reasoning, is now publically available and welcoming corrections and submissions of new resources.
（Terence Tao)
（Terence Tao)