最新消息：今天 @CadeMetz 在《紐約時報》報導了亞里士多德以及我們打造世界上最先進的數學推理引擎的追求。 數學超智能正在進入主流。