Hôm nay đánh dấu một cột mốc quan trọng cho AI và toán học. Trong khi Aristotle và các công cụ khác đã đạt được tiến bộ to lớn trong việc giải quyết các vấn đề Erdos trong những tháng gần đây, luôn có một số điều khó chịu. Hôm nay, vấn đề Erdos đầu tiên được tạo ra / chính thức hóa một cách tự động bởi AI, sử dụng sự kết hợp giữa Aristotle và GPT 5.2 Pro. Đây là cái đầu tiên trong số nhiều cái khác.