🧮 Mistral ra mắt Leanstral 1.5 - model chứng minh toán hình thức, Apache-2.0
Mistral AI vừa phát hành Leanstral 1.5, mô hình ngôn ngữ chuyên về formal verification và chứng minh toán trong Lean 4. Model có 119B tham số tổng nhưng chỉ 6B active (MoE), được cấp phép Apache-2.0 hoàn toàn mở. Leanstral 1.5 đạt kết quả state-of-the-art trên miniF2F (saturate), giải 587/672 bài PutnamBench, và đạt 87% trên FATE-H. Đáng chú ý, model đã phát hiện 5 bug chưa từng được biết đến trong 57 kho mã nguồn mở thử nghiệm. Mistral cũng cung cấp API miễn phí cho model này.
Nguồn: Mistral AI Blog
🔬 Anthropic ra mắt Claude Science và tự mở chương trình phát triển thuốc
Anthropic vừa công bố Claude Science, một không gian làm việc AI được thiết kế riêng cho các nhà nghiên cứu khoa học, tích hợp sẵn các công cụ và package thông dụng. Cùng ngày, Anthropic tuyên bố tự triển khai chương trình phát triển thuốc cho các bệnh bị “bỏ quên” mà Big Pharma cho là không có lãi. Một nhà nghiên cứu tại UCSF đã dùng Claude Science để phát hiện nhiễm virus trong vài phút - thứ mà nhóm của ông đã bỏ sót suốt một năm. Claude cũng phân tích 100 bệnh di truyền hiếm gặp trong chưa đầy một giờ và xác định 32 ứng viên cho sàng lọc tính toán. CEO Novartis nhận định AI có thể rút ngắn thời gian phát triển thuốc từ 12 năm xuống còn 7-8 năm.
Nguồn: The Decoder
⚡ Anthropic đàm phán sản xuất chip AI riêng với Samsung
Theo TechCrunch, Anthropic đang thảo luận với Samsung về việc sản xuất một custom chip AI riêng, chỉ một tuần sau khi OpenAI công bố chip AI hợp tác với Broadcom. Động thái này cho thấy các công ty AI hàng đầu đều đang tìm cách tự chủ về phần cứng, giảm phụ thuộc vào NVIDIA. Dù chưa có thỏa thuận chính thức, việc Samsung có dây chuyền sản xuất chip tiên tiến (foundry) có thể giúp Anthropic tối ưu kiến trúc riêng cho Claude.
Nguồn: TechCrunch
💡 Developer Anthropic chia sẻ prompting tips cho Fable 5: tập trung tìm blind spot
Thariq Shihipar, một developer tại Anthropic, vừa chia sẻ kỹ thuật prompting cho Claude Fable 5 với luận điểm chính: chất lượng output giờ đây bị giới hạn bởi khả năng nhận ra “unknown unknowns” của người dùng. Ông đề xuất các kỹ thuật như brainstorm có mục tiêu, phỏng vấn AI theo cấu trúc, và ghi chép implementation notes chi tiết. Một insight thú vị: hướng dẫn quá cụ thể có thể khóa AI vào hướng tiếp cận sai, trong khi prompt quá mở lại cho kết quả chung chung.
Nguồn: The Decoder
🏢 Microsoft thành lập công ty triển khai AI riêng với cam kết 2.5 tỷ USD
Microsoft vừa công bố thành lập một công ty mới chuyên triển khai AI cho doanh nghiệp, với cam kết đầu tư 2.5 tỷ USD. Đây là động thái theo chân Amazon, OpenAI, và Anthropic trong việc có đội ngũ triển khai chuyên biệt. Công ty mới sẽ tập trung vào việc đưa các giải pháp AI của Microsoft (Copilot, Azure AI) vào thực tế cho các khách hàng doanh nghiệp lớn, bao gồm tư vấn, tùy chỉnh và vận hành.
Nguồn: TechCrunch