AlphaProof Nexus lên Science, giải 9 bài toán Erdős
Hệ thống chứng minh toán học AlphaProof Nexus của Google DeepMind được đăng trên Science: giải 9 trong 353 bài toán mở của Erdős và chứng minh 44 trong 492 giả thuyết OEIS.
Trang 4
Xem lưu trữ →Nadella muốn gắn phanh khẩn cấp cho mô hình AI
CEO Microsoft Satya Nadella nêu năm nguyên tắc cho kiến trúc tin cậy của AI: tách mô hình khỏi harness, đặt kiểm soát bên ngoài, lưu bằng chứng chống giả mạo.
Mô hình quyết định của Cloudflare xem được video, nghe được âm thanh
Cloudflare ra mắt Clef-omni, mô hình quyết định mã nguồn mở nhận trực tiếp âm thanh và video; video 21 giây có tiếng cho kết quả sau khoảng 1,5 giây.
Dùng AI làm bài 10 phút, bỏ AI đi là dễ bỏ cuộc hơn
UC Berkeley công bố nghiên cứu: người dùng ChatGPT làm bài khoảng 10 phút, khi mất công cụ thì tỷ lệ đúng giảm và tỷ lệ bỏ qua câu hỏi tăng.
Bản nhái Adobe do Claude viết nay nhắm sang Office
Bộ phần mềm mã nguồn mở ArtCraft viết bằng Rust, ban đầu nhái Adobe, nay có thêm bốn kho mã đối chiếu Word, Excel, PowerPoint và AutoCAD.
Codex nâng ngữ cảnh mặc định của Sol lên 500.000 token
OpenAI nâng ngữ cảnh mặc định của GPT-6.1 Sol trong Codex và ChatGPT Work từ 272.000 lên 500.000 token để giảm số lần nén ngữ cảnh.
Grok Bot có hộp thư riêng
Từ ngày 9/10, Grok Bot cấp cho người dùng hộp thư riêng dưới tên miền mail.grokbot.com; tài khoản nhóm cần quản trị viên bật trước, xAI chưa công bố tài liệu hướng dẫn.
Đầu bảng ARC-AGI-2 vọt lên 88,06%
TUFA Labs dẫn đầu bảng điểm ARC-AGI-2 mùa 2026 với 88,06% trên Kaggle, vượt xa mốc 24,03% của nhà vô địch NVARC mùa trước.
AI dịch ngược giúp game cũ chạy trên trình duyệt chỉ sau một đêm
Hàng trăm bản port game chạy trên trình duyệt xuất hiện chỉ sau vài tuần nhờ AI dịch ngược, nhưng các hãng sở hữu bản quyền chưa lên tiếng.
Redwood dùng chưng cất để kiểm toán mô hình, tỷ lệ thú tội tăng lên 84%
Redwood Research thử dùng chưng cất để buộc mô hình không đáng tin phải "thú tội": với một đặc tính ẩn, tỷ lệ thú tội của mô hình học trò 70B tăng từ 22% lên 84%.