Terence Tao on Nostr: See also the discussion at ...

See also the discussion at https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/AI.20for.20Math.20fund on possible projects that might be supported by this fund.