"Một cột mốc" Nhà toán học Terence Tao xác nhận AI "hầu như tự động" đã giải quyết Vấn đề Erdos #728. Nó đã không được giải quyết trong 50 NĂM. "Đây là một minh chứng cho sự gia tăng thực sự về khả năng của những công cụ này trong những tháng gần đây"