https://blog.luandnh.com/categories/ai-daily/ Ai-Daily - Danh mục - Luân Dương Hugo -- gohugo.iovi-VNluandnh98@gmail.com (Dương Nguyễn Hoàng Luân) luandnh98@gmail.com (Dương Nguyễn Hoàng Luân)Sun, 05 Jul 2026 07:00:00 +0700 https://blog.luandnh.com/ai-daily/2026-07-05/ Sun, 05 Jul 2026 07:00:00 +0700 luandnh98@gmail.com (Dương Nguyễn Hoàng Luân) https://blog.luandnh.com/ai-daily/2026-07-05/

🧮 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.

]]> https://blog.luandnh.com/ai-daily/2026-07-04/ Sat, 04 Jul 2026 07:00:00 +0700 luandnh98@gmail.com (Dương Nguyễn Hoàng Luân) https://blog.luandnh.com/ai-daily/2026-07-04/

🧬 Anthropic tự làm thuốc, cho thấy AI không chỉ là chatbot

Anthropic vừa tuyên bố sẽ tự phát triển thuốc cho những bệnh mà Big Pharma bỏ qua vì không có lãi. Tại sự kiện ra mắt Claude Science (AI workspace dành cho nhà nghiên cứu), Anthropic nói rõ dòng thời gian này nhằm hỗ trợ sứ mệnh phi lợi nhuận, đồng thời giúp chính họ hiểu sâu hơn về cách AI có thể ứng dụng trong khoa học.

]]>