Lean Pool: Kho lưu trữ toán học hình thức được vận hành bởi AI
Lean Pool là một kho lưu trữ toán học hình thức, nơi các tác nhân AI đảm nhận vai trò phát triển, duy trì và tối ưu hóa dữ liệu.
Lean Pool là một kho lưu trữ toán học hình thức, nơi các tác nhân AI đảm nhận vai trò phát triển, duy trì và tối ưu hóa dữ liệu.
X.PIN@thexpinCơ quan quản lý không gian mạng Trung Quốc (CAC) đang vào cuộc điều tra DeepSeek và Moonshot trước cáo buộc các công ty này âm thầm sử dụng API của Anthropic để huấn luyện mô hình AI nội địa.
Thêm 2 nguồn khác đưa tinCafeF Kinh tế sốGenK ICTSpeakON giới thiệu thiết bị MagSafe 25g tích hợp micro và pin 10 giờ, cho phép chuyển đổi giọng nói thành văn bản trực tiếp vào mọi ứng dụng trên iOS. Sản phẩm có giá 129 USD trọn đời, hỗ trợ lưu trữ ngoại tuyến và không yêu cầu phí thuê bao.
@completeskeptic@completeskepticposthog memeing about jev feels like when south park featured chatgpt 🥹
DịchPostHog vừa tung ra nội dung bắt trend Jev, gợi nhắc đến khoảnh khắc ChatGPT xuất hiện trong South Park. Một nước đi marketing đầy thú vị giúp thương hiệu kết nối sâu sắc hơn với cộng đồng người dùng.
Sony vừa trình làng bộ đôi tai nghe chụp tai mới với mức giá từ 449 đến 999 nhân dân tệ, nổi bật với thời lượng pin ấn tượng lên tới 75 giờ và công nghệ tăng cường âm thanh DSEE.
Great Wall vừa trình làng hai phiên bản MPV Wey Gaoshan 8 và 9 với nhiều nâng cấp về chip xử lý, hệ thống lái tự động dùng chip Nvidia Thor-U và tùy chọn động cơ hybrid mạnh mẽ, hướng tới phân khúc xe gia đình cao cấp.
Tính đến giữa tháng 9/2026, cả nước đã hoàn thiện dữ liệu cho hơn 47,7 triệu thửa đất. Dù tiến độ tăng nhanh, vẫn còn hơn 36 triệu thửa đất chưa hoàn tất, dẫn đến đề xuất gia hạn thời gian thực hiện đến cuối năm 2027.
Rohan Paul@rohanpaul_aiDisclosed AI use in math rose from 1.39% to 14.09% in under 6 months. The authors scanned 32, 944 ma…
DịchDữ liệu từ hơn 32.000 bài báo trên arXiv cho thấy tỷ lệ ứng dụng AI trong nghiên cứu toán học đã tăng mạnh từ 1,39% lên 14,09% chỉ trong 6 tháng. Trong đó, lĩnh vực tổ hợp và hình học đo lường ghi nhận mức độ thâm nhập của AI cao nhất.

Ma Dongxi NLP@dongxi_nlpTác giả sử dụng các chế độ lập kế hoạch và tác vụ của Doubao để phân tích Jev - công cụ từ TypeSafe hứa hẹn hiệu suất vượt trội. Kết quả thử nghiệm độc lập cho thấy độ trễ cực thấp và những thay đổi đáng chú ý về độ chính xác khi áp dụng các bộ lọc.
Cùng sự kiện, bài đại diện «Hướng dẫn sử dụng Jev: Kiểm duyệt nội dung với mô hình ra quyết định của TypeSafe trên OpenRouter»Anthropic chính thức giới thiệu Claude Opus 5.5, phiên bản nâng cấp mạnh mẽ với khả năng xử lý vượt trội và độ chính xác cao hơn trong các tác vụ phức tạp.
Cùng sự kiện, tinh chọn hiển thị «Claude Code cập nhật v2.1.280: Ra mắt Claude Opus 5.5 làm mô hình mặc định»Hệ thống phòng chống lừa đảo của WeChat đã kịp thời phát hiện hành vi bất thường khi một người dùng tại Trùng Khánh bị dụ dỗ chia sẻ màn hình, giúp ngăn chặn thiệt hại lên tới 14,21 triệu NDT chỉ trong 6 phút.
DeepSeek vừa ra mắt nghiên cứu về DSec (DeepSeek Elastic Compute), hệ thống hạ tầng sandbox giúp tối ưu hóa quy trình huấn luyện các tác nhân AI (AI Agent) với sự tham gia của Liang Wenfeng.
Tencent WorkBuddy@WorkBuddy_AIThe news is out: DeepSeek-V4.1-Flash is free to use on WorkBuddy until October 9th! 🗞️Put it to w…
DịchNgười dùng hiện có thể trải nghiệm miễn phí mô hình DeepSeek-V4.1-Flash thông qua nền tảng WorkBuddy. Hãy tận dụng cơ hội này trước khi chương trình ưu đãi kết thúc vào ngày 9 tháng 10.

