两项公告：数学人工智能资源和erdosproblems.com网站

陶哲轩教授在他的博客文章中宣布了两项与数学领域相关的消息。首先，他推荐了一份由Talia Ringer发起的数学人工智能资源清单，该清单收集了大量有关人工智能在数学推理方面应用的资源，并公开征集新的贡献。其次，陶教授介绍了由Thomas Bloom创建的erdosproblems.com网站，该网站致力于收集和展示由著名数学家Paul Erdős提出的数学问题，并鼓励数学爱好者参与网站建设和问题解答。