关于最近IMO结果以及符号操作、推理和机器与人类智能之间关系的快速讨论:
89.52K