Rò rỉ API tiết lộ mô hình AI thử nghiệm chuyên toán Mathematica của Google
Các cấu hình API bị rò rỉ trên mạng xã hội tiết lộ rằng Google đang thử nghiệm nội bộ một mô hình AI thử nghiệm có mã hiệu 'Mathematica' dựa trên DeepThink V3. Tệp cấu hình nội bộ xác định mô hình này là `deepthink-mathematica-tf-raw-thoughts`, được tối ưu hóa đặc biệt cho các tính toán nặng và giải quyết bài toán ký hiệu phức tạp. Suy luận toán học và ký hiệu vẫn là một điểm nghẽn lớn đối với các mô hình ngôn ngữ lớn, vốn thường gặp khó khăn với các bước logic chính xác và tính toán không sai số. Một mô hình chuyên dụng như Mathematica có thể nâng cao đáng kể năng lực AI trong nghiên cứu khoa học nâng cao, chứng minh định lý tự động và tính toán kỹ thuật phức tạp. Thông số kỹ thuật rò rỉ nổi bật với cửa sổ ngữ cảnh khổng lồ lên tới 1 triệu token cùng giới hạn tạo đầu ra tối đa là 65.536 token. Cấu hình này mang nhãn 'UNSTABLE_EXPERIMENTAL' và 'Teamfood', cho thấy đây là phiên bản thử nghiệm sơ khai chưa ổn định và đang được nhân viên Google thử nghiệm nội bộ.
## KIẾN THỨC NỀN
Suy luận ký hiệu trong khoa học máy tính liên quan đến việc thao tác chính xác các biểu thức toán học, công thức và quy tắc trừu tượng, thay vì chỉ dựa vào các phép tính xấp xỉ thống kê. Các mô hình LLM dựa trên kiến trúc transformer truyền thống thường gặp trục trặc khi thực hiện các bài chứng minh toán học nhiều bước vì các lỗi tính toán nhỏ dễ dàng tích tụ. Google trước đây đã từng nghiên cứu AI toán học cấp cao, chẳng hạn như phát triển các chế độ Gemini DeepThink chuyên biệt được thiết kế cho các bài toán Kỳ thi Toán Quốc tế (IMO).