Bản tin · 24h qua

1. Các nhà nghiên cứu Trung Quốc đạt đột phá: tác tử AI mã nguồn mở 'Hyra' giải được bài toán khiến AlphaEvolve, GPT và Claude bó tay
   Một bản in trước mới trên arXiv giải quyết một bài toán tồn tại lâu nay trong tổ hợp cộng tính, với cấu trúc then chốt do Hyra, một tác tử AI mã nguồn mở từ Tencent dựa trên mô hình Hy3, đề xuất. Dù AlphaEvolve từ Google DeepMind, GPT và Claude đã thử, không ai thành công, và lời giải của Hyra đã được xác minh chính thức trong trình trợ lý chứng minh Lean. Thành tựu này đánh dấu một cột mốc khi là kết quả toán học AI lớn đầu tiên của một mô hình mã nguồn mở, và nhà toán học Thomas Bloom đã chứng thực kết quả, thậm chí liệt kê 'Hyra' là đồng tác giả.