Người đoạt Huy chương Fields mới gia nhập OpenAI để làm việc về an toàn AI

Vừa nhận được giải thưởng cao nhất trong lĩnh vực toán học, ngay sau đó đã công bố: Tôi sẽ đến OpenAI.

Jacob Tsimerman, người đứng trên bục nhận giải cùng Vương Hồng và Đặng Dục, ngay sau khi xuống bục đã biểu diễn cho mọi người xem:

Thời điểm đỉnh cao trong sự nghiệp của một nhà toán học có thể kịch tính đến mức nào.

Lý do sử dụng từ "kịch tính" chủ yếu là vì người này có quá nhiều sự tương phản:

Bạn có tin được không, một người tin rằng “AI sẽ dẫn đến sự diệt vong của nhân loại” giờ lại gia nhập một công ty AI.

Anh ấy thậm chí còn viết một bài luận nhằm phân loại « AI sẽ diệt chủng nhân loại ».

Tài khoản X của anh ấy chỉ đăng một bài viết, với chủ đề là các nhà toán học sẽ thất nghiệp như thế nào.

Tuy nhiên, hiện tại, anh ta là người đầu tiên đánh mất nghiệp vụ của một nhà toán học.

Anh ấy còn một học sinh, ba ngày trước vừa dùng Claude Fable 5 phá giải giả thuyết Jacobi treo suốt 87 năm trong một đêm, hiện đang làm việc tại Anthropic.

Bây giờ, giáo sư đã ký với OpenAI. Thầy trò, mỗi người một nhà.

Chưa dừng lại ở đó, những huyền thoại xung quanh chính Jacob cũng chất đầy…

Jacob, sinh năm 1988 tại Kazan, Nga, sau đó cùng gia đình di cư đến Israel trước khi định cư ở Canada.

Đại diện cho Canada tham dự IMO liên tiếp hai năm 2003 và 2004, giành hai huy chương vàng, trong đó huy chương năm 2004 là điểm tuyệt đối.

16 tuổi nhập học Đại học Toronto chuyên ngành Toán, hoàn thành cử nhân trong hai năm.

Năm 2011, tốt nghiệp tiến sĩ tại Princeton, giáo sư hướng dẫn là Peter Sarnak. Sau đó, trải qua chương trình danh giá của Hội đồng Học giả Harvard, quay trở lại giảng dạy tại Đại học Toronto và trở thành giáo sư chính thức trẻ nhất trong lịch sử khoa Toán của trường.

Giải thưởng này ghi nhận công trình chứng minh giả thuyết André-Oort, một bài toán cốt lõi trong lĩnh vực hình học số học đã chưa được giải quyết trong gần 40 năm.

Anh ấy cũng trở thành nhà toán học đầu tiên giành giải Fields trong thời gian làm việc tại một trường đại học ở Canada.

Nhân tiện, chính sự giá trị của giải Fields năm nay đã hơi đáng sợ: giả thuyết Kakeya, được đưa ra từ năm 1917 và vẫn chưa được giải quyết; một phần động lực học của vấn đề thứ sáu của Hilbert, được đề xuất năm 1900; cùng với André-Oort.

Ba vụ án treo suốt thế kỷ đều được giải quyết trong cùng một chu kỳ bốn năm.

Nói cách khác, Jacob là người chiến thắng trong năm toán học lớn này, vượt qua thế hệ đối thủ mạnh nhất.

IMO tuyệt đối, giáo sư trẻ tuổi nhất, người giải quyết vụ án treo 40 năm.

Chủ nhân của một bản lý lịch như vậy, theo kịch bản, nên đứng trên sân khấu cảm ơn các thầy cô và hướng tới tương lai của ngành học.

What's the result?

Vào ngày 23 tháng 7, giờ địa phương, tại Philadelphia, lễ khai mạc Đại hội Toán học Quốc tế (ICM).

Tại cuộc họp báo, khi được hỏi về kế hoạch tương lai, vị chủ nhân mới trực tiếp tiết lộ: Sẽ sớm gia nhập OpenAI, tập trung vào an toàn AI.

