MỚI NHẤT: Hôm nay @CadeMetz tại New York Times đã đề cập đến Aristotle và cuộc hành trình của chúng tôi để tạo ra động cơ lý luận toán học tiên tiến nhất thế giới. Siêu trí tuệ toán học đang trở nên phổ biến.