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.

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.