Tôi nghĩ thế giới đang thay đổi. Nghề nghiệp toán học mà chúng ta từng biết đến... tôi không cho rằng nó sẽ tiếp tục tồn tại như hiện tại.

Một câu nói đã biến lễ trao giải thành buổi phát hành tin chuyển nhượng.

Phản ứng từ OpenAI nhanh như giành được sản phẩm giới hạn:

Nhà nghiên cứu bảo mật, giáo sư Harvard Boaz Barak đăng tweet: Mong đợi và đón tiếp Jacob một cách “rất khiêm tốn” để cùng nhau phát triển an ninh AI.

Sebastien Bubeck, cựu phó chủ tịch Microsoft và hiện tại là thành viên của OpenAI, cũng đồng hành: Chào mừng bạn gia nhập đội ngũ, những điều thú vị sắp tới.

Khi mọi người đang cảm thấy bất ngờ hoặc ngạc nhiên về điều này, họ bắt đầu đào sâu vào các nghiên cứu và phát ngôn của anh ấy trong những năm qua.

Hóa ra, tất cả đều có dấu vết có thể theo dõi.

Mở trang chủ tài khoản X của Jacob, trên đó hiển thị anh ấy đã tham gia năm 2014.

Nhưng sau hơn mười năm, trên đó chỉ có một bài đăng, nên bài đăng này đã trở thành chìa khóa quan trọng giúp chúng ta hiểu về anh ấy.

Nội dung bài đăng là phản hồi của anh ấy đối với một bài viết của nhà toán học Daniel Litt, thảo luận về một vấn đề rất đơn giản:

Vai trò của việc giải quyết vấn đề trong nghiên cứu toán học là bao nhiêu?

Câu trả lời của anh ấy là: Gần như toàn bộ.

Sau đó, anh ấy chia sẻ một điều khá “thật lòng”. Anh ấy nói, hầu hết thời gian của mình đều dành để giải quyết các vấn đề, và chỉ cần có ai đó giải được dạng tổng quát của giả thuyết Zilber-Pink…

Toàn bộ lĩnh vực nghiên cứu chính của tôi đã biến mất.

Toàn bộ cộng đồng học thuật, gồm các nhà toán học, nghiên cứu sinh sau tiến sĩ và sinh viên sau đại học, đều xoay quanh giả thuyết này: phân tích các trường hợp đặc biệt, thử các chiến lược, tìm các phép so sánh.

Và đến ngày giả thuyết này được giải quyết, mọi người đều phải tìm lại vấn đề khác.

He described the process as "confusing, energy-draining, neither simple nor always fun."

Trước đây, người “giải được giả thuyết” chỉ có thể là một nhà toán học khác, chuyện này xảy ra một lần trong trăm năm.

Hiện tại, có thể là một mô hình, và có thể đến bất kỳ lúc nào.

Nhanh đến mức nào cụ thể? Anh ấy đã đưa ra lịch trình trong cuộc phỏng vấn trên Tạp chí Notices của Hội Toán học Hoa Kỳ năm nay:

Năm năm? Tôi nghĩ trong vòng hai năm, nó đã có thể mạnh hơn chúng ta trong việc chứng minh định lý. Khi đó, chúng ta chỉ cần nói: Đây là định đề, hãy đi chứng minh đi.

Trong bài đăng, anh ấy còn thực hiện một thí nghiệm tư tưởng: giả sử bạn đang sở hữu một máy tiên tri AI, bất kỳ mệnh đề toán học nào ném vào đều có thể lập tức xác định được đúng hay sai.

Người xây dựng lý thuyết sẽ có ngày thường như thế nào?

Bạn đưa ra một định nghĩa, rồi ngay lập tức đặt ra hàng ngàn câu hỏi về nó—từ “những tính chất cơ bản này có đúng không?” đến “à, đúng rồi, giả thuyết sâu xa này có thật không?”. Câu trả lời liên tục được trả về, và bạn liên tục điều chỉnh định nghĩa. Toàn bộ hướng nghiên cứu có thể được khai sinh và kết thúc chỉ trong vài ngày.

