關於最近IMO結果以及符號操作、推理和機器與人類智力之間關係的快速討論:
87.43K