3 ms·
The question is how many people tried to solve this Erdos problem with AI and how many total minutes have been spent on it.
by tomlockwood 6mo 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.