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