AI TrackerTin AI,
chọn lọc cho dev.
Ra mắt, thay đổi giá và ngừng hỗ trợ từ mọi nhà cung cấp AI, được tóm tắt. Cùng nguồn tin với tab Tin tức trong ứng dụng.
Axiom cho biết các tác nhân AI đã hình thức hóa Định lý phân loại nhóm đơn hữu hạn trong Lean
Axiom, một công ty AI về toán học, thông báo trên X rằng họ đã hoàn tất việc tự động hình thức hóa Định lý phân loại nhóm đơn hữu hạn bằng Lean, một kết quả mà công ty gọi là “bảng tuần hoàn của tính đối xứng”. Công ty mô tả chứng minh gốc dài khoảng 15.000 trang, do hơn 100 nhà toán học thuộc nhiều thế hệ thực hiện, và gọi đây là chứng minh toán học lớn nhất trong lịch sử được máy tính kiểm chứng.
Ling phát hành trọng số mở của Ling-3.1-flash-1019 và một mô hình nền
Nhóm Ling cho biết Ling-3.1-flash-1019 hiện là mã nguồn mở, với trọng số có trên Hugging Face và ModelScope. Nhóm cũng phát hành Ling-3.1-flash-base, được mô tả là nền tảng mở để tiếp tục huấn luyện. Nhóm cho biết mô hình mới được hậu huấn luyện thêm về khả năng suy luận và quy trình tác tử trong thế giới thực.Danh mục của OpenRouter ghi ngày hết hạn 3 tháng 11 cho Meta: Llama 3.1 70B Instruct
Danh mục mô hình của OpenRouter hiện ghi ngày hết hạn là 3 tháng 11 năm 2026 cho "Meta: Llama 3.1 70B Instruct" (meta-llama/llama-3.1-70b-instruct), mô hình được niêm yết từ ngày 23 tháng 7 năm 2024 với ngữ cảnh 131.072 token. Trước đây, mục này không có ngày hết hạn. Đây là một trường trong danh mục; theo những gì chúng tôi biết, cả OpenRouter lẫn Meta đều chưa nêu lý do, và mục này cũng không cho biết điều gì sẽ xảy ra với mô hình sau ngày đó.OpenCode bổ sung plugin cho OpenCode Desktop
LukeParkerDev thông báo trên X vào ngày 27 tháng 10 về các plugin cho OpenCode Desktop, kèm video demo ngắn và đường dẫn đến tài liệu OpenCode về cách xây dựng plugin GUI. thdxr, người trích dẫn bài đăng, cho biết plugin trên desktop mở rộng cùng mô hình với plugin TUI của OpenCode, nhờ đó một gói có thể tích hợp plugin cho server, TUI và desktop, đồng thời nhận xét bảng điều khiển bên phải là nơi phù hợp để bổ sung các tính năng hữu ích. Tài khoản OpenCode cũng đăng lại bài viết.
Maya-2, mô hình giọng nói cho các ngôn ngữ Ấn Độ, được phát hành với trọng số mở
Maya-2, mô hình giọng nói (tổng hợp tiếng nói) hướng đến thị trường Ấn Độ, được công bố với trọng số mở vào ngày 27 tháng 10 dưới tên maya-research/maya2-native trên Hugging Face. Thông báo trên X cho biết mô hình hỗ trợ hơn 1,5 tỷ người trên khắp 28 bang và 8 lãnh thổ liên bang.