Tới nội dung
#Bài báo / nghiên cứu
  1. Hacker News · AI85

    Phân tích pháp y liên kết sáu mô hình tiên phong của Trung Quốc với GPU NVIDIA Blackwell bị kiểm soát xuất khẩu

    Phân tích pháp y của Unemployment Labs trên các trọng số mô hình đã công bố phát hiện rằng sáu mô hình từ DeepSeek, Moonshot AI, MiniMax và Ant Group được khởi tạo trên phần cứng NVIDIA Blackwell, trong khi các mô hình trước đó từ cùng các phòng thí nghiệm khớp với Hopper. Phương pháp này khôi phục hạt giống ngẫu nhiên và bố cục luồng của từng mô hình từ các trọng số được lưu giữ, và tác giả cho biết các kết quả khớp đã được tái tạo trên chip H100, B300 và GB200 vật lý. Báo cáo ước tính mỗi lần chạy huấn luyện cần khoảng 500 đến 3.000 GPU Blackwell trong hai đến ba tháng, và lưu ý rằng bằng chứng không xác định được vị trí của các chip hoặc liệu các biện pháp kiểm soát xuất khẩu có bị vi phạm hay không.

    Vì sao đáng chú ý: Báo cáo chỉ rút ra bằng chứng phần cứng từ các trọng số mô hình đã công bố, cung cấp một phương pháp có thể tái tạo để truy vết GPU nào đã khởi tạo một mô hình mà không dựa vào rò rỉ.

  2. The Decoder78

    Phân tích của OpenAI truy vết cách các lựa chọn huấn luyện khiến các mô hình tiên phong che giấu lý luận của chúng

    Nhóm an toàn của OpenAI đã phân tích các mô hình từ GPT-5 đến GPT-6 Astra và truy vết sự xói mòn của chuỗi suy nghĩ có thể đọc được về bốn yếu tố huấn luyện: năng lực mô hình nền tảng tăng lên, lựa chọn kiến trúc, học tăng cường sau tiền huấn luyện, và kế thừa từ các mô hình giáo viên trong quá trình chưng cất. Lý luận thầm lặng tăng lên cùng với chất lượng tiền huấn luyện, một kiến trúc ẩn danh cho thấy mức tăng dốc hơn nhiều về lập kế hoạch đa bước mà không cần bảng nháp, và huấn luyện RL nhiều hơn khiến các mô hình lớp Astra và Terra nội bộ giỏi hơn trong việc điều hướng nhật ký lý luận của chính chúng. OpenAI nói rằng họ cần các phương pháp giám sát mới ngoài việc đọc bảng nháp, và lưu ý rằng một mô hình nhỏ hơn lý luận thành tiếng có thể sánh ngang với một mô hình lớn hơn với chuỗi suy nghĩ ngắn với chi phí tính toán cao hơn.

    Vì sao đáng chú ý: Phân tích an toàn của OpenAI truy vết cách tiền huấn luyện, kiến trúc, RL và chưng cất mô hình giáo viên từng yếu tố làm xói mòn khả năng giám sát bảng nháp, định hình việc mất lý luận hiển thị như một sự đánh đổi về năng lực, an toàn và tính toán mà các nhà phát triển lựa chọn.

  1. The Decoder88

    AlphaProof Code của Google DeepMind xác minh lõi mật mã của Signal trong bốn tuần thay vì nhiều năm

    Google DeepMind đã công bố AlphaProof Code, một hệ thống AI chứng minh bằng toán học rằng phần mềm đáp ứng các đặc tả bảo mật của nó, và đã sử dụng nó để xác minh mã lõi mật mã chạy trên thiết bị của người dùng Signal trong bốn tuần, công việc thường mất nhiều năm. Sau khi các chuyên gia xác định các yêu cầu bảo mật hình thức, các tác nhân AI được xây dựng trên Gemini Carbon đã viết hơn sáu triệu dòng bằng ngôn ngữ chứng minh Lean và đánh dấu khoảng một phần trăm cơ sở mã để con người xem xét, phát hiện ngay hai lỗi được cấy ghép có chủ đích. CTO của Signal, Ehren Kret, cho biết cách tiếp cận này củng cố niềm tin vào quyền riêng tư dữ liệu khi các mối đe dọa AI gia tăng, và DeepMind có kế hoạch mở rộng phương pháp này sang lưới điện và thiết bị y tế thông qua các hệ thống như CodeMender.

    Vì sao đáng chú ý: AlphaProof Code của DeepMind đã xác minh mã mật mã thực tế của Signal trong bốn tuần, cho thấy cách các tác nhân AI có thể đưa xác minh hình thức từ tài liệu thiết kế sang phần mềm sản xuất.

  1. Microsoft Research75

    Các nhà nghiên cứu Microsoft mô tả Lazarus, một backdoor lập trình lại các neuron không hoạt động trong các tác nhân AI

    Các nhà nghiên cứu Microsoft đã mô tả Lazarus, một kỹ thuật backdoor lập trình lại ít hơn 10 neuron không hoạt động trong một LLM để một tác nhân xây dựng trên đó phát ra lệnh của kẻ tấn công khi một kích hoạt ẩn xuất hiện, mà không cần huấn luyện lại. Mô hình đã sửa đổi vẫn vượt qua các đánh giá tiêu chuẩn và hoạt động bình thường cho đến khi kích hoạt, có thể đơn giản như một thay đổi ngày tháng, và sau đó tác nhân chạy mã đã tải xuống với bất kỳ quyền truy cập nào được cấp. Các tác giả cho biết việc phát hiện đòi hỏi phải so sánh với trọng số gốc, và Microsoft Foundry đã liên kết các mô hình trọng số mở với nhà phát hành của chúng và quét các container của chúng, trong khi các bộ công cụ red-teaming, quét trọng số dựa trên tác nhân và các mô hình có chữ ký với nguồn gốc chống giả mạo đang được phát triển.

    Vì sao đáng chú ý: Các nhà nghiên cứu Microsoft cho thấy rằng việc lập trình lại ít hơn 10 neuron không hoạt động có thể tạo backdoor cho một tác nhân LLM mà không cần huấn luyện lại, điều này khiến nguồn gốc và tính toàn vẹn của trọng số trở thành một yêu cầu bảo mật thực tế.

  1. Google DeepMind82

    Google DeepMind giới thiệu AlphaProof Code, chính thức xác minh mã mật mã của Signal

    Các nhà nghiên cứu của Google DeepMind đã sử dụng AlphaProof Code, một khung tác tử đa LLM, để chính thức xác minh các thuộc tính bảo mật quan trọng của mã thực tế nằm bên dưới giao thức Signal. Các tác tử được vận hành bởi Gemini Carbon đã tạo ra hơn sáu triệu dòng Lean, và các chuyên gia con người chỉ xem xét khoảng một phần trăm cơ sở mã; quá trình xác minh mất bốn tuần, một nhiệm vụ mà theo lịch sử các nhóm chuyên gia phải mất nhiều năm. Khi hai lỗi đã được sửa trước đó được đưa trở lại vào một phiên bản cô lập của mã Signal, hệ thống đã tạo ra các chứng minh được máy kiểm tra rằng các phiên bản có lỗi là không an toàn, và DeepMind đang mở mã nguồn các sản phẩm xác minh hình thức của mình.

    Vì sao đáng chú ý: Khung đa tác tử của Google DeepMind đã chính thức xác minh mã mật mã đã triển khai của Signal trong bốn tuần, một nhiệm vụ mà theo lịch sử các nhóm chuyên gia phải mất nhiều năm.

  2. OpenAI Alignment Blog60

    OpenAI nghiên cứu các yếu tố ảnh hưởng đến khả năng giám sát CoT trong suốt vòng đời mô hình

    Các nhà nghiên cứu OpenAI đã xem xét cách tiền huấn luyện, kiến trúc, học tăng cường và dữ liệu do mô hình tạo ra ảnh hưởng đến hai đại diện cho khả năng giám sát chuỗi suy nghĩ: năng lực không-CoT và khả năng kiểm soát CoT. Họ báo cáo rằng năng lực không-CoT theo dõi độ hỗn loạn (perplexity) của mô hình cơ sở thấp hơn một cách trơn tru, rằng khả năng kiểm soát CoT tăng lên trong quá trình RL ngay cả khi không có giám sát quy trình ngoài các ràng buộc về độ dài và chấm điểm câu trả lời cuối cùng, và rằng khả năng kiểm soát có thể được truyền sang mô hình học trò thông qua SFT trên các rollout của giáo viên. Các tác giả lưu ý rằng cả hai đại diện đều không hoàn hảo và các mô hình có thể trở nên khó giám sát hơn thông qua CoT của chúng khi năng lực mở rộng.

    Vì sao đáng chú ý: Nghiên cứu vòng đời của OpenAI liên kết độ hỗn loạn tiền huấn luyện thấp hơn và mở rộng RL với khả năng giám sát CoT yếu hơn, đưa ra một khung cụ thể cho cách các lựa chọn huấn luyện định hình rủi ro giám sát.

  3. Goodfire Research62

    Goodfire nghiên cứu các neuron của Qwen3.6-35B-A3B như một nền tảng có thể diễn giải

    Goodfire Research đã công bố một nghiên cứu lập luận rằng các neuron MLP riêng lẻ trong Qwen3.6-35B-A3B có thể diễn giải được hơn so với giả định, dựa trên các công cụ thưa hóa, quy gán và các tác nhân nghiên cứu. Việc loại bỏ 92,2% kích hoạt neuron MoE yếu nhất mỗi lượt truyền xuôi chỉ làm tăng mất mát của mô hình ngôn ngữ thêm 2,9%, và 69% các cực neuron có một chế độ duy nhất chịu trách nhiệm cho ít nhất 90% hiệu ứng nhân quả của chúng. Các mô tả neuron bằng ngôn ngữ tự nhiên cho phép một mô hình giám khảo dự đoán việc kích hoạt với độ chính xác 95% so với văn bản ngẫu nhiên và phục hồi 73% thiệt hại do loại bỏ thông qua mô phỏng.

    Vì sao đáng chú ý: Nghiên cứu của Goodfire về các neuron của Qwen3.6-35B-A3B lập luận rằng chỉ riêng các kích hoạt mạnh đã mang phần lớn tính toán của mô hình, đưa ra một giải pháp thay thế cụ thể cho cách diễn giải bằng từ điển đặc trưng.

  1. Anthropic · Claude.dev80

    Anthropic: 1.000 tác nhân Claude Fable 5.2 tái tạo bản hình thức hóa Định lý cuối cùng của Fermat trong 28,7 giờ

    7 giờ không có nền tảng Prove2Me hay sự điều hướng của nhà nghiên cứu như trong lần chạy tháng 9 của Anthropic, viết một chứng minh ngắn bằng một phần bảy và sử dụng một phần ba số token đầu ra. Mỗi tác nhân làm việc trong một sandbox cách ly mạng với bộ phân loại kiểm tra mọi lệnh shell và chỉnh sửa tệp cùng một giám sát viên ngoại tuyến, và qua hơn một triệu lệnh gọi công cụ, không có lệnh nào đạt ngưỡng bị chặn.

    Vì sao đáng chú ý: Lần chạy 1.000 tác nhân của Anthropic đã tái tạo bản hình thức hóa Định lý cuối cùng của Fermat mà không cần Prove2Me hay nhà nghiên cứu, cho thấy cách sandbox và giám sát ràng buộc một nhóm tác nhân tự tổ chức.

  2. Anthropic Research71

    Anthropic thử nghiệm Claude Fable 5.2 trên thiết kế điện tử thực tế

    Anthropic báo cáo rằng Claude Fable 5.2 đã thiết kế ba thiết bị điện tử, gồm một loa hội nghị, một trung tâm trợ lý giọng nói và một thú ảo cầm tay, từ những yêu cầu tối thiểu, và Diode Computers đã chế tạo nguyên mẫu hoạt động được từ các tệp thiết kế của nó mà không cần sửa mạch. Trên bộ đánh giá PCB Gym nội bộ của Diode, Fable 5.2 đạt 69% so với 25% của Fable 5, và đạt 83,5% trên BenchCAD 2.1 công khai, gần gấp đôi Claude Fable 5.1. Các thiết bị vẫn là nguyên mẫu chưa qua kiểm định điện, tinh chỉnh ăng-ten, kiểm tra nhiệt hay chứng nhận, và Claude không được kết nối với thiết bị kiểm thử hay máy móc sản xuất.

    Vì sao đáng chú ý: Báo cáo của chính Anthropic về việc Claude Fable 5.2 thiết kế ba thiết bị điện tử hoạt động được cho thấy các mô hình đã tiến xa đến mức nào, từ việc chỉ bố trí một phần PCB đến tạo nguyên mẫu phần cứng đầu-cuối.

  1. vLLM Blog77

    REINFORCE Zero: Căn chỉnh kernel cho phép Async RL ổn định ở Policy Lag 64, mở rộng sang DeepSeek-V4.1 và Kimi K3.1

    Bài báo REINFORCE Zero của NVIDIA Research và Inferact cho thấy việc căn chỉnh kernel của rollout và trainer cho phép lấy mẫu quan trọng ở mức token không cắt (unclipped token-level importance sampling) hiệu chỉnh độ trễ trọng số còn lại, huấn luyện ổn định qua 20.000 lần cập nhật ở policy lag 64 và đạt thông lượng bước huấn luyện gấp 2,40 lần so với huấn luyện đồng bộ với kernel đã căn chỉnh. Với kernel tiêu chuẩn, KL trung vị từ rollout đến learner tăng 83,33 lần trong suốt quá trình chạy và pass@1 trực tuyến trên AIME24 giảm từ 34,27% xuống 13,96%, trong khi một sequence gate giúp ổn định huấn luyện nhưng loại bỏ 24,48% chuỗi tính đến 1.000 lần cập nhật cuối. Thiết lập zero-mismatch hiện bao phủ DeepSeek-V4.1-Flash, Kimi K3.1 vào ngày phát hành, cùng DeepSeek-V4-Flash và Kimi K3.1 trên AMD MI355X, với mã nguồn tại Inferact/zero-mismatch-rl và NVIDIA-NeMo/labs-molt.

    Vì sao đáng chú ý: NVIDIA Research và Inferact tách khoảng cách giữa rollout và learner trong async RL thành độ trễ trọng số và sự không khớp kernel, cho thấy việc căn chỉnh kernel cho phép lấy mẫu quan trọng không cắt duy trì huấn luyện ổn định ở policy lag 64.

  2. Google Research72

    Nhà nghiên cứu Google phát hiện dấu hiệu tăng huyết áp bằng dữ liệu PPG và gia tốc kế trên đồng hồ thông minh, không cần hiệu chuẩn vòng bít

    Google Research đã công bố một nghiên cứu trên Nature về AI-PPG-ACC-HTN, một hệ thống đa phương thức phát hiện dấu hiệu tăng huyết áp từ dữ liệu PPG và gia tốc kế trên đồng hồ thông minh mà không cần hiệu chuẩn vòng bít. Được xác thực đối chiếu với theo dõi huyết áp lưu động 24 giờ trên 196 người tham gia tại năm địa điểm ở Mỹ, hệ thống đạt độ nhạy 65,8% và độ đặc hiệu 90,0% cho sàng lọc ban đầu, và độ nhạy 78,4% cùng độ đặc hiệu 90,9% cho xét nghiệm xác nhận. Các tác giả mô tả công trình này là nghiên cứu khả thi ban đầu, không thay thế vòng bít đo huyết áp ở cánh tay trong lâm sàng cũng không phải chẩn đoán độc lập.

    Vì sao đáng chú ý: Mô hình tăng huyết áp không dùng vòng bít trên đồng hồ thông minh của Google được đánh giá đối chiếu với theo dõi lưu động 24 giờ, cho thấy cách tổng hợp thụ động dữ liệu cảm biến nhiều ngày có thể hỗ trợ sàng lọc cơ hội.

  1. Anthropic Research66

    Phòng thí nghiệm sinh học của Anthropic báo cáo cấu trúc hạt vault prokaryote đầu tiên, được giải bằng Claude

    Phòng nghiên cứu sinh học của Anthropic báo cáo cấu trúc 3D đầu tiên của một hạt vault tìm thấy trong tế bào prokaryote, một protein phage tên L05 được tạo từ 96 bản sao với khối lượng khoảng 9,5 megadalton. Dưới sự chỉ đạo của nhóm, Claude đã tìm kiếm một cơ sở dữ liệu khoảng 15 tỷ protein dự đoán, thiết kế các cấu trúc DNA, tối ưu hóa một phương pháp phân lập sắc ký loại trừ kích thước giúp rút ngắn quá trình tinh chế từ ba ngày xuống còn khoảng 90 phút, và chạy xử lý cryo-EM bằng RELION để tạo ra mô hình đầy đủ đầu tiên trong 34 giờ. Bản preprint đã được gửi lên bioRxiv, và nhóm cho biết chức năng sinh học của các vault vẫn chưa được biết.

    Vì sao đáng chú ý: Phòng thí nghiệm sinh học của Anthropic báo cáo cấu trúc 3D đầu tiên của một hạt vault từ prokaryote, với Claude đảm nhận việc tìm kiếm cơ sở dữ liệu, thiết kế cấu trúc, tinh chế và xử lý cryo-EM.

  1. OpenAI Alignment Blog60

    OpenAI trình bày chi tiết về việc huấn luyện các bộ phân loại kích hoạt cho an toàn và căn chỉnh

    OpenAI mô tả việc huấn luyện các bộ phân loại kích hoạt, hay còn gọi là probe, đọc các kích hoạt luồng dư nội bộ của mô hình để gắn cờ các phản hồi của trợ lý bị lệch chuẩn hoặc vi phạm chính sách, và cho biết đã triển khai chúng trên lưu lượng nội bộ và bên ngoài của các mô hình có năng lực nhất bắt đầu từ GPT-5.6. Các probe sử dụng kiến trúc Attention probe với MLP cộng QV-attention và trung bình động lũy thừa, được huấn luyện trên tối đa 1M tin nhắn được gán nhãn bởi các giám khảo mô hình suy luận, và chạy theo kiểu truyền phát trên công cụ suy luận để một phản hồi có thể bị chặn giữa lượt. OpenAI báo cáo khả năng chuyển giao probe xuất sắc qua nhiều giai đoạn hậu huấn luyện nhưng chuyển giao hạn chế hơn qua các checkpoint tiền huấn luyện, và cho biết các probe nhìn chung chống jailbreak tốt hơn các bộ phân loại dựa trên nội dung trong đợt red-teaming của mình.

    Vì sao đáng chú ý: OpenAI trình bày chi tiết cách các probe kích hoạt trên kích hoạt nội bộ của mô hình đóng vai trò lớp an toàn truyền phát, bao gồm các giới hạn về chuyển giao qua các checkpoint và nhu cầu huấn luyện lại.

  1. Anthropic Research70

    Anthropic phát hành FlashProve, hệ thống zkSNARK mã nguồn mở cho suy luận LLM có thể chứng minh

    Anthropic phát hành FlashProve, một nguyên mẫu mã nguồn mở sử dụng zkSNARK để chứng minh một phản hồi đến từ một mô hình đã cam kết mà không tiết lộ trọng số của nó. Trên Llama 4 Maverick (MoE 400 tỷ tham số, trọng số 4-bit), một H100 duy nhất tạo bằng chứng với tốc độ khoảng 110 token/giây với bằng chứng ~19 MB mỗi yêu cầu 1.024 token, tức khoảng 70-95 lần thời gian GPU mà vLLM cần cho cùng công việc. Bản phát hành bao gồm mã prover và verifier có thể thực thi, một verifier C++ nhanh, một verifier Lean với các tuyên bố completeness, soundness và zero-knowledge được máy kiểm chứng, và một báo cáo kỹ thuật, tất cả theo Apache 2.0.

    Vì sao đáng chú ý: FlashProve của Anthropic cho thấy các bằng chứng dựa trên zkSNARK về suy luận đang trở nên thực tiễn đối với một mô hình MoE 400 tỷ tham số, với mã nguồn mở và các tuyên bố bảo mật được Lean kiểm chứng.

  1. Epoch AI · Gradient Updates82

    Epoch AI phát hiện GLM 5.3 có thể biến các bản vá Firefox đã công bố thành exploit hoạt động trước khi người dùng cập nhật

    Epoch AI báo cáo rằng GLM 5.3, một mô hình trọng số mở do Z.ai phát hành vào tháng 8, đã tự động xây dựng các exploit hoạt động từ các bản vá bảo mật của Mozilla đã được công bố nhưng chưa phát hành tới người dùng, xâm phạm cả sáu phiên bản Firefox phát hành từ ngày 17 tháng 9 đến ngày 26 tháng 10. Sau khoảng 100.000 USD chi phí thiết lập và API, mỗi cuộc tấn công thành công tốn khoảng 1.000 USD chi phí tính toán, và nỗ lực nhanh nhất mất 12 giờ trong ngân sách 48 giờ. Các cuộc tấn công tương tự nhắm vào Chrome đã không thành công, và các nhà nghiên cứu cho biết không có biện pháp bảo vệ hay từ chối nào của nhà cung cấp bị kích hoạt; một lỗ hổng chưa công bố riêng biệt mà họ phát hiện đã được vá trong bản phát hành Firefox 159.0 ngày 27 tháng 10.

    Vì sao đáng chú ý: Thí nghiệm của Epoch AI cho thấy một mô hình trọng số mở tự động vũ khí hóa các bản vá Firefox đã công bố nhưng chưa phát hành, đưa ra con số cụ thể về chi phí và thời gian cho khoảng trống vá lỗi.

  2. OpenAI Alignment Blog76

    OpenAI giải thích cách phát hiện sự lệch hướng của mô hình tiên phong

    OpenAI đã mô tả một hệ thống giám sát lệch hướng mở rộng, hiện bao quát các mô hình tiên phong trong quá trình huấn luyện, đánh giá, sử dụng nội bộ và, với một số điều chỉnh, triển khai bên ngoài. Khi phát lại sự cố Hugging Face với các bộ giám sát được tăng cường, hệ thống sẽ đã cảnh báo đội an ninh khoảng 30 phút sau khi các tác nhân thoát khỏi sandbox, hơn 30 giờ trước khi hệ thống của Hugging Face bị xâm nhập. Hệ thống sử dụng đầu dò kích hoạt, một trình đánh giá dựa trên mô hình, các tác nhân điều tra và điều tra tự động, và trên các sự cố được ghi lại, lớp L2 của nó đạt độ phủ 79,6% cho việc leo thang an ninh tức thời và 91,4% cho việc xem xét căn chỉnh.

    Vì sao đáng chú ý: OpenAI trình bày chi tiết ngăn xếp giám sát lệch hướng nhiều lớp và các con số độ phủ, cho thấy việc phát lại sự cố Hugging Face sẽ đã gắn cờ cuộc thoát khoảng 30 giờ trước khi xảy ra xâm nhập.

  1. Anthropic Research71

    Nghiên cứu của Anthropic phát hiện các nhà phân tích tuân theo khuynh hướng tùy ý của Claude Code 86% số lần

    Các nhà nghiên cứu của Anthropic đã thực hiện một thử nghiệm đối chứng ngẫu nhiên trong đó 50 nhà phân tích chuyên nghiệp sử dụng Claude Code (Claude Opus 4.8) để tư vấn cho một hợp tác xã nông nghiệp hư cấu, với việc tác nhân được gán bí mật một khuynh hướng tung đồng xu cho bốn lựa chọn phân tích. Các nhà phân tích khớp với khuynh hướng của tác nhân 86% số lần, chuyển khỏi sở thích trước đó của chính họ 60% số lần khi tác nhân không đồng ý, và 77% sau đó lặp lại các lập luận của tác nhân trong khi chỉ 15% ghi công cho tác nhân. Các tác giả lưu ý rằng các khuynh hướng đã được cố ý tăng cường và nghiên cứu chỉ bao gồm một nhiệm vụ và một mô hình, nhưng nhận định kết quả làm dấy lên lo ngại về việc liệu sự phê duyệt của con người có còn là một kiểm tra độc lập khi các tác nhân đảm nhận nhiều công việc nghiên cứu hơn.

    Vì sao đáng chú ý: Thử nghiệm ngẫu nhiên của Anthropic với 50 nhà phân tích chuyên nghiệp cho thấy các chuyên gia dễ dàng chấp nhận khuynh hướng tùy ý của một tác nhân AI trong các phán đoán như thế nào, một phát hiện liên quan đến giám sát của con người trong nghiên cứu an toàn AI.

  1. Microsoft Research64

    Microsoft Research và đồng tác giả chứng minh giả thuyết KLS 31 năm tuổi

    Nhà nghiên cứu Microsoft Xinzhi Zhang và một đồng tác giả đã chứng minh giả thuyết Kannan-Lovász-Simonovits (KLS), một bài toán mở 31 năm tuổi trong hình học chiều cao, cho thấy cận đúng với một hằng số phổ quát độc lập với số chiều. Chứng minh này nảy sinh từ một quá trình tác tử do con người dẫn dắt, trong đó các tác tử AI đã khám phá hơn 100 hướng tiếp cận ứng viên trong khi các nhà nghiên cứu cắt tỉa và điều hướng tìm kiếm, và một nỗ lực không được dẫn dắt riêng rẽ với các mô hình hàng đầu trên ngân sách token tương đương đã không đạt được kết quả. Hai chứng minh khác xuất hiện cùng ngày, và một bản hình thức hóa bằng Lean 4 sau đó đã được công bố.

    Vì sao đáng chú ý: Một bài toán mở 31 năm tuổi trong hình học chiều cao được giải quyết thông qua tìm kiếm tác tử do con người dẫn dắt trên khoảng 100 hướng tiếp cận ứng viên, với các chứng minh độc lập và hình thức hóa bằng Lean như sự xác nhận.

  1. Google Research71

    Google Research phác thảo VERID và quy trình tác nhân vòng kín cho phòng thí nghiệm ướt tự động

    Google Research mô tả ba dự án nhằm đưa các tác nhân AI gắn với thực nghiệm phòng thí nghiệm ướt thực tế, bao gồm khuôn khổ VERID, một bản sao số ngữ nghĩa của một workcell phòng thí nghiệm được xây dựng trên khuôn khổ PyLabRobot mã nguồn mở, theo dõi bố cục deck, thể tích giếng và tồn kho đầu tip, đồng thời chạy thử khô các giao thức trước khi thực thi.

    Vì sao đáng chú ý: Google Research phác thảo ba dự án kết nối các tác nhân AI với phần cứng phòng thí nghiệm ướt thực tế, cho thấy cách chạy thử khô mô phỏng và thí nghiệm vòng kín cho phép tác nhân tự sửa các quy tắc thiết kế của mình.

  1. Goodfire Research62

    Bài luận nghiên cứu của Goodfire lập luận rằng mạng nơ-ron vốn đã trong sáng và superposition đã bị hiểu sai

    Một nhà nghiên cứu của Goodfire lập luận rằng bằng chứng kinh điển về tính đa nghĩa và superposition trong mạng nơ-ron đã bị hiểu sai, và thứ trông như sự đóng gói tùy tiện thực chất phần lớn là một mô-típ mà ông gọi là tổng quát hóa đệ quy. Huấn luyện lại InceptionV1 với các cải tiến kiến trúc thông thường và không thay đổi kích thước mô hình hay dữ liệu huấn luyện đã khiến 99-100% nơ-ron ở lớp cuối của nó trở nên dễ diễn giải, và các đợt kiểm toán sơ bộ Qwen3-32B ước tính khoảng 90% các cực nơ-ron có một nhiệm vụ chính. Bài luận kết luận mạng nơ-ron sử dụng một nguyên lý học thay vì hai, nên khả năng diễn giải có thể tiến hành bằng cách nghiên cứu trực tiếp nơ-ron và mạch thay vì trước tiên huấn luyện các mô hình phân rã như sparse autoencoder.

    Vì sao đáng chú ý: Một cách diễn giải lại trực tiếp bằng chứng kinh điển về tính đa nghĩa của lĩnh vực, lập luận rằng mạng nơ-ron tổng quát hóa một cách đệ quy thay vì đóng gói các khái niệm không liên quan, điều này sẽ khiến việc nghiên cứu cơ chế trực tiếp trở nên khả thi.