Comment by tomlockwood

10 hours ago

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

0 comments