Erdos Problem 1196: Can AI now solve maths that no human can?

від виконавця More or Less