Chỉ 2 ngày sau, AI đã chứng minh một định lý mới trong hình học đại số