Erdosproblems.com thay đổi toàn diện trước làn sóng AI: Không còn bình luận, không còn trạng thái 'đã giải'

Trang web erdosproblems.com – nơi tổng hợp và theo dõi các bài toán mở mang tên nhà toán học huyền thoại Paul Erdős – vừa công bố một loạt thay đổi quan trọng nhằm đối phó với làn sóng lời giải do trí tuệ nhân tạo (AI) tạo ra. Đây được xem như một cột mốc đáng chú ý trong bối cảnh AI ngày càng can thiệp sâu vào nghiên cứu toán học.

Bối cảnh: Khi AI 'xâm chiếm' toán học

Chỉ trong vòng chưa đầy một năm, AI đã chuyển từ chỗ gần như vô dụng trong toán học sang việc hỗ trợ giải quyết một số bài toán khó nhất. Trang erdosproblems.com – vốn được tạo ra với mục đích quảng bá các bài toán Erdős đến cộng đồng người học và làm toán – bất ngờ trở thành thước đo năng lực AI nhờ kho bài toán phong phú, dễ phát biểu nhưng có độ khó trải rộng từ dễ đến cực khó.

"Tôi không hề có ý định biến trang web thành sàn đấu của AI khi tạo ra nó. Tôi chỉ muốn quảng bá các bài toán này đến công chúng con người và tạo một tài liệu tham khảo hữu ích." – chia sẻ từ người sáng lập.

Mặt tích cực là nhiều bài toán đã có lời giải, một phần nhờ nỗ lực của con người, một phần nhờ AI. Nhưng mặt tiêu cực cũng lộ rõ:

• Một số nhà toán học coi toán học kiểu Erdős là "dễ/dạng giải trí"
• Nhiều người từ bỏ suy nghĩ về các bài toán Erdős vì cho rằng không thể cạnh tranh với AI
• Xuất hiện làn sóng lời giải do AI tạo ra nhưng không kèm giải thích, gây nhiễu loạn và làm nản lòng những người thực sự quan tâm

Những thay đổi cụ thể

Sau khi thu thập phản hồi từ cộng đồng – đặc biệt là từ đa số thầm lặng – ban quản trị đã đưa ra bốn thay đổi chính:

1. Ẩn phần Proof Claims (tuyên bố chứng minh): Người dùng không còn đăng trực tiếp lời giải lên site.
2. Tắt tính năng bình luận: Không còn thảo luận công khai dưới mỗi bài toán.
3. Bỏ trạng thái "mở/đã giải": Không còn phân loại bài toán theo trạng thái giải được hay chưa.
4. Tăng cường yêu cầu giải trình: Khuyến khích viết bài trình bày rõ ràng thay vì chỉ nêu kết quả.

Triết lý đằng sau các thay đổi này được tóm gọn trong một câu:

"Trang web nên giúp cộng đồng người quan tâm đến toán học kiểu Erdős phát triển hưng thịnh."

Phản ứng trái chiều từ cộng đồng

Thay đổi vấp phải phản ứng mạnh mẽ từ một bộ phận người dùng. Nhiều người cho rằng việc ẩn bình luận và tuyên bố chứng minh sẽ làm chậm tiến độ toán học thay vì bảo vệ nó.

Một người dùng bình luận:

"Tôi từng có những hợp tác rất hiệu quả với các nhà toán học khác nhờ tính năng bình luận trên site. Những hợp tác như vậy gần như không thể diễn ra nữa."

Ý kiến khác lo ngại rằng việc ẩn Proof Claims sẽ khiến mọi người đăng lời giải lên Zenodo hoặc các nền tảng khác, nơi chúng không được ai thấy – làm giảm khả năng cộng tác và phản biện.

Tuy nhiên, cũng có người ủng hộ việc tạm dừng để nhìn lại. Họ cho rằng:

• Phần Proof Claims vốn đã có quá nhiều nội dung kém chất lượng khiến người quan tâm khó theo dõi
• Việc bỏ trạng thái "đã giải" là hợp lý vì tính chủ quan – nhiều bài toán vẫn có thể được cải tiến tiếp ngay cả khi đã có lời giải

Theo thống kê được chia sẻ, hiện có 291 tuyên bố chứng minh, trong đó 155 tuyên bố không có bình luận nào, và 14 tuyên bố chỉ có bình luận của người đăng. Điều này phản ánh thực trạng nhiều lời giải bị "bỏ rơi" giữa biển thông tin.

Ý nghĩa với cộng đồng công nghệ và AI Việt Nam

Câu chuyện của erdosproblems.com là lời cảnh báo sớm cho các cộng đồng nghiên cứu và phát triển tại Việt Nam:

• Chất lượng hơn số lượng: Khi AI có thể tạo ra nội dung với tốc độ chóng mặt, việc sàng lọc và giải trình sẽ trở thành kỹ năng sống còn.
• Vai trò con người: Không phải mọi đóng góp đều cần AI. Sự kiên nhẫn, tư duy sâu và hợp tác giữa người với người vẫn là giá trị cốt lõi.
• Thiết kế nền tảng: Các diễn đàn, trang chia sẻ kiến thức cần tính đến cơ chế chống nhiễu ngay từ đầu, thay vì đối phó sau khi AI bùng nổ.

Với các lập trình viên và nhà nghiên cứu AI tại Việt Nam, đây là bài học về cân bằng giữa tự động hóa và kiểm soát chất lượng – một bài toán không dễ, nhưng ngày càng cấp thiết.