Thread rápido sobre os resultados recentes do IMO e a relação entre manipulação de símbolos, raciocínio e inteligência em máquinas e humanos:
87,45K