📢 Toán học chiếm một không gian mới… và giải thưởng Justin Sun đặt phần chứng minh vào trung tâm cuộc cạnh tranh 🏆📐

Giải thưởng Justin Sun Prize cung cấp các khoản tiền thưởng có thể lên tới 1 triệu USD cho những thành tựu quan trọng trong toán học cơ bản, tập trung vào các chứng minh chính thức mà máy móc có thể kiểm chứng.

🧠 Chương trình bao gồm 66 bài toán gắn với lời giải và các chứng minh chính thức, đồng thời mở ra nhiều dạng bài toán toán học nền tảng khác nhau.

💻 Ý tưởng không chỉ dừng ở việc tìm ra đáp án đúng, mà còn chuyển kết quả thành một Formal Proof (chứng minh hình thức) có thể kiểm chứng bằng công cụ phần mềm, từ đó tạo ra một giao điểm rõ ràng giữa toán học và AI.

🤖 Theo thông báo, trong số những người chiến thắng đầu tiên có một nhóm nghiên cứu từ OpenAI với công trình liên quan đến bài toán Navier-Stokes.

🌍 Ngoài ra, việc tham gia không dựa vào đề cử hay bằng cấp học thuật, mà dựa trên chính sự đóng góp: liệu bài toán có được giải và chứng minh theo đúng yêu cầu hay không.

🎯 Tóm lại: Giải thưởng đưa ra một mô hình khác để vinh danh các thành tựu toán học, kết hợp toán học cơ bản, các chứng minh có thể kiểm chứng và AI, với mức thưởng có thể lên tới 1 triệu USD. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO