Xác minh - sửa chữa - loại bỏ bộ tìm kiếm tiến hóa này thông minh hơn nhiều so với việc xếp chồng tham số một cách bạo lực, thành tích của MiniMax-M3 thực sự có thể cạnh tranh.

Xem bản gốc
CoinNetwork
MiniMax khung chứng minh toán học mã nguồn mở MaxProof, sử dụng tìm kiếm tiến hóa để đẩy M3 lên đường huy chương vàng
Thông báo từ CoinWorld, MaxProof đã mở mã nguồn và phát hành bài báo kỹ thuật, xây dựng khung thử nghiệm cho chứng minh toán học của mô hình lớn. Nó biến đổi giai đoạn suy luận thành hệ thống tìm kiếm tiến hóa, dựa vào xác minh, sửa chữa, loại bỏ để mở rộng suy luận. Trong khung này, MiniMax-M3 đã đạt điểm 35 và 36 trên bộ thử nghiệm IMO 2025 và USAMO 2026 lần lượt, đạt mức huy chương vàng, khả năng chứng minh trở nên ổn định hơn nhờ sự kết hợp của ba khả năng tạo ra, xác minh, sửa chữa.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
Không có bình luận
  • Đã ghim