두 가지 발표: 수학을 위한 AI 자원, 및 erdosproblems.com

이 포스트에는 두 가지 무관한 발표가 포함되어 있습니다. 첫째로, 지난해 국가 아카데미의 '수학적 추론에서 AI' 워크숍에서 Talia Ringer가 시작하고 (다른 많은 사람들의 크라우드소싱 도움으로) 수학에서 AI에 대한 유용한 리소스 목록을 홍보하고 싶습니다. 이 목록은 이제 새로운 기여, 업데이트 또는 [...]을 받아들이고 있습니다.