AI for math resources, and erdosproblems.com | Heykuki News