The "AI for math fund", that I previously posted on last year at https://mathstodon.xyz/deck/@tao/113601015790417846 , has just announced its first round of funded projects: https://www.renaissancephilanthropy.org/news-and-insights/ai-for-math-fund-announces-18-million-in-grants-to-accelerate-breakthrough-discoveries-in-mathematicsnbsp (I serve on the advisory board on this fund.) Due to a large number of high quality submissions, the fund has doubled the total size of its awards from $9 million to $18 million. Another call for applications will likely take place later this year.