curious what class of erdos problems it solves specifically. is it finding erdos numbers for authors, or actually solving erdos-style mathematical conjectures