最新消息：今天《纽约时报》的 @CadeMetz 报道了亚里士多德以及我们打造世界上最先进的数学推理引擎的追求。 数学超智能正在走向主流。