Điểm tin AI 04-11: Anthropic chứng minh model, Google tắt AI học đường

Anthropic phát hành mã nguồn mở FlashProve để chứng minh câu trả lời đến từ đúng model mà không lộ trọng số. Google mặc định tắt AI với học sinh K-12, trường phải tự bật, và tắt nghĩa là mất luôn Search. Apple buộc app hẹn hò và bạn đồng hành AI nhận nhãn 18+.

Anthropic vừa phát hành một hệ thống mã nguồn mở cho phép người dùng kiểm tra một câu trả lời có thật sự do model mình chọn sinh ra hay không. Cùng ngày, Google thông báo sẽ tắt toàn bộ sản phẩm AI với tài khoản học sinh K-12, trừ khi quản trị viên nhà trường bật lại. Một bên đưa bằng chứng ra cho người ngoài kiểm, một bên chuyển quyền quyết định sang nhà trường.

Anthropic: bằng chứng mật mã cho từng câu trả lời

Hệ thống tên FlashProve, công bố ngày 3-11 kèm mã nguồn, bản hình thức hoá bằng Lean và mô tả kỹ thuật, phát hành theo giấy phép Apache 2.0. Cách làm dựa trên zkSNARK, loại chứng minh mật mã mà bên phục vụ gửi kèm mỗi câu trả lời một chứng nhận ngắn; người nhận kiểm tra trong vài giây mà không cần biết trọng số model, cũng không cần chạy lại model.

Vấn đề mà nó nhắm vào khá cụ thể. Khi bạn gọi model qua một dịch vụ định tuyến, không có cách nào chắc rằng token nhận được đến từ model bạn trả tiền. Dịch vụ có thể lén chuyển sang model rẻ hơn để cắt chi phí, hoặc đắt hơn để làm đẹp kết quả đánh giá. Kẻ tấn công chiếm được máy chủ suy luận cũng có thể trả lời thay mà người dùng không phát hiện, vì đầu ra trông vẫn hợp lý.

Trong bài công bố, nhóm nghiên cứu đo trên Llama 4 Maverick, model hỗn hợp chuyên gia 400 tỷ tham số, lượng tử hoá 4-bit. Một GPU H100 sinh bằng chứng với tốc độ hơn 100 token/giây, kích thước khoảng 19 MB cho một yêu cầu 1.024 token. Chi phí tính toán cao hơn chạy suy luận thường khoảng 70 đến 95 lần so với thư viện vLLM.

Con số thứ ba mới là chỗ đáng dừng lại. Mức phụ trội hai chữ số lần từng là lý do khiến người ta coi bằng chứng mật mã cho suy luận là chuyện của nhiều năm nữa. Nhóm Anthropic viết rằng kết quả này "nên cập nhật niềm tin của chúng ta về những gì có thể chứng minh bằng zero-knowledge".

Vẫn còn khoảng cách tới sản phẩm. Bài công bố gọi đây là nguyên mẫu nghiên cứu và liệt kê giới hạn: hệ thống giấu trọng số nhưng chưa giấu kiến trúc, chạy ví dụ đầy đủ cần máy GPU lớn và quyền truy cập tokenizer của Meta. Nhóm nghiên cứu nói chưa có kế hoạch triển khai tại Anthropic hay bất kỳ lab nào khác.

Một điểm dễ lẫn: Anthropic cho biết họ đã đạt mục tiêu trong Frontier Safety Roadmap bằng một dự án khác, ký nhận lưu lượng suy luận rồi tính lại trên máy chủ tin cậy. FlashProve đi theo hướng phần mềm thuần, không phụ thuộc phần cứng chống can thiệp. Cả hai cùng giải một bài toán, nhưng bản vừa công khai là bản thứ hai.

Anthropic: 58% doanh thu chạy vào compute

