GPT-5.4 Pro Giải đoán 60 năm Erdős #1196
Theo báo cáo của OpenAI và ScientificAmerican, một người nghiệp dư 23 tuổi là Liam Price, với sự hỗ trợ của GPT-5.4 Pro, đã giải quyết vấn đề tập hợp nguyên bản Erdős#1196 chưa có lời giải trong suốt 60 năm. Thời gian suy luận khoảng 80 phút, 30 phút còn lại để sắp xếp thành LaTeX và nộp lên erdosproblems.com để chờ được duyệt. Điểm mấu chốt là liên kết cấu trúc số nguyên với quá trình Markov; Tao và Lichtman đã bày tỏ sự khẳng định. Hiện vẫn đang trong giai đoạn cộng đồng xác minh, chưa hoàn tất bình duyệt học thuật; thông tin xem tại ABMedia và OpenAI4/28 Podcast.
ChainNewsAbmedia·04-29 01:57
