News 
Coin Information 
About us 
Add as a preferred source on Google
1.000 tác nhân AI dựa trên Fable 5.2 của Claude đã hình thức hóa chứng minh định lý cuối cùng của Fermat trong 30 giờ.
Anthropic công bố Fable 5.2 và Mythos 5.2 trong thông báo chính thức ngày 10 (giờ Hàn Quốc), đồng thời giới thiệu kết quả thử nghiệm. Blog kỹ thuật của Anthropic cho biết các tác nhân được cung cấp 60 mệnh đề, bản phác thảo các hướng chứng minh, định nghĩa và 47 bổ đề đã được chứng minh trong những lần hình thức hóa trước đó để mã hóa định lý bằng Lean. Các tác nhân không được truy cập internet. Trong cùng điều kiện, Claude Opus 5.5 hoàn thành 26% sau 18 giờ, rồi gần như không tiến triển thêm cho đến mốc 30 giờ.
Anthropic cũng cho biết trong thông báo này rằng Fable 5.2 đã điều phối hơn 1.000 tác nhân cấp dưới để viết, thử nghiệm và rà soát mã trong 8 ngày, tạo ra một nguyên mẫu hệ điều hành có thể khởi động trên máy tính xách tay.
Comment 0