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 Điều đó nói rằng, không rõ liệu bằng chứng có được giải quyết hay không vào thời điểm họ phát hành bản thảo đó