[tomlockwood]

The question is how many people tried to solve this Erdos problem with AI and how many total minutes have been spent on it.