AlphaProof Nexus của Google DeepMind giải quyết 9 bài toán Erdős vào ngày 26 tháng 5, bài toán chưa được giải lâu đời nhất trong 56 năm

GateNews

2026-05-26 07:35:42

Theo xinzhiyuan, Google DeepMind đã phát hành AlphaProof Nexus vào ngày 26 tháng 5, một tác nhân toán học do AI điều khiển đã giải quyết chín bài toán mở lâu đời của Erdős, trong đó bài toán chưa được giải lâu nhất kéo dài 56 năm. Chi phí cho mỗi lời giải chỉ vào khoảng vài trăm đô la Mỹ.

Mỗi chứng minh đã được trình biên dịch Lean xác minh một cách chính thức, loại bỏ khả năng xảy ra sai sót. DeepMind cũng công bố các bước đột phá trong hình học đại số, tối ưu hóa lồi, lý thuyết đồ thị và quang học lượng tử.

Xem nguồn

Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ các nguồn bên thứ ba và chỉ mang tính chất tham khảo. Thông tin này không phản ánh quan điểm hoặc ý kiến của Gate và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Giao dịch tài sản ảo tiềm ẩn rủi ro cao. Vui lòng không chỉ dựa vào thông tin trên trang này khi đưa ra quyết định. Để biết thêm chi tiết, vui lòng xem Tuyên bố miễn trừ trách nhiệm.

Tin tức liên quan

05-25 23:49

EU dự kiến áp phạt hàng trăm triệu USD đối với Google vì vi phạm Đạo luật Thị trường kỹ thuật số

05-25 05:02

Các AI Agent đã thanh toán 73 triệu USD thông qua 176 triệu giao dịch trong 12 tháng qua

05-25 03:23

DN (DeepNode AI) tăng 70,37% trong 24 giờ qua

05-24 13:29

AI Agents thanh toán 98,6% các khoản chi bằng USDC, hoàn tất 176 triệu giao dịch on-chain trong năm qua: Keyrock

05-24 11:49

DeepSeek cắt giảm giá API V4-Pro xuống còn 25% so với chi phí ban đầu

Phân tích chuyên sâu