vui vẻ: 3/4 tháng trước, tôi đã chạy o3 cho một số học giả về một tập hợp các vấn đề kiểu AIME. Họ đã mất quá nhiều thời gian để viết một bản tóm tắt kết quả (96% irrc) đến nỗi Alex đã giải được bằng chứng và IMO trong thời gian chờ đợi lol

@littmath Nói vậy, không rõ liệu bằng chứng sẽ được giải quyết trước khi họ phát hành bản nháp đó.