SAI MỘT DẤU, ĐẮM CẢ BA CHỨNG MINH

Giả thuyết Hodge là một trong những câu hỏi mở sâu sắc nhất của toán học. Trong bài báo này, phát biểu của nó được lấy từ một chương do Pierre Deligne viết trong cuốn sách The Millennium Prize Problems của Viện Toán học Clay. Nói rất đại khái, giả thuyết cho rằng một số “hình dạng” ẩn trong tô pô của một không gian hình học được xác định bởi các phương trình đa thức luôn có thể được dựng từ những mảnh nhỏ hơn, mà bản thân chúng cũng được xác định bởi các phương trình.

Vào tháng 9 và tháng 10 năm 2026, OpenAI công bố ba tài liệu ký tên “OAI”, tuyên bố đã chứng minh giả thuyết trong những trường hợp đặc biệt: cho một số mặt gọi là mặt K3, tích của chúng, và một số không gian tám chiều. OpenAI sau đó đã rút lại cả ba. Yankı Lekili, thuộc Imperial College London, và Nick Sheridan, thuộc Đại học Edinburgh, nay giải thích chính xác chúng đã sai ở đâu.

Một lối đi hợp lệ qua tấm gương

Các tài liệu đi theo một con đường thanh nhã. Một ý tưởng mạnh mẽ gọi là đối xứng gương đồng điều (homological mirror symmetry), do Maxim Kontsevich đề xuất dưới dạng giả thuyết, liên kết một không gian hình học X với một không gian “gương” Y thuộc loại hoàn toàn khác, được nghiên cứu trong hình học symplectic — một loại hình học kế thừa từ vật lý của chuyển động, trong đó người ta đo diện tích chứ không đo độ dài. Một khi liên kết được thiết lập, một câu hỏi về X có thể được đổi thành một câu hỏi về Y.

Ở đây, để giải quyết câu hỏi Hodge cho X, chỉ cần dựng một đối tượng cụ thể trong gương Y: một hình dạng giống mặt cong gọi là phép nhúng chìm Lagrange (Lagrangian immersion), và nó còn phải không bị cản trở (unobstructed) — một điều kiện kỹ thuật khiến nó trở thành thành viên hợp lệ trong bộ công cụ của gương. Lekili và Sheridan đồng ý đây là một hướng tiếp cận hợp lệ. Vấn đề là: bản thân việc dựng các Lagrange không bị cản trở đã là một bài toán khó. Đó chính là chỗ cả ba tài liệu đổ vỡ.

Nơi các điểm giao cắt xuất hiện

Một phép nhúng chìm được phép tự cắt chính nó, và mỗi điểm giao cắt mang một con số, gọi là bậc của nó. Ở đây, các giao cắt bậc lẻ là vô hại. Các giao cắt bậc 2 có thể tạo ra một vật cản.

Trước hết, các tài liệu dựng một phép nhúng chìm thô bằng một kỹ thuật linh hoạt, nguyên lý h của Gromov và Lees. Sau đó chúng viện dẫn một định lý năm 2013 của Tobias Ekholm, Yakov Eliashberg, Emmy Murphy và Ivan Smith để chỉnh nó cho gọn gàng, sao cho mọi giao cắt đều có bậc lẻ. Khi không còn giao cắt chẵn nào, tính không bị cản trở sẽ suy ra.

Một dấu cộng lẽ ra phải là dấu trừ

Định lý năm 2013 là đúng. Nhưng nó đếm các giao cắt theo quy ước dấu ngược với quy ước chuẩn. Các tác giả của nó chưa bao giờ nói rõ điều này; họ dùng quy ước của mình một cách nhất quán, và có thể suy ra nó từ các công thức và chứng minh của họ. Các tài liệu của OpenAI thì dùng quy ước chuẩn — một dấu bị lật. Điều này quan trọng vì kết luận của định lý phụ thuộc vào việc một tổng nhất định của các giao cắt, được đếm với dấu cộng và dấu trừ, có ra số âm hay không. Các tài liệu đã dựng phép nhúng chìm sao cho tổng này âm — trường hợp mà họ tin rằng mọi giao cắt đều có thể làm thành bậc lẻ. Với dấu của chính định lý, cùng tổng đó lại dương: tức là trường hợp kia. Có vẻ như vấn đề này được Nathan Humphrey phát hiện đầu tiên và báo cho OpenAI.

Khi đọc đúng dấu, định lý kể một câu chuyện khác. Cách dựng của nó luôn để lại một điểm giao cắt bậc 2, mà Lekili và Sheridan gọi là p. Mọi giao cắt khác đều có thể làm thành lẻ; p thì ở lại. Và chỉ riêng p là đủ để phá vỡ chứng minh.

Điều này còn tệ hơn một lỗ hổng. Các tác giả chỉ ra rằng những phép nhúng chìm tạo ra theo cách này thường bị cản trở: một đĩa nhỏ “cứng” — một mặt cô lập, không thể biến dạng, có biên nằm trên phép nhúng chìm và đi qua p — tạo ra một vật cản mà, trong một chế độ nhất định, không thể triệt tiêu — và ngoài chế độ đó cũng chẳng có lý do gì để nó tự khử. Theo lời của họ, giao cắt này là “cái giá của sự linh hoạt”.

Cứng nhắc và linh hoạt

Các nhà toán học trong lĩnh vực này phân biệt những bài toán linh hoạt, vốn chịu khuất phục trước các công cụ đa năng của tô pô vi phân, với những bài toán cứng nhắc, vốn không như vậy. Các Lagrange không bị cản trở nhìn chung là cứng nhắc, và thường người ta có thể đi từ cứng nhắc sang linh hoạt chứ không đi ngược lại được. Trực giác đó đã khiến một số nhà nghiên cứu hoài nghi các tài liệu trước cả khi chúng bị rút lại. Dù vậy, các tác giả thêm một lời nhắc khiêm tốn: trực giác có thể sai, và chính định lý năm 2013 từng đi ngược lại những gì người ta chờ đợi.

Những gì còn lại

Lekili và Sheridan không phân tích phần còn lại của các lập luận, và họ liệt kê ba kết quả tích cực. Chiến lược tổng thể — tấn công giả thuyết Hodge qua đối xứng gương — là thú vị và đáng theo đuổi; nếu ai đó vượt qua được trở ngại Lagrange, các tài liệu có thể dẫn đường cho những bước kỹ thuật còn lại. Quy ước dấu ẩn giấu của bài báo năm 2013 nay đã được làm rõ. Và câu hỏi liệu các phép nhúng chìm của nó có bao giờ không bị cản trở hay không cũng vậy.