🤖 AI Daily Digest

Bản tin AI Daily: Mistral tung model giải toán và Anthropic tự phát triển thuốc

• Ai daily

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

Bản tin AI Daily: Anthropic tự đi làm thuốc và học sinh giảm điểm thi vì dùng AI

• Ai daily

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

Bản tin AI Daily: Microsoft đổ 2.5 tỷ USD deploy AI và OpenAI muốn hiến cổ phần

🔥 1. Microsoft ra mắt Frontier Company — đổ $2.5 tỷ, 6,000 kỹ sư deploy AI Microsoft chính thức thành lập Microsoft Frontier Company, một đơn vị kinh doanh mới với $2.5 tỷ cam kết và 6,000 chuyên gia kỹ thuật, tập trung triển khai AI cho doanh nghiệp. Khác với mô hình Forward-Deployed Engineer của AWS ($1B), Microsoft gọi đây là tổ chức “outcome-driven engineering” lớn nhất ngành. Đối tác đầu tiên gồm London Stock Exchange Group, Unilever, và Land O’Lakes.

Bản tin AI Daily: Together AI gọi vốn khủng 800 triệu USD và Ford thuê lại kỹ sư già

🔥 1. Together AI gọi thành công $800M, định giá lên $8.3 tỷ Together AI, nền tảng neocloud chuyên cung cấp hạ tầng cho AI training và inference, vừa kết thúc vòng gọi vốn $800M, nâng định giá công ty lên $8.3B. Đây là tín hiệu cho thấy nhu cầu về hạ tầng AI đám mây chuyên dụng vẫn đang bùng nổ, bất chấp làn sóng cắt giảm chi phí ở các mảng khác.

Bản tin AI Daily: Claude Sonnet 5 trình làng và chip AI Etched định giá 5 tỷ USD

🔥 1. Anthropic ra mắt Claude Sonnet 5 — rẻ hơn, mạnh hơn, focus vào AI agent Sonnet 5 là bản nâng cấp mid-size mới của Anthropic, được thiết kế đặc biệt để chạy AI agent với chi phí thấp hơn. Chỉ $2/M token đầu vào (giảm còn $3 sau August), model này đạt 63.2% trên agentic coding benchmark — gần bằng Opus 4.8 (69.2%) trong khi rẻ hơn đáng kể. Từ hôm nay, Sonnet 5 trở thành model mặc định cho cả Free và Pro plans. Anthropic đang chứng minh rằng agentic capability đã trở thành baseline — cuộc chơi giờ là về giá và độ tin cậy.

Bản tin AI Daily: Claude Code phản bác bác sĩ và GLM 5.2 vượt Claude về bảo mật

🔥 1. GLM 5.2 lần đầu vượt Claude trong benchmark bảo mật Zhipu AI tung GLM 5.2 — model MoE 750B tham số (40B active), MIT license, context 1M tokens — và nó đánh bại Claude Code 7 điểm F1 trong bài toán phát hiện lỗ hổng IDOR trên benchmark của Semgrep. Chi phí chỉ ~$0.17 mỗi lỗ hổng tìm được, rẻ hơn 6 lần so với frontier models. Đây là lần đầu một open-weight model trên prompt trần vượt được coding agent thương mại ở tác vụ bảo mật reasoning-heavy.

Bản tin AI Daily: Anthropic tố Alibaba đạo nhái và GPT-5.6 Sol dính phốt gian lận

🔥 1. Mỹ cho phép Anthropic phát hành Claude Mythos 5 cho tổ chức tin cậy Chính quyền Trump đã dỡ bỏ lệnh phong tỏa Claude Mythos 5 của Anthropic, cho phép hơn 100 tổ chức Mỹ (gồm các công ty lớn và cơ quan chính phủ) được sử dụng model này. Đây là bước xuống thang lớn trong cuộc đối đầu giữa chính quyền Trump và Anthropic. Tuy nhiên, Fable 5 vẫn chưa được khôi phục.

Bản tin AI Daily: Preview GPT-5.6 Sol và chip Jalapeño của OpenAI tự thiết kế

🔥 1. GPT-5.6 Sol chính thức được preview — Chính phủ Mỹ kiểm soát ai được dùng OpenAI vừa công bố dòng GPT-5.6 với ba phiên bản: Sol (flagship), Terra (cân bằng) và Luna (nhanh, rẻ). Điểm đáng chú ý nhất là chính phủ Mỹ yêu cầu OpenAI phải phê duyệt từng khách hàng trước khi dùng Sol, khiến dư luận lo ngại về một cơ chế cấp phép AI de facto. OpenAI cho biết họ không muốn đây trở thành “default” cho các bản release sau. Sol đạt SOTA trên Terminal-Bench 2.1 và GeneBench v1 với pricing $5/$30 trên 1M token.

Bản tin AI Daily: Nhân sự Gemini ồ ạt sang Anthropic và Qualcomm mua lại Modular

🔥 1. OpenAI ra mắt chip AI tùy chỉnh đầu tiên, hợp tác với Broadcom OpenAI chính thức bước chân vào lĩnh vực phần cứng với con chip AI tùy chỉnh đầu tiên, được xây dựng bởi Broadcom. Đây là cú chuyển mình chiến lược từ một công ty thuần software sang hardware, giúp OpenAI chủ động hơn trong việc tối ưu inference và giảm phụ thuộc vào Nvidia.

Bản tin AI Daily: John Jumper đầu quân cho Anthropic và thương vụ Modular 4 tỷ USD

📡 OpenAI ra mắt chip AI custom đầu tiên OpenAI chính thức công bố con chip AI đầu tiên do họ tự thiết kế, hợp tác với Broadcom. Mang tên mã “Jalapeño”, chip này được tối ưu riêng cho inference, hứa hẹn giảm phụ thuộc vào Nvidia và tối ưu chi phí vận hành. Đây là bước đi chiến lược giúp OpenAI cạnh tranh với Google (TPU) và Amazon (Trainium) trong cuộc đua chip AI custom.