Mùa hè này, làng toán học chấn động liên tục—
Mô hình Astra của OpenAI một lần giải quyết 10 bài toán toán học lâu năm chưa có lời giải (bao gồm sự tồn tại của nhóm không sofic, kết quả mới về xếp cầu nhiều chiều, v.v.); Claude Fable 5 tìm ra phản ví dụ cho Giả thuyết Jacobian gần trăm năm, sau đó còn thúc đẩy mạnh mẽ Giả thuyết Riemann!
Điều này khiến Sidharth Hariharan, nghiên cứu sinh chuyên ngành toán tại Đại học Carnegie Mellon, càng thêm mơ hồ.
Trước đó, sau khi nhận được email từ Maryna Viazovska, người đoạt giải Fields 2022, anh biết rằng nghiên cứu của mình đã bị đại lý AI "Gauss" công bố trước, và đã khóc.
Một năm trước, bạn vẫn có thể coi những tiến bộ này là "tò mò hoặc phóng đại, không có tác dụng gì", nhưng tình hình đã thay đổi. Người đoạt giải Fields Terence Tao thừa nhận: Bây giờ, lập luận này không đứng vững nữa.
Ngay khi làng toán học chưa hết sóng dư, nhà vật lý Gavin E. Crooks ném một vấn đề mở cho Claude, và sau đó vài ngày toàn bộ vấn đề đã được giải quyết triệt để. Trong khi đó, ngay cả một nghiên cứu sinh vật lý có nền tảng toán học vững chắc, cũng có thể mất vài tháng cho vấn đề này.
Trong vật lý, con người cũng bị AI đánh bại!
Trong bối cảnh này, một trong những người đặt nền móng cho cơ học thống kê không cân bằng khẳng định:
Vật lý cũng sẽ bước theo vết chân của toán học.
Ông thừa nhận, giới học thuật sắp trải qua một cuộc biến đổi lớn.
Giới học thuật có hai vai trò: Thúc đẩy tri thức và Giảng dạy/Đào tạo/Hướng dẫn thế hệ tiếp theo.
Khoa học có thể sắp phát triển với tốc độ mà con người không thể theo kịp. Và vai trò kia cũng đối mặt với sự tác động:
Vậy, khi bất kỳ câu hỏi nào tôi đưa ra đều có thể được Claude trả lời nhanh hơn, chúng ta dạy và đào tạo sinh viên như thế nào?
Vấn đề chính là gì?
Để hiểu tầm quan trọng của việc này, phải quay lại với chính Crooks. Gavin E. Crooks nổi tiếng trong nhiệt động lực học và cơ học thống kê không cân bằng.
Năm 1998–1999, khi còn là nghiên cứu sinh tại Berkeley, ông đã đề xuất định lý dao động Crooks nổi tiếng, liên kết chính xác công không cân bằng với chênh lệch năng lượng tự do cân bằng, trở thành một trong những nền tảng của nhiệt động lực học ngẫu nhiên.
Chỉ riêng bài báo năm 1999, số lần trích dẫn đã lên tới hàng nghìn.
Nghiên cứu của ông lâu nay xuyên suốt vùng giao thoa giữa nhiệt động lực học, lý thuyết thông tin và khoa học máy tính, ảnh hưởng sâu sắc đến nhiệt động lực học quy mô nano, phương pháp ước tính năng lượng tự do, và thậm chí sự hình thành mô hình tính toán nhiệt động lực học sau này.
Ông từng nhận Giải thưởng Nhà khoa học và Kỹ sư Sự nghiệp Sớm của Tổng thống Mỹ (PECASE, một trong những danh hiệu cao quý nhất của chính phủ Mỹ dành cho các nhà nghiên cứu trẻ), và năm 2019 được bầu làm Hội viên Hội Vật lý Mỹ (APS Fellow), có uy tín cao trong giới học thuật liên quan.
Lần này Claude giải quyết là một bài toán nhiệt động lực học ngẫu nhiên do Crooks đưa ra.
Trong thế giới vi mô, hệ thống đôi khi có thể tạm thời "đi ngược lại định luật thứ hai của nhiệt động lực học", nhưng tỷ lệ xác suất giữa sự kiện ngược và sự kiện bình thường không tùy tiện, mà được kiểm soát chính xác bởi sự sinh entropy, và giảm đi nhanh chóng theo hàm mũ.
Điều này được mô tả là định lý dao động chi tiết đối xứng đẹp đẽ (Detailed Fluctuation Theorem, DFT)—
Câu hỏi là: Dưới ràng buộc hàm số này, các đại lượng thống kê của entropy sinh có những điều kiện ràng buộc nào?
Điều này đã sản sinh ra một loạt kết quả.
Quan hệ bất định nhiệt động lực học trao đổi (exchange TUR) của Timpanaro và cộng sự năm 2019 xuất phát từ định lý dao động trao đổi, đưa ra giới hạn dạng ma trận có thể bão hòa. Công trình của Salazar tiếp tục khai thác giới hạn chặt chẽ của DFT đối với độ lệch, xác suất đuôi, lượng thông tin.
Định lý bất định nhiệt động lực học (TUT) năm 2023 đã nâng TUR từ bất đẳng thức lên thành "định lý", làm rõ dòng chảy chính xác đạt phương sai tỷ lệ nhỏ nhất, và nhấn mạnh ảnh hưởng của mô men bậc cao của entropy sinh.
Chúng được khai quật lần lượt, nhưng vẫn thiếu một hình ảnh hình học thống nhất.
Claude đã nhận diện tất cả các kết quả cục bộ này là các phép chiếu khác nhau của cùng một vật thể lồi, và đưa ra mô tả đầy đủ theo cấp độ mô men.
Bài báo, bắt đầu từ tóm tắt, toàn bộ do Claude viết.
Câu trả lời thống nhất của Claude: Một vùng lồi, chỉ có giới hạn dưới
Minh triết cốt lõi của Claude cực kỳ sạch sẽ:
Mỗi phân phối thỏa mãn DFT, tương ứng duy nhất với một "phân phối khoảng cách" ν (tức phân phối của |σ|).
Mỗi phân phối P_a với khoảng cách cố định a chỉ có hai kết quả ±a, trọng số được cố định chặt chẽ bởi e^σ.
Do đó, bất kỳ phân phối DFT nào cũng là hỗn hợp duy nhất của hai phân phối kết quả cơ bản này.
Vùng liên hợp đạt được của các đại lượng thống kê do đó là một vật thể lồi (moment body). Quan trọng hơn, vật thể lồi này có mô tả chính xác ở mỗi bậc:
Cho trước n−1 mô men đầu tiên, mô men thứ n chỉ có thể lấy giá trị trong [một giới hạn dưới sắc nét, +∞), không có giới hạn trên. Giới hạn dưới đạt được bởi một phân phối duy nhất có hữu hạn mức kết quả đối xứng.
Mọi giới hạn DFT đã công bố trước đây, đều có thể được khôi phục thành một phép chiếu chiều thấp của vùng lồi thống nhất này.
Điều này cũng giải thích, tại sao gần như cùng một phân phối có thể đồng thời làm bão hòa tất cả các giới hạn này.
Lý thuyết này còn có thể mở rộng sang định lý dao động Crooks hai phân phối tổng quát.
Cơ chế đến từ một sự thật cấu trúc bị bỏ qua: Hàm trung bình của DFT, a·tanh(a/2), có thể viết thành tổng của các số hạng thư giãn đơn giản với trọng số dương, với cực nằm ở các bình phương lẻ.
Điều này ánh xạ toàn bộ vấn đề trực tiếp sang bài toán mô men cổ điển, nhờ các đẳng thức chính xác của định thức Wronskian và Hankel, tất cả tối ưu hóa đều rơi vào một vài phân phối nguyên tử.
Kết quả là: Hầu hết mọi giới hạn DFT đã công bố, đều trở thành phép chiếu chiều thấp (bóng) của vùng lồi thống nhất này. Cùng một phân phối hai kết quả thường đồng thời làm bão hòa nhiều giới hạn khác nhau — bởi vì tại điểm trung bình cố định, nó chính là điểm góc của vật thể lồi.
Đối với định lý dao động Crooks hai phân phối tổng quát, kênh đối xứng (tổng các mô men xuôi ngược) hoàn toàn kế thừa cùng một hệ thống cấp bậc, trong khi kênh không đối xứng hầu như không bị ràng buộc. Điều này giải thích chính xác tại sao bộ ước lượng năng lượng tự do một chiều có thể kém tùy ý, trong khi ước lượng hai chiều về bản chất là cần thiết.
Vật lý mới
Bản thân Định lý Bất định Nhiệt động lực học không phải là phát hiện hoàn toàn mới của Claude. Phiên bản cơ bản của định lý này được công bố năm 2023 bởi Kyle J. Ray, Alexander B. Boyd, Giacomo Guarnieri và James P. Crutchfield.
Claude đặt tất cả các "phép chiếu" này trở lại cùng một đối tượng hình học, và chứng minh rằng đối tượng này có thể được mô tả hoàn toàn.
Điều mới mẻ và hấp dẫn nằm ở quá trình nghiên cứu được dẫn dắt bởi AI.
Claude không chỉ đơn thuần được yêu cầu giải thích một khái niệm vật lý đã có.
Nó được sử dụng để khám phá một vấn đề lý thuyết khó khăn, kết nối các ý tưởng hiện có, và tìm kiếm cấu trúc toán học mới.
Điều này có thể trở thành một câu chuyện quan trọng hơn một kết quả nhiệt động lực học đơn lẻ:
AI đang chuyển từ việc giải quyết các vấn đề con người đã biết cách giải, sang giúp các nhà khoa học khám phá những vấn đề chúng ta chưa biết cách giải quyết.
Vật lý đang bước vào kỷ nguyên tăng tốc AI của riêng mình.
Tài liệu tham khảo:
https://www.nytimes.com/2026/06/08/science/ai-scoop-young-mathematicians.html
https://x.com/SciTechera/status/2088872862254084449https://x.com/gavincrooks/status/2088643200038883830
https://x.com/gavincrooks/status/2088643200038883830
https://x.com/gavincrooks/status/2088590113463013582?s=20
Bài viết từ tài khoản công chúng WeChat "Tân Trí Nguyên", tác giả: ASI Khải Thị Lục, biên tập: David
