MathCode là trợ lý AI trên terminal giúp chuyển đổi bài toán toán học tự nhiên thành định lý Lean 4 và tự động chứng minh. Với khả năng tối ưu hóa thời gian biên dịch xuống còn 0,4 giây, công cụ này hỗ trợ đắc lực cho các nhà toán học và lập trình viên trong việc kiểm chứng logic.
Kim@kimmonismusOpenAI đang đẩy mạnh cạnh tranh trực diện với Anthropic thông qua việc cải tiến sản phẩm và các chiến dịch truyền thông. Giới công nghệ kỳ vọng OpenAI sẽ công bố những đột phá lớn tại sự kiện dành cho nhà phát triển diễn ra sau 6 tuần nữa.
Các nhân viên Quốc hội Mỹ đang lạm dụng AI như Claude hay ChatGPT để soạn thảo văn bản. Văn phòng nghị sĩ Anna Paulina Luna vừa vô tình để nội dung từ Claude lọt vào hồ sơ chính thức của Đạo luật Ủy quyền Quốc phòng, làm dấy lên lo ngại về lỗ hổng quản lý AI tại cơ quan lập pháp.
Bản cập nhật HarmonyOS 7.0.0.102 cho dòng Mate 70/80 bổ sung tính năng quản lý mô hình AI trên thiết bị, cho phép người dùng theo dõi phiên bản và thông số của các mô hình hỗ trợ tính năng như tóm tắt cuộc gọi, chỉnh sửa văn bản và tìm kiếm ảnh.
MediaTek chính thức tích hợp mô hình Qwen 3.8 của Alibaba lên các dòng chip di động cao cấp và nền tảng buồng lái thông minh C-X1, cho phép trải nghiệm AI ngay khi ra mắt.
OpenAI cấp 1 triệu USD tiền mặt và 1 triệu USD tín dụng API cho 14 dự án độc lập nhằm nghiên cứu các cơ hội kinh tế và giải pháp xã hội trước sự phát triển của trí tuệ nhân tạo.
NLP@dongxi_nlpĐội ngũ phát triển đang nỗ lực đưa Knowledge Mem trở thành tiêu chuẩn hỗ trợ Day-0 cho các hệ thống harness, với việc tích hợp thành công trên DSH và bổ sung cơ chế hook cho Zcode.
X.PIN@thexpinStartup AI Manus quyết định hủy thương vụ bán mình trị giá 2 tỷ USD cho Meta để duy trì hoạt động độc lập sau khi đối mặt với các rào cản pháp lý tại Trung Quốc. Nhà sáng lập Xiao Hong cũng sắp được dỡ bỏ lệnh cấm xuất cảnh sau quá trình thanh tra.
Tại giải đấu robot hình người ở Bắc Kinh, các đội thi phải thực hiện nhiệm vụ nhận diện nguy hiểm, khóa van và dập lửa. Kết quả cho thấy các robot vẫn gặp khó khăn lớn trước điều kiện môi trường thực tế như ánh sáng thay đổi và thời tiết khắc nghiệt.
Android 17 QPR 2 Beta 3 tiết lộ Google đang phát triển tính năng mới cho Pixel, sử dụng mô hình Gemini Nano để phân tích thói quen dùng ứng dụng và đưa ra gợi ý tối ưu thời lượng pin cá nhân hóa.
Câu chuyện chân thực của một nhà sáng lập về những lựa chọn khó khăn, sự kiên định giữa cơn sốt vốn và những suy ngẫm sâu sắc về tương lai dài hạn của ngành phần cứng AI.
Chỉ cần chỉnh sửa tệp config.toml trong Codex bằng cách thêm các tham số cấu hình cụ thể, người dùng có thể kích hoạt cửa sổ ngữ cảnh 1 triệu token vốn chỉ dành riêng cho API.
fofr@fofrAINếu bạn không chủ động khám phá, quản lý và thử nghiệm cách các AI Agent tương tác để mở rộng giới hạn công việc, bạn đang tự đánh mất cơ hội dẫn đầu trong kỷ nguyên mới.
Odyssey@odysseymlDù được thiết kế cho môi trường ngoài trời, robot Odyssey vẫn bị phân loại là thiết bị sử dụng trong nhà, gây ra nhiều tranh luận về định nghĩa công năng sản phẩm.
DeepSeek vừa giới thiệu bản xem trước DeepSeek Harness (dsh), một khung làm việc mã nguồn mở theo giấy phép MIT cho phép tùy biến linh hoạt các thành phần như mô hình, công cụ và môi trường thông qua kiến trúc plugin.
Alibaba vừa trình làng HappyShrimp 1.0, mô hình AI cho phép tạo bài hát hoàn chỉnh từ mô tả văn bản. Công cụ này khắc phục tốt các lỗi về giọng hát và nhịp điệu, hỗ trợ đa dạng phong cách âm nhạc từ Lo-fi đến R&B.
Nhà sáng lập Chu Hồng Y tuyên bố 360 chuyển mình thành tổ chức AI Native, yêu cầu toàn bộ quản lý phải ứng dụng AI vào quy trình cốt lõi và sản phẩm, đồng thời đưa kết quả này vào đánh giá hiệu suất hàng năm.
Nhiều lập trình viên trên Hacker News đang cân nhắc quay lại tự viết code vì AI tạo ra quá nhiều mã rác và nợ kỹ thuật khó kiểm soát. Họ cho rằng việc tự tư duy logic vẫn quan trọng hơn việc để AI sinh code hàng loạt.
AI xuất hiện trong gần 40% các chiến dịch tranh cử tại Mỹ, với trọng tâm là tác động của các trung tâm dữ liệu đối với chi phí điện năng và tài nguyên địa phương.
Google chính thức hợp tác dài hạn với Arsenal, Barcelona, Bayern Munich, Liverpool và PSG để tích hợp AI Gemini và camera Pixel vào trải nghiệm bóng đá, đồng thời thúc đẩy bình đẳng truyền thông cho bóng đá nữ.
Kim@kimmonismusThông tin rò rỉ cho thấy Astra có thể được ra mắt ngay trong tuần này, hứa hẹn mang đến những cải tiến đột phá khi kết hợp cùng Codex.
Bảng xếp hạng Arena tuần 33 chứng kiến sự áp đảo của các mô hình Claude mới từ Anthropic. Trong khi đó, đại diện Việt Nam Kimi-k3-max tiếp tục thăng hạng, khẳng định vị thế trong top đầu các mô hình AI toàn cầu.
Alibaba chính thức đưa Qwen-Audio-3.0 lên nền tảng Qwen và Bailian. Dòng mô hình này bao gồm ASR, TTS và tương tác thời gian thực, hiện đang giữ vị trí số 1 thế giới trên bảng xếp hạng Artificial Analysis.
AI Notes@AYi_AInotesVới định giá IPO đạt 61 tỷ nhân dân tệ, Unitree Technology ghi nhận sự bứt phá mạnh mẽ với doanh thu 1,7 tỷ nhân dân tệ. Thành công này giúp các lãnh đạo trẻ, tiêu biểu là Giám đốc kinh doanh Trần Lập, sở hữu khối tài sản hơn 100 triệu nhân dân tệ nhờ đóng góp từ những ngày đầu khởi nghiệp.
Các trợ lý ảo Xiaoyi (Huawei), Blue Heart (vivo) và YOYO (Honor) đang thử nghiệm tích hợp 'A-Bao' của Alipay, cho phép người dùng điều khiển trực tiếp các dịch vụ tiện ích qua AI hệ thống.
Hàn Quốc đầu tư 51,1 tỷ Won xây dựng trung tâm dữ liệu dưới đáy biển tại Ulsan, dự kiến chứa 100.000 máy chủ nhằm giải quyết hạn chế về không gian và tối ưu hóa hạ tầng AI.
OpenAI vừa phát hành bản xem trước của ứng dụng ChatGPT cho Linux, hỗ trợ các bản phân phối phổ biến như Ubuntu, Debian và Fedora thông qua gói cài đặt deb và rpm.
ZHO@ZHO_ZHO_ZHODưới lăng kính của Andy Warhol, lý tưởng nghệ thuật là loại bỏ yếu tố con người để đạt đến sự tự chủ hoàn toàn. Sự bùng nổ của AI hiện nay chính là hiện thực hóa tầm nhìn đó, nơi máy móc tự tạo ra nghệ thuật mà không cần sự can thiệp của con người.
PixVerse@PixVerse_PixVerse vừa công bố bản cập nhật mô hình AI tạo video mới, tập trung vào việc cải thiện độ chân thực của chuyển động và khả năng kiểm soát chi tiết theo yêu cầu người dùng.
Kim@kimmonismusNhững dòng tweet mới nhất về GPT-Astra đang lan truyền mạnh mẽ, làm dấy lên kỳ vọng về một đợt ra mắt sản phẩm mới từ OpenAI trong thời gian tới.