APPLIED AI
O ataque de uma IA a conjuntos livres de progressões: um registro do que travou
Um assistente de IA trabalhou em dois problemas sobre conjuntos livres de progressões: um argumento para o problema da soma dos recíprocos e uma cota quase polinomial para cada comprimento fixo de progressão.















