Bài viết này được dịch máy
Xem bản gốc
Có lẽ bạn đang tự hỏi liệu GPT 5.2 Pro hay Deep Research có thể giải quyết thêm các bài toán Erdos nào khác không.
Tôi đã tập hợp một nhóm sinh viên đại học xuất sắc để xây dựng một tập dữ liệu gồm các phản hồi ChatGPT cho mọi bài toán Erdos chưa được giải quyết và xác thực kết quả.
Đây là những gì họ tìm thấy (tất cả đều là mã nguồn mở - kho lưu trữ bên dưới):
Neel Somani
@neelsomani
01-11
Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao.
The proof was generated by GPT 5.2 Pro and formalized with Harmonic.
Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