Bản S-1/A nộp ngày 2-11 bổ sung số liệu quý ba, và cấu trúc chi phí trong đó mới là phần đáng đọc. Doanh thu quý ba đạt 17,0 tỷ USD. Chi phí compute và hạ tầng chiếm 58% doanh thu, tăng từ 48% ở quý trước.

Con số 58% đi kèm một lời giải thích trong hồ sơ: trong quý, công ty nhận thêm 5,0 tỷ USD compute theo các hợp đồng ngắn hạn, loại "hiện có giá cao hơn đáng kể" so với compute mua theo hợp đồng nhiều năm. Cầu tăng nhanh đến mức phải mua giá cao để có hàng ngay, và biên lợi nhuận trả giá cho sự vội đó.

Hồ sơ cũng cho thấy quy mô cam kết phía trước. Anthropic ước tổng chi trả tương lai cho compute bổ sung vào khoảng 125 đến 150 tỷ USD, chưa nằm trong bảng nghĩa vụ hợp đồng. Riêng thỏa thuận với Amazon cam kết chi ít nhất 110 tỷ USD từ tháng 5-2026 đến tháng 4-2036, không phụ thuộc mức dùng thực tế, và không huỷ được trừ khi Amazon vi phạm hợp đồng chưa khắc phục.

Công ty đang thử tự chủ nguồn compute qua một hướng gọi là Anthropic Direct: thuê chip trực tiếp và đặt trong trung tâm dữ liệu do bên khác vận hành cho mình. Cách này tách cam kết thuê nhà xưởng khỏi cam kết mua máy, nhờ vậy giữ chỗ sớm mà hoãn phần chi lớn. Với tốc độ tăng trưởng hiện tại, hồ sơ tự nhận chi phí compute sẽ còn là khoản chi lớn nhất trong nhiều năm tới.

Google: AI tắt mặc định với học sinh, và Search đi theo

Từ năm học tới, các sản phẩm Gemini, Gemini Notebook, Gemini trong Classroom và Google Search sẽ tắt hoàn toàn với tài khoản học sinh K-12 cho đến khi quản trị viên nhà trường bật. Thông báo đăng ngày 3-11 của Chris Phillips, phó chủ tịch phụ trách giáo dục của Google, nói thay đổi này đến sau khi làm việc với nhà trường, giáo viên, nhà nghiên cứu và cơ quan quản lý.

Đi kèm là Guided Learning, công cụ đóng vai gia sư: thay vì đưa đáp án, nó hỏi ngược và chia bài toán thành từng bước. Guided Learning đã có mặt toàn cầu trong Google Classroom từ 3-11. Với Google Search, công ty chạy thí điểm ở một số trường tại Mỹ trong tháng này rồi mở rộng dần.

Phần rắc rối đến từ việc Google gộp AI vào chính ô tìm kiếm. Trường chọn tắt AI sẽ mất luôn Search, và học sinh nhận thông báo của nhà trường thay vì kết quả tìm kiếm. Với một hệ sinh thái chạy phần lớn bằng Chromebook và Workspace, lựa chọn đặt ra không cân: giữ Search nghĩa là chấp nhận AI Overviews, bỏ AI nghĩa là bỏ công cụ tra cứu.

Quyền quyết định vì thế dịch từ phụ huynh sang nhà trường. Trước đây phụ huynh tự bật tắt trong tài khoản con; nay mặc định là tắt, và bật hay không do người phụ trách hành chính của trường quyết. Google nói sẽ gửi hướng dẫn cụ thể trước khi thay đổi có hiệu lực, nhưng chưa nêu mốc thời gian chính xác.

Apple: app hẹn hò và bạn đồng hành AI vào nhóm 18+

Từ 16-11, App Store Connect có thêm hai mô tả nội dung mới. "Dating and Relationships" áp cho app tạo kết nối hẹn hò giữa người thật, hoặc có bạn đồng hành ảo tham gia nội dung tình cảm, tình dục. App khai mục này nhận mức tuổi tối thiểu 18+. Mô tả còn lại là "Shared Location", dùng khi app chia sẻ vị trí thật với người khác hoặc một nhóm.

