"Um marco" O matemático Terence Tao confirma que a IA "mais ou menos autonomamente" resolveu o Problema de Erdos #728. Estava sem solução há 50 ANOS. "Esta é uma demonstração do genuíno aumento na capacidade dessas ferramentas nos últimos meses"