My point is if you're not a mathematician on the level of Terence Tao you wouldn't have been able to get this result. Thus, AI cannot be credited with the resu

My point is if you're not a mathematician on the level of Terence Tao you wouldn't have been able to get this result. Thus, AI cannot be credited with the result. Because it's not AI that did it, it's the human that used it as a tool to get the result.