卡拉今天看了什麼Two announcements: AI for Math resources, and erdosproblems.com | What's new
Link📌 Summary: Terence Tao在一篇文章中宣布了兩項與數學相關的新資源。第一項是由Talia Ringer主導的，關於“AI在數學推理中的應用”的資源列表，該列表接受新的貢獻與修正。此外，Talia將舉辦第二次跟進的網絡研討會。第二項是Thomas Bloom創建的網站erdosproblems.com，作為Paul Erdős所提出的數學問題的在線資料庫。Thomas需要各類幫助來改進這個網站，包括建立Github項目、網頁設計、編程、無障礙化以及撰寫評論等。🎯 Key Points:
1. 公布了一個由Talia Ringer主導的，關於“AI在數學推理中的應用”的資源列表，該列表接受新的貢獻與修正。
2. 將舉辦第二次研討會，討論AI在數學中的應用。
3. 推廣新網站erdosproblems.com，專注於Paul Erdős提出的數學問題。
4. 需要各類幫助來改進網站，如建立Github項目、網頁設計、編程、無障礙化及撰寫評論等。
5. Tao親自貢獻了一個問題 (#587) 並提供了相關資源的鏈接。
🔖 Keywords: #AI #Mathematics #PaulErdős #erdosproblems #TerenceTao