Mốc thứ hai quan trọng hơn: mọi app phải hoàn tất khai báo trước 12-1-2027, kể cả khi không phát hành bản cập nhật nào khác. Apple cũng ghi rõ trường hợp Brazil, nơi quy định địa phương buộc nhãn A16 cho Shared Location và A18 cho Dating and Relationships.

Điều mới là app hẹn hò và bot tình cảm giờ chung một mô tả. Theo cách diễn đạt này, chỉ cần app có tính năng tạo kết nối tình cảm với người thật hoặc với một bạn đồng hành ảo là đủ mức 18+, không phụ thuộc mức độ nội dung. Với các app trò chuyện nhân vật ảo đang khai nhãn 12+, đây là thay đổi trực tiếp về cách phân loại.

fal: 1,3 tỷ USD cho hạ tầng chạy model ảnh và video

fal công bố vòng Series F do Bessemer Venture Partners dẫn dắt, có NVIDIA tham gia như nhà đầu tư chiến lược, cùng Sound Ventures, HOF Capital và T. Rowe Price. Công ty gọi vốn 1,3 tỷ USD ở định giá 16 tỷ USD, gấp đôi mức 8 tỷ hồi tháng 4. Vòng Series E do Sequoia dẫn dắt cũng được công bố cùng lúc, nâng tổng hai vòng lên 1,65 tỷ USD.

Sản phẩm là hạ tầng chạy model ảnh, video và âm thanh qua một API chung, khách gồm studio phim, agency quảng cáo, thương hiệu thương mại điện tử và studio game. fal còn hậu huấn luyện một số model để chạy nhanh hơn, chủ yếu ở mảng video, theo hợp đồng ăn chia doanh thu hoặc trả phí bản quyền cho bên làm model gốc.

Doanh thu tính theo năm đã vượt 800 triệu USD từ đầu năm nay, theo nguồn tin của Bloomberg. Burkay Gur, đồng sáng lập kiêm giám đốc điều hành, nói lý do vòng gọi vốn lớn đến vậy là có lúc mùa hè công ty không đáp nổi cầu và phải giới hạn tốc độ người dùng.

Câu chuyện định giá của nhóm công ty suy luận đang nóng lên nhanh hơn câu chuyện lợi nhuận. Fireworks AI đạt định giá 17,5 tỷ USD hồi tháng 7, Baseten và Modal cũng gọi được vốn lớn. Biên lợi nhuận gộp của cả nhóm vẫn mỏng vì tiền thuê compute chiếm phần lớn doanh thu, và đó là lý do các vòng gọi vốn liên tục đổ vào hạ tầng thay vì cổ tức.

Palantir: doanh thu 2,3 tỷ USD, doanh nghiệp Mỹ vượt chính phủ

Palantir báo doanh thu quý ba 2,3 tỷ USD, tăng 96% so với cùng kỳ năm trước, lần đầu vượt mốc 2 tỷ một quý. Lợi nhuận quý đạt 1,13 tỷ USD. Cơ cấu doanh thu thay đổi rõ hơn: mảng thương mại tại Mỹ đạt 984 triệu USD, tăng 148%, và lần đầu vượt doanh thu mảng chính phủ Mỹ.

Thư gửi cổ đông mô tả chu kỳ bán hàng ngắn lại: thương vụ từng mất hàng tháng hoặc hàng năm nay có thể chốt trong vài ngày đến vài tuần. Bức thư không công bố thời hạn trung bình của hợp đồng mới, nên chưa thể nói gì chắc về chuyện doanh nghiệp ký ngắn hơn hay dài hơn trước.

Loại sản phẩm bán được mới là phần đáng chú ý với người làm công nghệ. Palantir bán phần mềm cho doanh nghiệp chạy model biên hoặc tự huấn luyện model mở trong hạ tầng của mình, không đưa dữ liệu và quy trình ra ngoài. Nhu cầu đó tăng ở nhóm ngân hàng, bảo hiểm, quốc phòng, tức những nơi không thể gửi dữ liệu sang API bên thứ ba.

