will be interesting if things like this catch on? https://erdosproblems.ai/