3 ms·
A crowdsourced project to link up erdosproblems.com to the OEIS
- mathfan 1y agoWow, 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.