Nhà Vật Lý Nobel Giorgio Parisi và AI Claude Chứng Minh Đẳng Thức Vật Lý Tồn Tại Hơn Một Thập Kỷ: a + b = 1

Trong hơn một thập kỷ, các nhà vật lý đã biết rằng hai số mũ tới hạn quan trọng trong lý thuyết về hiện tượng 'jamming' (sự chuyển đổi đột ngột của một hệ thống hạt từ trạng thái linh động sang trạng thái rắn chắc, vô trật tự) — được ký hiệu là a và b — dường như có tổng bằng 1. Các bằng chứng tính toán là vô cùng mạnh mẽ, nhưng chưa ai có thể chứng minh nó một cách giải tích. Vào năm 2026, chủ nhân giải Nobel Giorgio Parisi và Francesco Zamponi đã lấp đầy khoảng trống đó — không chỉ bằng trí tuệ con người, mà còn thông qua sự cộng tác với một AI.

Dưới đây là những gì họ khám phá, cách AI Claude của Anthropic đóng góp và ý nghĩa của chứng minh này đối với vật lý của các hệ thống vô trật tự.

Khám phá khoa học

Parisi và Zamponi đã công bố một bản in trước (preprint) trên arXiv (arXiv:2606.03300) đưa ra chứng minh giải tích đầu tiên cho đẳng thức a + b = 1 — mối quan hệ giữa hai số mũ tới hạn trong lý thuyết phá vỡ đối xứng replica hoàn chỉnh (full replica symmetry breaking - fullRSB) về quá trình chuyển pha jamming trong các hệ hình cầu cứng, đặc khít, vô định hình .

Bối cảnh của giả thuyết

Trong khuôn khổ nghiệm fullRSB được phát triển hơn một thập kỷ trước bởi Charbonneau, Kurchan, Parisi, Urbani và Zamponi (CKPUZ, 2014), ba số mũ tới hạn — a, b và c — mô tả hành vi tỷ lệ gần điểm jamming .

• Một mối quan hệ, b = (1 + c)/2, đã được chứng minh bằng giải tích từ sự cân bằng khuếch tán-trôi trong giả định tỷ lệ (scaling ansatz) .
• Mối quan hệ thứ hai, a + b = 1, đã được quan sát bằng số với độ chính xác cao trong hơn một thập kỷ, nhưng một chứng minh giải tích vẫn còn nằm ngoài tầm với .

Chứng minh tiết lộ điều gì

Đẳng thức a + b = 1 được suy ra trực tiếp từ các phương trình fullRSB tỷ lệ. Quan trọng hơn, mối quan hệ này hàm ý a = (1 - c)/2, cùng với b = (1 + c)/2, có nghĩa là cả ba số mũ đều được xác định bởi một tham số duy nhất c . Điều này làm giảm bậc tự do dự đoán của nghiệm fullRSB và củng cố tính nhất quán nội tại của lý thuyết. Nó cũng độc lập tạo ra các quan hệ tỷ lệ α = 1/(2 + θ) và κ = 2 - 2/(3 + θ), vốn đã được dự đoán trước đó bằng các lập luận ổn định cơ học biên của Wyart và các cộng sự .

Sự đóng góp của Claude (Anthropic)

Chứng minh này không chỉ đạt được nhờ một mình trí tuệ con người. Bài báo đã nêu rõ: "Chứng minh đã đạt được thông qua tương tác với Claude (Sonnet 4.6 và Opus 4.7) và đã được chúng tôi xác thực" .

Tương tác và cộng tác

• Parisi và Zamponi đã có một cuộc đối thoại kéo dài với Claude qua khoảng 40 lượt hội thoại .
• Họ đã sử dụng hai phiên bản của mô hình Claude: Sonnet 4.6 và Opus 4.7 .
• Claude đã không tạo ra một chứng minh hoàn chỉnh ngay lập tức. Thay vào đó, AI đã dần dần xây dựng gần như toàn bộ chứng minh thông qua các trao đổi qua lại. Các tác giả sau đó đã xem xét, sửa lỗi và xác thực từng bước .
• Toàn bộ nhật ký hội thoại đã được lưu trữ trên Zenodo để công chúng có thể kiểm tra .

Phân công lao động

• Claude đảm nhận việc tạo ra các thao tác đại số tiềm năng, xác định các mẫu trong các phương trình fullRSB và thực hiện các suy luận ký hiệu phức tạp .
• Parisi và Zamponi cung cấp khuôn khổ khái niệm, xác thực tính chính xác toán học và đảm bảo chứng minh phù hợp với nền tảng vật lý đã được thiết lập . Bản in trước ghi nhận rằng Opus 4.7 về cơ bản đã tự suy diễn ra chứng minh, với rất ít sự giám sát từ các tác giả .

Công bố và ý nghĩa

Bản in trước đã được đăng tải lên arXiv vào ngày 2 tháng 6 năm 2026 (cập nhật ngày 2 tháng 7 năm 2026) với tiêu đề "A proof of an identity for the critical exponents of jamming" (Một chứng minh cho một đẳng thức của các số mũ tới hạn của hiện tượng jamming) . Danh sách tác giả là Giorgio Parisi và Francesco Zamponi; Claude được ghi nhận như một công cụ AI được sử dụng trong phương pháp luận, chứ không phải là một đồng tác giả.

Các tin tức trên các trang báo như Il Fatto Quotidiano (Ý), Correio Braziliense (Brazil), 36Kr (Trung Quốc) và Digg (Mỹ) đã coi đây là một ví dụ mang tính bước ngoặt về việc một chủ nhân giải Nobel sử dụng một mô hình ngôn ngữ lớn (LLM) như một cộng sự nghiên cứu thực thụ để phá vỡ một bế tắc lý thuyết kéo dài .

Tại sao điều này lại quan trọng?

Kết quả này khép lại một khoảng trống kéo dài cả thập kỷ trong lý thuyết fullRSB về jamming — một vấn đề cơ bản trong vật lý của thủy tinh, vật liệu dạng hạt và các hệ thống vô trật tự. Nó cũng là một minh chứng nổi bật cho thấy các LLM có thể đóng góp vào vật lý lý thuyết tiên tiến như thế nào, không chỉ đơn thuần là trợ lý mà còn là những người tham gia tích cực vào việc suy diễn các chứng minh toán học không hề tầm thường.