Giới thiệu chương trình học bổng học thuật #JustinSunPrize mới, nhằm khen thưởng những đột phá trong lĩnh vực toán học.

Người đóng góp có thể giải các bài toán đủ điều kiện, hệ thống hóa kết quả của mình trên Lean và nộp các chứng minh có thể kiểm chứng bằng máy thông qua kho lưu trữ mã nguồn mở trên GitHub của Giải thưởng.

Với năm hạng mục trao giải và giải thưởng cao nhất trị giá 1 triệu USD, chương trình mở cửa cho các cộng tác viên đủ điều kiện trên toàn thế giới.

Giải. Xác minh. Nhận thưởng.

Tìm hiểu thêm:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2100319343670354387