Anh ấy đưa ra phán quyết rất bình tĩnh nhưng đầy trọng lượng cho bối cảnh này: Đây là hai thứ hoàn toàn, hoàn toàn khác biệt so với toán học hiện đại.

Điều thú vị là chính anh ấy đã đang trải qua phiên bản đơn giản hơn của những ngày này.

Trong cùng cuộc phỏng vấn, anh tiết lộ rằng AI đã giúp hiệu suất nghiên cứu của anh tăng gấp đôi, và trong năm 2025, anh đã gửi 5 bài báo toán học lên arXiv. Quy trình làm việc hàng ngày của anh là sử dụng ChatGPT và Claude để xác định ranh giới vấn đề, tìm tài liệu tham khảo, và yêu cầu mô hình chứng minh các bổ đề:

Bằng chứng mà nó cung cấp thường là sai. Nhưng nó thường có thể rút ra phương pháp đúng hướng, giúp tôi hoàn thành 80%, phần còn lại tôi tự hoàn tất.

Nói cách khác, thiết bị oracle vẫn chưa về, nhưng anh ấy đang dùng mẫu hàng mỗi ngày.

Chính vì sử dụng sâu sắc, anh ấy đối với tâm lý của đồng nghiệp đặc biệt không khách khí:

Trong giới toán học có rất nhiều sự tự an ủi; mọi người nhìn vào việc AI hiện tại chưa bằng các nhà toán học, rồi suy luận rằng nó sẽ mãi không bao giờ bằng các nhà toán học.

Đối với những người trong ngành, câu này có lẽ đã đủ mạnh mẽ rồi.

Nhưng đối với Jacob, "AI sẽ vượt qua các nhà toán học trong vòng hai năm" chỉ là một trong những phán đoán của anh ấy mang tính ôn hòa nhất.

Phán đoán thực sự của anh ấy là:

Tôi cho rằng AI có khả năng lớn dẫn đến sự diệt vong của nhân loại.

Đây không phải là lời nói bừa. Năm 2025, bài viết thứ sáu anh ấy đăng lên arXiv hoàn toàn không phải toán học, với tiêu đề “Phân loại các tương lai diệt vong liên quan đến AI”, đồng tác giả là người bạn cũ chuyên nghiên cứu an toàn AI – Andrew Critch.

Tóm tắt được viết một cách trực tiếp: Bài viết này phân loại và đưa ra ví dụ về các sự kiện diệt vong do AI gây ra, tức là các kịch bản trong đó tất cả hoặc hầu hết nhân loại bị tiêu diệt. Những sự kiện này không phải là không thể tránh khỏi, mà là những khả năng mà chúng ta có thể nỗ lực ngăn chặn.

Một nhà toán học đạt giải Fields, với sự nghiêm túc của một bài luận khoa học, đã xây dựng một hệ thống phân loại cho "AI tiêu diệt nhân loại".

Vậy vì sao vẫn tham gia vào các công ty AI nếu sợ như vậy?

Trong cuộc phỏng vấn, anh ấy cũng đã trả lời: anh ấy ủng hộ việc tạm dừng AI, nhưng không cho rằng điều đó sẽ xảy ra. Vì không thể ngăn cản được, thay vì đứng ngoài phản đối, tốt hơn hết là tham gia vào để hiểu rõ nó và tham gia định hình nó, nếu không “chúng ta có thể bị bỏ lại phía sau”.

Đi OpenAI, đi bộ phận an ninh, thì logic mới hợp lý.

Và ở cuối bài đăng, anh ấy nói rằng có người tuyên bố làm toán chỉ để theo đuổi chân lý, và có người coi đó là động cơ cao thượng duy nhất.

Anh ấy không đồng ý.

Tôi làm toán chủ yếu vì tôi thích nó và tôi giỏi nó. Các nhà toán học cũng là con người, cần tiền, nhà ở, thực phẩm, tình yêu, vận động, và mọi dạng ý nghĩa khác nhau. Nếu niềm vui khi giải quyết vấn đề biến mất, nhiều người có thể sẽ không còn muốn tiếp tục làm toán nữa, dù vẫn còn những con đường khác.