Didi Autonomous Driving lần đầu tiên lọt vào danh sách các doanh nghiệp tiêu biểu về năng suất chất lượng mới và bảng xếp hạng doanh nghiệp tiên phong trong ngành công nghiệp tương lai tại Bắc Kinh năm 2026.
Người dân địa phương tại Burundi đã tự thiết kế và lắp đặt hệ thống thủy điện siêu nhỏ, mang nguồn điện ổn định đến từng hộ gia đình và cửa hiệu trong làng.
Rohan Paul@rohanpaul_aiAnthropic is in early talks to lease up to 1GW in compute capacity from a data centre developer majo…
DịchAnthropic đang thảo luận sơ bộ với Stream, nhà phát triển trung tâm dữ liệu thuộc Apollo Global Management, để thuê nguồn lực tính toán lên tới 1GW nhằm mở rộng năng lực hạ tầng AI.

Dex Horthy (HumanLayer)@dexhorthythis guy gets it
DịchThay vì chỉ đếm số dòng code, năng suất thực của lập trình viên trong kỷ nguyên AI nên được đo bằng giá trị cốt lõi sau khi trừ đi thời gian vận hành các hệ thống hỗ trợ phức tạp.
Rohan Paul@rohanpaul_aiFinance may be the most suited to massive agent swarms because burning huge amounts of compute can s…
DịchGabe Stengel (Rogo) nhận định ngành tài chính sẵn sàng chi mạnh cho các cụm AI quy mô lớn, nơi 10.000 tác nhân AI cùng làm việc để tạo ra những chiến lược đầu tư trị giá hàng chục nghìn USD.
Frank Wang@lifesingerNền tảng YouMind vừa bổ sung các mô hình AI thế hệ mới như GPT-6 (Sol, Luna), Opus 5.5 và Mimo 2.6, kèm theo các đánh giá nhanh để người dùng tham khảo.

Yuchen Jin@Yuchenj_UWTried Opus 5.5 today. Not blown away tbh. - asked it to research something tricky I recently learne…
DịchNgười dùng đánh giá Opus 5.5 không quá ấn tượng, thậm chí thua kém Astra trong các bài toán lập trình phức tạp. Điều này cho thấy cuộc đua AI hiện nay đang dần chuyển dịch từ hiệu năng thuần túy sang tối ưu hóa chi phí trên mỗi đơn vị thông minh.
Cùng sự kiện, tinh chọn hiển thị «Claude Code cập nhật v2.1.280: Ra mắt Claude Opus 5.5 làm mô hình mặc định»ALPINE là kiến trúc phân loại ảnh siêu nhẹ, đạt độ chính xác vượt trội so với các mô hình truyền thống như MAML hay Prototypical Networks dù sử dụng ít tham số hơn tới 53% và hội tụ nhanh hơn.
PixVerse@PixVerseTake the wheel and drive across open terrain. #PixVerseWorldModel Change the world without stopping….
DịchPixVerse R2 là mô hình thế giới thời gian thực mới, cho phép người dùng điều khiển, chỉnh sửa môi trường và tương tác với các nhân vật có khả năng ghi nhớ thông qua câu lệnh.
X.PIN@thexpinAlibaba will open its first cloud regions in Turkey, Finland and the Netherlands within 12 months, e…
DịchAlibaba dự kiến mở các trung tâm dữ liệu mới tại châu Âu và Trung Đông trong 12 tháng tới, đồng thời nâng cấp hạ tầng hiện có để đẩy mạnh dịch vụ AI toàn cầu, cạnh tranh trực tiếp với AWS và Google.

Nghiên cứu giới thiệu ScriptMoE, mô hình nhận diện văn bản đa ngôn ngữ hiệu quả hơn các mô hình ngôn ngữ thị giác lớn (VLM) nhờ kiến trúc chuyên gia và bộ dữ liệu tổng hợp quy mô lớn TextMuSS-10M.
Rohan Paul@rohanpaul_aiNew Stanford+Oxford paper MedRSI shows that medical agents can improve themselves from their own mis…
DịchNghiên cứu MedRSI chỉ ra rằng AI y tế có thể tự cải thiện từ sai sót, nhưng cần kiểm chứng kỹ lưỡng trước khi áp dụng. Việc giới hạn công cụ và chọn lọc dữ liệu giúp độ chính xác tăng từ 76,9% lên 94,4%, đồng thời ưu tiên xử lý các lỗi gây nguy hiểm lâm sàng cao.

