Giải thưởng Sun Yuchen xác nhận Neel Somani là người nhận giải mới nhất! Thành công giải quyết hai bài toán JSP-000239 và JSP-000327

Tiền điện tử (120btc.CoM): Vào tối ngày 28 tháng 10 theo giờ Bắc Kinh, tài khoản mạng xã hội chính thức của Giải thưởng Sun Yuchen đã công bố đặc điểm của người nhận giải mới nhất, xác nhận nhà nghiên cứu định lượng nổi tiếng Neel Somani đã thành công giành được giải thưởng này, trở thành người giải bài chính thức cho hai bài toán khó JSP-000239 và JSP-000327 trong kho đề. Danh sách danh dự chính thức đã ghi nhận anh là người giải toán năm 2026 và ghi lại cùng với người xác thực mã tương ứng.

Là một học giả tốt nghiệp từ Đại học California, Berkeley, với nền tảng đa ngành bao gồm toán học, máy tính và quản trị kinh doanh, Somani từng làm việc tại quỹ đầu cơ hàng đầu Citadel với vai trò nhà nghiên cứu định lượng, và các thành tựu học thuật của anh đã được chọn vào các hội nghị hàng đầu về hệ thống máy tính như USENIX Security và OOPSLA. Trước đó, anh đã sử dụng công cụ chứng minh tương tác chính thức Lean để phát hiện lỗ hổng suy giảm hiệu suất trong thuật toán sắp xếp nền tảng của CPython.

Trong việc giải quyết bài toán đầu tiên JSP-000327 - tức là khám phá xem có tồn tại một số lượng hữu hạn các phương trình giữa các tích của hệ số nhị thức trung tâm khác nhau dưới các điều kiện ràng buộc cụ thể hay không, anh đã sáng tạo kết hợp chặt chẽ giữa suy diễn toán học truyền thống và các thuật toán tiên tiến. Sau khi nhập đề bài vào mô hình GPT 5.2 Pro để lấy manh mối tổ hợp ban đầu, anh đã xác minh cơ sở của đề bài thông qua các phép toán đại số thủ công chặt chẽ. Phương pháp này đã nhận được sự xác minh độc lập thực chất từ nhà toán học Daniel Larsen vào đêm bài giải được gửi đến diễn đàn học thuật chuyên nghiệp, sau đó công cụ toán học Aristotle do nhóm Harmonic phát triển đã tự động tạo ra mã Lean tương ứng, hoàn thành vòng khép kín từ suy đoán ngôn ngữ tự nhiên đến chứng minh có thể đọc được bằng máy.

Thành lập đội ngũ trường đại học để giải quyết bài toán

Sau khi chiến thắng trận đầu tiên, Somani đã nhanh chóng mở rộng nghiên cứu cá nhân thành một dự án hợp tác giữa người và máy công nghiệp. Anh đã hợp tác với các sinh viên đại học xuất sắc từ Đại học California, Berkeley, Đại học Northwestern và Đại học Rice để thành lập một đội ngũ chuyên trách, hoàn toàn kết nối với mô hình ngôn ngữ lớn để tiến hành sàng lọc hệ thống đối với kho đề mở Erdős.

Trong hệ thống giải quyết theo quy trình này, đội ngũ đã thành công giải quyết bài toán thứ hai JSP-000239 - tức là xác minh xem lớp phủ vô hạn có thể được thực hiện đồng đều bởi một tập con hữu hạn theo mật độ đo hay không. Đối với các con đường logic đã chạy, đội ngũ đã đồng nhất chuyển giao cho công cụ Aristotle để thực hiện chuyển đổi mã hình thức cơ sở. Đáng chú ý về mặt phương pháp luận, Somani đã hệ thống hóa và mã nguồn mở một bộ "hệ quy chiếu trường hợp thất bại" nhằm giúp cộng đồng học thuật xác định chính xác các rào cản của AI trong suy diễn hình thức. Trong bài phát biểu nhận giải, Somani đã bày tỏ lòng biết ơn đối với sự tài trợ của đội ngũ Sun Yuchen và nhấn mạnh rằng sự tiến bộ của AI trong lĩnh vực suy diễn toán học trong năm qua thật đáng chú ý, và mã hình thức không chỉ có thể được sử dụng để kiểm tra các định lý toán học thuần túy mà còn có thể trở thành công cụ công nghiệp quan trọng để đảm bảo tính chính xác tuyệt đối của các hệ thống phần mềm chung.

Cơ chế phát hành quy định khép kín tài chính trên chuỗi

Từ đề cử ứng viên đến chính thức gia nhập danh dự, toàn bộ hệ thống đánh giá tuân theo các quy định kiểm toán nghiêm ngặt trên chuỗi và cộng đồng mã nguồn mở. Theo hồ sơ đề xuất số 5051 trong kho mã thưởng chính thức trên GitHub:

• Điểm một: Các phương án giải bài cho hai bài toán đã được chính thức nộp vào ngày 30 tháng 9 và đưa lên mạng để công chúng xem xét;

• Điểm hai: Sau 14 ngày đánh giá đồng nghiệp từ cộng đồng mã nguồn mở mà không có ý kiến phản đối, vào ngày 14 tháng 10, chúng đã chính thức được đưa vào danh sách nhận giải cuối cùng, người khởi xướng dự án Sun Yuchen cũng đã xác nhận vào cùng ngày rằng cả hai bài toán đều đã được thông qua xác minh hình thức thành công;

• Điểm ba: Vào tối ngày 28 tháng 10 theo giờ Bắc Kinh, chính thức công bố phỏng vấn sâu với người nhận giải, tiết lộ đầy đủ chi tiết về buổi giải bài.

Về cơ chế tài chính và thanh toán giải thưởng, giải thưởng này đã thiết lập các quy tắc phân chia trách nhiệm rõ ràng. Theo quy định chính thức, quỹ giải thưởng cho mỗi bài toán được chia theo tỷ lệ 70% cho người giải bài và 30% cho người chuyển đổi mã hình thức Lean; nếu cùng một học giả đảm nhiệm cả hai chức năng độc lập, họ có thể nhận toàn bộ giải thưởng. Giải thưởng cao nhất Pinnacle lên tới 1 triệu USD, các cấp độ còn lại sẽ được thực hiện theo mức độ khó, tất cả giải thưởng sẽ được thanh toán trên chuỗi bằng hai loại stablecoin hợp pháp chính là USDT và USDC. Để phòng ngừa gian lận mạng và rủi ro rò rỉ thông tin cá nhân, sau khi thời gian công bố kết thúc, người nhận giải phải gửi thông tin danh tính và địa chỉ thanh toán qua kênh email mã hóa chính thức để hoàn tất xác minh ngoại tuyến, nghiêm cấm việc đăng tải khóa riêng hoặc địa chỉ trên chuỗi trong khu vực thảo luận công khai trên GitHub.

Nội dung này chỉ được đưa ra nhằm mục đích cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, ưu đãi trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto. Tài sản crypto có độ biến động cao và có thể dẫn đến thua lỗ.Tính khả dụng của các dịch vụ, sản phẩm và sự kiện liên quan của WEEX có thể khác nhau tùy theo khu vực. Bạn có trách nhiệm bảo đảm việc tham gia của mình tuân thủ các luật và quy định hiện hành tại địa phương.