Qua những lời này, chúng ta cũng không khó để thấy được một số lý do đằng sau các lựa chọn.

Di chuyển của Jacob khiến một điều khác đáng để xem xét:

Bốn người chiến thắng năm nay hiện đang ở đâu, ai có thể vẫn đang được các tập đoàn lớn để ý?

Trước khi giao dịch, hãy sử dụng khung do Jacob tự đăng trong bài viết của anh ấy.

Anh ấy chia công việc toán học thành hai loại: giải quyết vấn đề (problem-solving) và xây dựng lý thuyết (theory-building).

Và hiện tại, phòng thí nghiệm AI đang khao khát nhất chính là nhóm người trước đây:

Việc đưa ra mệnh đề, xác định tính đúng sai, và tìm kiếm chứng minh hoặc phản ví dụ chính là khả năng phù hợp nhất để huấn luyện và đánh giá các mô hình suy luận.

Nói cách khác, các nhà toán học càng giống “máy giải bài tập”, thì giá trị định giá trên thị trường chuyển nhượng càng cao.

Kiểm tra danh sách theo tiêu chuẩn này.

Wang Hong hiện là giáo sư tại Đại học New York và đồng thời làm việc tại Viện Nghiên cứu Khoa học Cao cấp Pháp (IHES).

Bằng chứng 127 trang về giả thuyết Kakeya mà cô và cộng sự Joshua Zahl đưa ra được gọi là “hiếm có trong trăm năm”, giúp cô trở thành nữ giới thứ ba trong lịch sử 90 năm của giải Fields.

Trước khi giành giải thưởng, cô đã đoạt một loạt giải thưởng lớn như Giải Salem, Giải Ostrowski, Giải Nghiên cứu Clay, Giải Triển vọng Mới, và là người có mức độ nổi bật học thuật cao nhất trong nhóm bốn người.

Nhà phân tích điều hòa như vậy lại đúng vào hướng mà nghiên cứu suy luận AI đang cần nhất.

Phong cách giải quyết các bài toán loại Kakeya, với các ước lượng cứng, kỹ thuật tổ hợp và từng bước tiến gần, gần như là phiên bản cao cấp của bộ đánh giá mô hình suy luận.

Cùng với lượng công chúng hàng đầu, cô ấy rất có khả năng nằm ở hàng đầu danh sách đầu mối.

Tín hiệu ngược duy nhất là:

Cô ấy vừa giành được vị trí tại IHES trong giới học thuật và đang ở giai đoạn "thời kỳ mang lại lợi ích học thuật cao nhất", nên động lực để chủ động rời đi không lớn.

Deng Yu, giáo sư Đại học Chicago, được trao giải vì công trình liên kết mô tả vi mô và vĩ mô của chất khí, tức là phần động lực học của Bài toán thứ sáu của Hilbert.

Sau khi được thông báo bí mật rằng mình đã trúng giải vào tháng Một, anh ấy đã đi dạo nhiều ngày bên bờ Hồ Michigan để bình tĩnh lại, sau đó trở về văn phòng tiếp tục công việc, “hãy coi như không có chuyện gì xảy ra”.

Chi tiết này cơ bản nói lên tất cả: Người có thể “giả như không có chuyện gì xảy ra” ngay cả khi đã nhận giải thưởng, rất có thể cũng sẽ vô cảm trước lời mời làm việc từ các tập đoàn lớn.

Hơn nữa, hướng nghiên cứu của anh ấy tập trung vào toán học vật lý và PDE, hơi xa với lĩnh vực chính hiện nay của các mô hình suy luận, và cả hai phía đều có mức độ quan tâm thấp.

Dường như là người ít có khả năng chuyển đổi nhất trong số bốn người.

John Pardon, giáo sư tại Trung tâm Hình học và Vật lý Simons, Đại học Stony Brook, chuyên ngành tô-pô symplectic.

Trong bốn người, người trẻ tuổi nhất trong số những huyền thoại đã giải quyết một vấn đề đã treo suốt 30 năm trong thời gian học đại học.

