最近のIMOの結果と、機械と人間の記号操作、推論、知能の関係に関する簡単なスレッド:
87.44K