「この投稿には、2つの無関係なアナウンスメントが含まれています。まず、数学におけるAIの有用なリソースの一覧を宣伝したいと思います。この一覧は、タリア・リンガーが去年の国立アカデミーが開催した「数学的な推論におけるAI」ワークショップで始めました（多くの他の人々が協力してクラウドソーシングを行いました）。この一覧は今、新しい貢献、更新、または[…]を受け入れています。」