Netflix: tab AI Discover để chọn phim theo tâm trạng

Netflix giới thiệu AI Discover, một tab mới trên app TV, mở cho một nhóm nhỏ thành viên dùng tiếng Anh tại Mỹ trước. Trong tab, người xem chọn chủ đề theo tâm trạng ("Something Light", "Scare Me"), theo nhóm người xem ("Family Movie Night") hoặc theo thời gian rảnh ("Quick Watches"), rồi thu hẹp dần cho tới khi chọn được phim.

Mỗi phim trong kết quả có nút "Tune Your Recommendations" đặt cạnh nút Play và My List, dùng để giữ lại hoặc yêu cầu đừng gợi ý nữa. Netflix nói AI tạo ra các chủ đề và sẽ giải thích lý do có kết quả đó. Tab này chạy trên một tầng xử lý mới phản hồi theo điều người xem nói trong lúc dùng.

Cách Netflix mô tả sản phẩm này đáng chú ý: họ gọi AI Discover là bếp thử nghiệm, nơi thử công thức gợi ý mới và dùng phản hồi của người xem để quyết định giữ, sửa hay bỏ. Một số thứ thử ở đây có thể được đưa vào trải nghiệm chính.

Apple Watch: nghe lại 15 giây vừa nói

Bộ tính năng Audio Intelligence trên Apple Watch Series 12 và Ultra 4 bắt đầu thử nghiệm beta trong bản iOS 27.3 dành cho nhà phát triển. Có bốn tính năng, tất cả đều phải tự bật: nhận diện âm thanh quan trọng như còi báo, chuông cửa cho người khiếm thính; nhận diện bài hát qua Shazam; Live Rewind; và Siri Recap.

Live Rewind cho xem lại 15 giây vừa nói dưới dạng đoạn chữ trên mặt đồng hồ khi nhấn đúp núm Digital Crown. Đoạn chữ tự xoá sau 30 giây nếu không lưu, hoặc lưu vào app Siri để xem sau. Siri Recap tóm tắt cuộc trò chuyện thành một câu và vài gạch đầu dòng, mặc định tự xoá sau tối đa 7 ngày.

Apple nói hệ thống không định danh người nói, không lưu âm thanh gốc và không tạo bản ghi từng từ. Nhưng một thiết bị đeo luôn bật micro vẫn là chủ đề nhạy cảm, nhất là khi người xung quanh không biết mình đang bị ghi. Apple xử lý phần này bằng tín hiệu tại chỗ: nhấn đúp núm sẽ phát tiếng chuông và hiện hoạt ảnh để người đối diện biết có ghi âm.

Mấy điểm nối lại

• Xác thực đang thành một tầng sản phẩm riêng. FlashProve chứng minh model nào trả lời, Apple Watch phát chuông khi bắt đầu ghi âm, Google để trường tự quyết bật AI. Phần giá trị nằm ở chỗ người dùng biết chắc chuyện gì đang diễn ra, không phải ở năng lực mới nào.
• Chi phí compute vẫn là biến số khó đoán nhất. Anthropic bán được 17 tỷ một quý nhưng 58% quay lại trả compute; fal được định giá 16 tỷ với biên gộp mỏng. Doanh thu tăng chưa nói gì về lãi.
• Mặc định đang đổi chiều. AI trong trường chuyển từ bật sẵn sang tắt sẵn, app tình cảm chuyển từ nhãn 12+ lên 18+. Sau vài năm tối ưu tăng trưởng bằng cách bật mọi thứ, các bên lớn đang đẩy chi phí quyết định về phía người dùng và tổ chức.

Kỳ tới đáng theo dõi hai việc: Google có công bố mốc áp dụng cụ thể cho cơ chế bật AI theo trường hay không, và có lab nào nhận chạy thử FlashProve trên model thương mại.