Lần đầu tiên, một mô hình AI (GPT-5) đã tự động giải quyết một bài toán toán học mở được gửi đến dự án đánh giá của chúng tôi là IMProofBench, với một chứng minh hoàn chỉnh và chính xác, mà không cần sự gợi ý hay can thiệp của con người. Một đóng góp nhỏ nhưng mới mẻ cho hình học đếm. Một số thông tin nền: