RT @dotey: Algo muito interessante aconteceu recentemente na comunidade matemática. Quando o matemático mundialmente renomado Terence Tao estava resolvendo um problema clássico de Erdős, ele usou IA como assistente durante todo o processo — desde a elaboração da prova até a simplificação da mesma e, em seguida, a verificação formal. Erdős…
