AI Lab Lab Deepseek đã phát hành DeepSeek-Prover-V2-671b, một mô hình ngôn ngữ đặc biệt lớn nhằm mục đích chứng minh định lý toán học, làm cho nó có sẵn trên
Deepseek-Prover-V2-671B không phải là một chatbot chung nhưng một hệ thống chuyên môn cao nhắm mục tiêu định lý chính thức chứng minh, cụ thể sử dụng DeepSeek-Prover-V1.5 href=”https://arxiv.org/abs/2405.14333″target=”_ blank”> hoạt động của prover (tháng 5 năm 2024).
Cách tiếp cận này khác với các hệ thống AI toán học cao cấp gần đây khác. Google DeepMind từ Alphageometry2, gần đây đã vượt qua các huy chương vàng của con người trên các vấn đề hình học Olympic Toán học quốc tế (IMO), sử dụng một kiến trúc lai kết hợp một mô hình ngôn ngữ Song Tử được điều chỉnh tinh chỉnh với động cơ lý luận biểu tượng chuyên dụng (DDAR).
Alphageometry2 cũng phụ thuộc rất nhiều vào việc tạo ra một lượng lớn dữ liệu đào tạo tổng hợp (hơn 300 triệu định lý và bằng chứng) để đạt được hiệu suất của nó đối với các vấn đề hình học kiểu cạnh tranh. DeepSeek, các mô hình biểu tình trước đó ( V1.5 và NVIDIA yêu cầu tiết lộ thông tin bán hàng cho một số quốc gia châu Á để theo dõi người dùng cuối. Hơn nữa, báo cáo nhấn mạnh các mối quan tâm về sở hữu trí tuệ, đề cập đến lời khai từ OpenAI và các phát hiện từ
