Trí tuệ nhân tạo: DeepSeek tiên phong phát triển mô hình AI lập luận toán học có khả năng tự kiểm chứng

Ngày 28/11, công ty trí tuệ nhân tạo (AI) DeepSeek của Trung Quốc công bố mô hình AI DeepSeekMath-V2, được đánh giá là bước tiến đột phá trong lĩnh vực suy luận toán học của AI, thiết lập chuẩn hiệu suất mới và mở rộng giới hạn năng lực giải quyết vấn đề bằng máy học.
Chú thích ảnh
Biểu tượng mô hình trí tuệ nhân tạo Deepseek. Ảnh: REUTERS/TTXVN

DeepSeekMath-V2 được công khai mã nguồn trên hai nền tảng Hugging Face và GitHub. Mô hình tích hợp một khung tự xác minh nhằm kiểm tra tính hợp lý của chuỗi lập luận, bên cạnh việc tạo ra đáp án chính xác, điều mà nhiều mô hình AI hiện nay vẫn gặp hạn chế.

Kết quả đánh giá cho thấy DeepSeekMath-V2 đạt mức huy chương vàng tại Olympic Toán học quốc tế (IMO) 2025 và Olympic Toán học Trung Quốc (CMO) 2024. Đặc biệt, mô hình đạt 118/120 điểm trong kỳ thi Putnam 2024, vượt xa mức 90 điểm, kỷ lục cao nhất từng được con người thực hiện.

Năng lực suy luận logic của mô hình được kiểm tra bằng hệ thống IMO-ProofBench, bộ đánh giá chuyên dụng dùng để xác minh độ chính xác lập luận của các mô hình AI. DeepSeekMath-V2 thể hiện hiệu suất vượt trội so với nhiều mô hình tiên tiến khác, bao gồm DeepThink của DeepMind.
IMO-ProofBench vận hành theo cơ chế kiểm tra chéo: một mô hình đảm nhiệm vai trò “chứng minh”, tạo ra chuỗi lập luận toán học, trong khi mô hình còn lại giữ vai trò “thẩm định”, đánh giá mức độ chặt chẽ của lập luận. Cơ chế này cho phép phát hiện sai sót trong tư duy của mô hình, điểm yếu cố hữu của các hệ thống AI đương đại.

Theo nhóm phát triển, phương pháp tự kiểm chứng của DeepSeekMath-V2 giúp giải quyết hạn chế lớn nhất của các mô hình AI hiện nay: khả năng tạo ra câu trả lời đúng nhưng dựa trên lập luận sai hoặc không nhất quán.

DeepSeek nhận định những tiến bộ này cho thấy hướng tiếp cận "suy luận toán học tự xác minh" có tiềm năng trở thành nền tảng cốt lõi cho thế hệ AI toán học mạnh mẽ, đáng tin cậy và minh bạch hơn trong tương lai.

Đức Việt (TTXVN)

Dành cho bạn

Sức hút IPO của OpenAI, Anthropic vẫn lớn bất chấp các thông tin bất lợi

Sức hút IPO của OpenAI, Anthropic vẫn lớn bất chấp các thông tin bất lợi

Các công ty khởi nghiệp trí tuệ nhân tạo (AI) như Anthropic và OpenAI đang chuẩn bị phát hành cổ phiếu lần đầu ra công chúng (IPO). Mặc dù đối mặt với những thông tin bất lợi gần đây liên quan đến vấn đề an toàn AI hay các điều chỉnh ước tính doanh thu, sức hút của hai doanh nghiệp này đối với giới đầu tư vẫn được đánh giá ở mức cao.

Phát triển hệ sinh thái phương tiện không người lái

Phát triển hệ sinh thái phương tiện không người lái

Ngày 9/10, UBND tỉnh Tây Ninh tổ chức Hội thảo chuyên môn “Phát triển hệ sinh thái phương tiện không người lái tỉnh Tây Ninh” nhằm trao đổi các giải pháp khai thác, thúc đẩy ứng dụng phương tiện không người lái gắn với nhu cầu thực tiễn và định hướng phát triển kinh tế tầm thấp của địa phương.

Âm thầm giữ an toàn phía sau mỗi nhiệm vụ cảnh vệ

Âm thầm giữ an toàn phía sau mỗi nhiệm vụ cảnh vệ

Phía sau mỗi bữa ăn, nguồn nước phục vụ lãnh đạo Đảng, Nhà nước và khách quốc tế trong các chuyến công tác tại Thành phố Hồ Chí Minh và các tỉnh phía Nam là một quy trình kiểm nghiệm độc chất nghiêm ngặt. Từ phương pháp kiểm tra thủ công, cảm quan, công tác hóa nghiệm tại Phòng Cảnh vệ miền Nam (Phòng 180) đang từng bước chuyển sang hướng chuyên sâu, hiện đại, chủ động nhận diện nguy cơ từ sớm, từ xa.

SpaceX cạnh tranh với các nhà mạng di động Mỹ

SpaceX cạnh tranh với các nhà mạng di động Mỹ

Tập đoàn công nghệ vũ trụ SpaceX của tỷ phú Elon Musk đã đạt thỏa thuận mua lại danh mục tần số vô tuyến băng tần thấp trên toàn nước Mỹ với giá khoảng 8 tỷ USD, nhằm mở rộng dịch vụ kết nối vệ tinh trực tiếp với điện thoại di động và cạnh tranh với các nhà mạng truyền thống.

Các sản phẩm robot dịch vụ, robot giao hàng và robot thông minh được trưng bày, giới thiệu tiềm năng ứng dụng công nghệ trong thực tiễn.

Robot AI mở rộng ứng dụng thực tiễn trong y tế, công nghiệp, đời sống

Từ vận chuyển thuốc trong bệnh viện, tuần tra trạm biến áp đến vệ sinh tòa nhà, nhiều dòng robot thông minh tại Triển lãm Robot Hà Nội 2026 cho thấy tiềm năng ứng dụng ngày càng rộng rãi. Việc đưa robot vào thực tiễn giảm áp lực nhân lực, nâng cao năng suất và thúc đẩy chuyển đổi số.