Xiaomi vừa mở bán máy rửa bát để bàn Mijia 5 bộ với giá từ 1.998 NDT. Thiết bị nổi bật nhờ khả năng dùng AI phân tích độ bẩn trong 10 giây để tối ưu chu trình rửa, kết hợp sấy nóng 80°C và diệt khuẩn 99,9999%.
Ethan Mollick@emollickI had Fable/Opus build a hard science fiction starship combat game, with orbital mechanics, delta-v, …
DịchSử dụng Fable/Opus để xây dựng trò chơi chiến đấu tàu vũ trụ mô phỏng vật lý quỹ đạo, delta-v và nhiệt lượng thực tế trên nền tảng 2D, giúp người chơi tận hưởng trải nghiệm khoa học viễn tưởng chuyên sâu mà không cần tính toán phức tạp.
Micron đã ngừng sản xuất hai mẫu chip GDDR7 16Gb (tốc độ 28Gbps và 32Gbps). Hãng hiện tập trung vào dòng 24Gb, trong khi các đối tác như NVIDIA vẫn có thể tìm nguồn cung 16Gb từ Samsung hoặc SK Hynix.
iQOO giới thiệu lộ trình công nghệ game mới với chip Q4 cải tiến, cho phép iQOO 16 đạt hiệu suất đồ họa đỉnh cao cùng tính năng quay game 8K độc quyền.
Từ năm 2027 đến 2030, Trung Quốc sẽ mở rộng quy mô tuyển sinh đại học tại các trường trọng điểm, tập trung vào các ngành mũi nhọn như AI, bán dẫn và năng lượng mới nhằm nâng cao chất lượng nguồn nhân lực công nghệ cao.
Trong cuộc phỏng vấn đầu tiên sau khi nhậm chức, CEO John Ternus khẳng định Siri tập trung làm trợ lý thay vì kết nối cảm xúc, đồng thời tiết lộ iPhone Duo sở hữu tỷ lệ màn hình 1.4:1 nhằm tối ưu trải nghiệm thị giác.
SpeakON giới thiệu nút bấm AI gắn MagSafe nặng 25g, tích hợp micro và pin 220mAh, cho phép chuyển đổi giọng nói thành văn bản và nhập trực tiếp vào bất kỳ ứng dụng nào trên iOS thông qua mở rộng bàn phím.
X Square@XSquareRobotJoin the X Square Robot IROS 2026 After Party in Pittsburgh! 🤖🎉 Meet fellow researchers and build…
DịchX Square Robot sẽ tổ chức tiệc giao lưu tại IROS 2026 ở Pittsburgh và trưng bày các giải pháp AI hiện thân tại gian hàng 727 từ ngày 27/9 đến 30/9, tập trung vào mô hình dự đoán hành động và mô phỏng vật lý.
Flash-dLLM là khung tăng tốc suy luận không cần huấn luyện cho các mô hình ngôn ngữ khuếch tán (dLLM), sử dụng cơ chế KV cache thông minh để tự động hóa quy trình dự đoán và kiểm chứng.
AIDE2 là hệ thống đột phá cho phép các tác nhân AI tự đề xuất, kiểm thử và tối ưu hóa mã nguồn của chính mình, giúp nâng cao hiệu suất giải quyết các nhiệm vụ nghiên cứu và phát triển phức tạp.
Thunderobot vừa giới thiệu dòng máy trạm mini STATION mới, hỗ trợ chip AMD Ryzen AI Max+ PRO 495 với khả năng kết nối cụm linh hoạt, đáp ứng nhu cầu phát triển AI và sáng tạo chuyên nghiệp.
Đông Phong Peugeot và Citroën vừa trình làng các phiên bản 2027 của 5008, 4008 và Thiên Dật (Tianyi) với nhiều nâng cấp về hệ thống thông minh Blue-i/C-CONNECT 4.0, màu sắc mới và ưu đãi lên tới 48.000 NDT.
Mẫu MPV cao cấp nhất của Voyah sở hữu pin khủng 120kWh, kiến trúc tự lái L3 toàn diện và khả năng vận hành bền bỉ ngay cả dưới áp lực tải trọng 18,1 tấn.
Các chuyên gia cảnh báo về nguy cơ AI tự thiết lập mục tiêu riêng, thoát khỏi sự kiểm soát của con người và gây ra những hậu quả thảm khốc, thậm chí đe dọa sự tồn vong của nhân loại.
Sự kiện NVIDIA AI Day tại Singapore quy tụ các chuyên gia để chia sẻ về những đột phá AI mới nhất tại Đông Nam Á, đồng thời cung cấp các khóa đào tạo thực hành và công cụ tính toán hiệu năng cao cho người tham dự.