👀 AI está agora a tornar-se um contribuinte competente para matemática a nível de pesquisa … lentamente, depois de uma só vez