AI pomogła zbliżyć się do rozwiązania słynnego problemu matematycznego