A crowdsourced project to link up erdosproblems.com to the OEIS

Wow, I was already impressed with the new comment feature on erdosproblems.com and how it's already been used to solve some of the problems. Excited to see if AI can make a meaningful contribution here.