Theo phân loại của Jacob, anh ấy là kiểu "cậu bé giải bài toán" điển hình, loại hồ sơ mà các phòng thí nghiệm nhìn vào là không thể rời mắt.

Tuy nhiên, hình học trừu tượng của topology là vùng đất khó nhằn nhất mà mô hình hiện tại chưa thể xử lý, trong ngắn hạn mô hình không giúp được anh ta, và anh ta cũng không cần phải giúp mô hình.

Điểm không chắc chắn là anh ấy còn trẻ; nếu hai năm sau, AI thực sự bắt đầu tiếp cận hình học thuần túy như Jacob dự đoán, anh ấy sẽ là người cảm nhận được tác động đầu tiên và cũng là người có nhiều lợi thế nhất để chuyển ngành.

Tóm lại, một người đã đi, một người không thiếu, một người không muốn, một người không vội.

Nhưng với xu hướng hiện nay khi các phòng thí nghiệm AI cạnh tranh giành lấy các nhà toán học, danh sách này rất có thể sẽ không duy trì được lâu.

Đừng quên, cuộc chạy đua vũ trang về nhân tài toán học của Google DeepMind, OpenAI và Anthropic trong năm qua còn khốc liệt không kém cuộc đua giành kỹ sư.

至此，四位得主已全部登场。

Tuy nhiên, câu chuyện này còn một lần lật ngược cuối cùng.

Quay ngược thời gian về ba ngày trước lễ trao giải.

Vào đêm chung kết World Cup, nhà toán học Levent Alpöge đã đăng bài trên X: Giả thuyết Jacobi là sai.

Giả thuyết được đưa ra năm 1939 đã chưa được giải quyết trong 87 năm và từng xuất hiện trong danh sách những bài toán toán học nổi tiếng của Smale cho thế kỷ 21.

Ví dụ phản bác mà Alpöge đưa ra chỉ có 216 ký tự, bất kỳ nhà toán học nào cũng có thể xác minh thủ công.

Người giúp anh ta tìm ra cây kim trong đống rơm là Claude Fable 5, vừa được Anthropic phát hành tháng trước.

Anh ấy đã đặc biệt cảm ơn «fable» vì đã làm việc tăng ca trong suốt trận chung kết World Cup.

The counterexample was quickly independently verified.

Giải thưởng Fields Timothy Gowers đánh giá, đây là lần đầu tiên ông thấy LLM giải quyết một bài toán “nổi tiếng lâu năm” ngoài lĩnh vực của mình.

Một mô hình đã giải quyết một vụ án treo từ năm 1987 chỉ trong một đêm.

Tương lai mà Jacob mô tả trong bài đăng trông như thế này.

Điểm quan trọng đã đến.

Alpöge, từng là thành viên của Hội đồng Học giả Harvard, hiện là nhà toán học tại Anthropic.

Trong khi anh ấy học đại học tại Harvard, giáo viên hướng dẫn luận văn tốt nghiệp của anh ấy chính là Jacob Tsimerman, người cùng lúc đó cũng là Junior Fellow tại Harvard.

Giáo sư dự đoán trong bài đăng duy nhất rằng AI sẽ chiếm lĩnh việc giải bài toán; sinh viên tuần trước dùng AI trong một đêm bác bỏ giả thuyết tồn tại suốt trăm năm, thực hiện sớm dự ngôn của giáo sư.

Ba ngày sau, giáo sư nhận giải Fields và chính thức gia nhập OpenAI.

Và sinh viên tại Anthropic.

Hai thầy trò, mỗi người một gia đình.

Liên kết tham khảo:

[1]https://x.com/chi_t_williams/status/2080339331139424727

[2]https://x.com/torgeirlysen/status/2080393136962957471?s=20

[3]https://x.com/proofchecker/status/2080386577595822537?s=20

[4]https://x.com/Jacob_Tsimerman

[5]https://www.ams.org/journals/notices/202607/noti3372/noti3372.html

Bài viết này đến từ tài khoản công chúng WeChat “Quantum Bit”, tác giả: Yi Shui