Thomas Bloom and I are launching a crowdsourced project to link up Thomas's erdosproblems.com site with the #OEIS, by systematically calculating the various integer sequences associated with the Erdos problems and crosschecking them against the OEIS database: terrytao.wordpress.com/2025/08/31/a...
