Làn sóng mua lại gặp thủy triều rút vốn, ngành tín dụng tư nhân Mỹ đối mặt với 'cơn bão rút tiền ồ ạt'

marsbitXuất bản vào 2026-03-12Cập nhật gần nhất vào 2026-03-12

Tóm tắt

Ngành công nghệ tín dụng tư nhân Mỹ (private credit) đang đối mặt với cuộc khủng hoảng rút vốn ồ ạt và thắt chặt cho vay từ các ngân hàng, đe dọa thị trường 1,8 nghìn tỷ USD. Các gã khổng lồ như Cliffwater và Morgan Stanley đã phải áp đặt hạn chế đối với các quỹ trị giá hàng chục tỷ USD để ngăn chặn việc bán tháo tài sản kém thanh khoản. Nguyên nhân cốt lõi đến từ cơ chế "arbitrage NAV" - khi giá trị tài sản trên thị trường công khai sụt giảm nhưng các quỹ tín dụng tư nhân chậm điều chỉnh định giá danh mục, tạo cơ hội cho nhà đầu tư rút vốn theo giá trị sổ sách cao hơn thực tế. Điều này kích hoạt phản ứng dây chuyền tương tự một cuộc "bank run". Đồng thời, bên cho vay cũng siết chặt hạn mức. JP Morgan đã chủ động giảm định giá một số khoản vay đối với các công ty phần mềm - nhóm được cho là dễ tổn thương trước làn sóng AI - trong danh mục của các quỹ, đánh dấu sự định giá lại rủi ro từ hệ thống ngân hàng. Sự bùng nổ của ngành trước đây dựa nhiều vào đòn bẩy từ ngân hàng và các tài sản được định giá cao trong thời kỳ đại dịch. Khi các khoản nợ sắp đáo hạn trong bối cảnh thị trường thay đổi, áp lực thanh khoản và tính minh bạch định giá sẽ tiếp tục là điểm nóng được giám sát chặt chẽ.

Tác giả gốc: Diệp Trăn

Nguồn gốc: Wall Street Insights

Ngành tín dụng tư nhân Hoa Kỳ đang phải đối mặt với sự thu hẹp thanh khoản kép và đánh giá lại tài sản. Khi các nhà đầu tư tranh nhau rút vốn và các tổ chức tài chính lớn của Phố Wall cắt giảm hạn mức tín dụng, thị trường khổng lồ trị giá 1,8 nghìn tỷ USD này đang chao đảo.

Theo tờ Financial Times của Anh, gã khổng lồ tín dụng tư nhân Cliffwater và Morgan Stanley gần đây đã áp đặt các hạn chế mua lại đối với các quỹ trị giá hàng tỷ USD của họ. Trong quý đầu tiên, các quỹ bán thanh khoản này đã chứng kiến các yêu cầu rút tiền tăng vọt, quy mô dòng tiền ra buộc ban quản lý phải kích hoạt "cổng", để tránh bán tháo tài sản cơ bản kém thanh khoản với giá chiết khấu.

Trong khi chịu áp lực từ phía nguồn vốn, các tổ chức tín dụng tư nhân cũng gặp phải sự thắt chặt từ các ngân hàng lớn trong việc huy động vốn. JPMorgan Chase gần đây đã thông báo cho các tổ chức liên quan về việc giảm giá trị tài sản thế chấp đối với một số khoản vay phần mềm trong danh mục đầu tư của họ. Mặc dù động thái này không ngay lập tức kích hoạt thông báo ký quỹ bổ sung, nhưng nó trực tiếp làm giảm quy mô tài chính mà các quỹ có thể nhận được trong tương lai, đánh dấu một sự đánh giá lại toàn diện của hệ thống ngân hàng truyền thống đối với việc mở rộng rủi ro trong lĩnh vực này.

Trọng tâm của sự ép kép này nằm ở logic arbitrage giá trị tài sản ròng (NAV). Khi giá trị tài sản liên quan trên thị trường công khai giảm mạnh, các tổ chức tín dụng tư nhân đã không điều chỉnh giảm định giá nắm giữ của họ một cách đồng bộ, thúc đẩy các nhà đầu tư tranh nhau chốt lời theo giá sổ sách cao hơn giá trị hợp lý của thị trường. Phản ứng dây chuyền tương tự như một cuộc rút tiền ngân hàng này không chỉ làm tăng áp lực thanh khoản của quỹ mà còn buộc thị trường phải xem xét lại định giá thực tế của tài sản tín dụng tư nhân.

(Giá cổ phiếu của các công ty tín dụng tư nhân tiếp tục giảm)

Làn sóng mua lại lan rộng, các quỹ bán thanh khoản đối mặt với thử thách lớn

Theo tờ Financial Times của Anh, Cliffwater đã hạn chế mua lại đối với quỹ đầu tư trị giá 33 tỷ USD (CCLFX) của mình trong quý đầu tiên. Quỹ này đã nhận được các yêu cầu mua lại chiếm 14% tổng số cổ phần và cuối cùng chỉ phê duyệt khoảng một nửa, mua lại 7% cổ phần.

Chỉ vài giờ sau khi Cliffwater hành động, Morgan Stanley cũng thông báo cho các nhà đầu tư của Quỹ Thu nhập Tư nhân North Haven trị giá 7,6 tỷ USD rằng sẽ hạn chế rút tiền. Các yêu cầu mua lại của quỹ này trong quý đầu tiên đã tăng vọt lên 10,9% và cuối cùng chỉ đáp ứng được 45,8% số cổ phần.

Trong vài tháng gần đây, xu hướng này đã lan rộng khắp ngành. HPS gần đây đã đặt giới hạn mua lại là 5% đối với quỹ đầu tư chính dành cho khách hàng cá nhân có giá trị ròng cao. Quỹ Bcred của Blackstone đã thanh toán đầy đủ sau khi yêu cầu mua lại đạt 7,9% giá trị tài sản ròng, trong khi Blue Owl và Ares trước đó cũng đã đáp ứng các yêu cầu mua lại cao, mặc dù Blue Owl năm nay đã áp dụng hạn chế mua lại vĩnh viễn đối với một quỹ khác.

Cliffwater đã huy động được 16,5 tỷ USD vào năm ngoái, tốc độ mở rộng quy mô ngang bằng với gã khổng lồ trong ngành KKR. Tuy nhiên, mô hình phụ thuộc vào các nhà môi giới độc lập để quản lý tiền của các nhà đầu tư bán lẻ khiến họ dễ bị tổn thương hơn trước những biến động tâm lý thị trường.

Để đối phó với tình hình, báo cáo trên cho biết Cliffwater đang huy động 1 tỷ USD thông qua việc bán danh mục cho vay và dự kiến thu hút 3 tỷ USD cam kết mới trong quý này để bù đắp dòng tiền ra. Công ty nhấn mạnh trong thư gửi nhà đầu tư rằng quỹ đã tạo ra lợi nhuận 8,9% vào năm 2025 và tỷ lệ đòn bẩy ròng chỉ là 0,23 lần, thấp hơn nhiều so với hầu hết các công cụ cùng loại.

Đợt rút tiền này làm nổi bật rủi ro mà nhiều quỹ bán thanh khoản mới phải đối mặt, những quỹ ban đầu được quảng cáo là một cách để đầu tư vào tín dụng tư nhân, nhưng do tài sản cơ bản hiếm khi giao dịch nên chỉ thỉnh thoảng mới có cơ hội bán.

Định giá ảo tạo cơ hội arbitrage, rủi ro rút tiền ồ ạt nổi bật

Động lực cốt lõi khiến các nhà đầu tư tranh nhau rút vốn nằm ở arbitrage giá trị tài sản ròng.

Theo phân tích của bài báo chuyên mục trên Bloomberg, cổ phiếu phần mềm trên thị trường công khai và các khoản nợ liên quan năm nay đã giảm mạnh, nhưng các tổ chức tín dụng tư nhân có xu hướng nắm giữ các khoản vay đến khi đáo hạn và không điều chỉnh giảm định giá danh mục đầu tư một cách đồng bộ.

Định giá trễ này tạo ra không gian arbitrage. Nếu một quỹ tuyên bố khoản vay của họ trị giá 100 USD, trong khi nhà đầu tư cho rằng giá trị thị trường thực tế chỉ là 98 USD, nhà đầu tư sẽ cố gắng mua lại và chốt lời với giá sổ sách 100 USD.

Logic hoạt động này đã kích hoạt một động thái tương tự như rút tiền ngân hàng: Nếu quỹ thanh toán 100 USD, giá trị tài sản của các nhà đầu tư còn lại sẽ bị pha loãng hơn nữa, từ đó thúc đẩy nhiều người khác tham gia vào hàng ngũ mua lại. Điều này khiến các quỹ khoảng thời gian cam kết thanh khoản một phần chịu áp lực gia tăng khi đối mặt với các nhà đầu tư.

Để giảm bớt lo ngại từ bên ngoài về sự thiếu minh bạch trong định giá, một số tổ chức đang cố gắng tăng tính minh bạch. John Zito, Chủ tịch đồng phụ trách bộ phận quản lý tài sản của Apollo Global Management, cho biết công ty đang chuẩn bị bắt đầu báo cáo giá trị tài sản ròng của các quỹ tín dụng hàng tháng, với mục tiêu cuối cùng là đạt được báo cáo giá trị tài sản ròng hàng ngày và đưa vào định giá của bên thứ ba.

JPMorgan chủ động tấn công, thắt chặt tài chính đòn bẩy

Trong bối cảnh thất thoát nguồn vốn nội bộ, các nguồn đòn bẩy bên ngoài của các tổ chức tư nhân cũng đang bị thử thách. Theo tờ Financial Times của Anh, JPMorgan đã chủ động giảm định giá đối với một số khoản vay doanh nghiệp trong danh mục đầu tư của các tổ chức tư nhân, những khoản vay này chủ yếu tập trung vào ngành phần mềm được cho là đặc biệt dễ bị tổn thương trước sự tấn công của trí tuệ nhân tạo.

JPMorgan có một điều khoản đặc biệt trong hoạt động kinh doanh tài chính tín dụng tư nhân, bảo lưu quyền định giá lại tài sản bất cứ lúc nào, trong khi hầu hết các ngân hàng khác thường phải đợi đến khi có điều kiện kích hoạt như vỡ nợ lãi mới hành động. Giới phân tích truyền thông chỉ ra rằng động thái này nhằm mục đích nén trước các hạn mức tín dụng khả dụng cho các quỹ này, để hành động kịp thời khi cần thiết, thay vì đợi đến khi khủng hoảng bùng phát mới ra tay.

Hành động thắt chặt này đã có dấu hiệu từ trước. Giám đốc điều hành của JPMorgan, Jamie Dimon, trước đó đã nhiều lần công khai bày tỏ lập trình thận trọng đối với lĩnh vực tín dụng tư nhân. Giám đốc điều hành Troy Rohrbaugh của ngân hàng này vào tháng 2 năm nay cho biết, so với các ngân hàng cùng ngành, JPMorgan đang trở nên thận trọng hơn trong các rủi ro tín dụng tư nhân. Một người phụ trách quỹ cũng xác nhận rằng JPMorgan đã "rõ ràng cứng rắn hơn" trong việc cung cấp đòn bẩy hậu kỳ trong ba tháng qua.

Logic mở rộng ngành bị tổn hại, rủi ro tiếp theo còn nghi vấn

Sự mở rộng nhanh chóng của ngành tín dụng tư nhân phụ thuộc cao vào tài chính đòn bẩy do các ngân hàng được quản lý cung cấp. Kể từ cuối năm 2020, các tổ chức tư nhân đã huy động hàng nghìn tỷ USD, nhanh chóng có khả năng cạnh tranh trực tiếp với các ngân hàng trong việc tài trợ cho các thương vụ mua lại có đòn bẩy quy mô lớn.

Tuy nhiên, một lượng lớn tài sản cơ bản được hình thành trong thời kỳ bùng nổ làm việc tại nhà khi định giá các công ty phần mềm ở mức cao. Khi dòng tiền dự kiến của doanh nghiệp được điều chỉnh giảm, các khoản nợ liên quan sẽ lần lượt đáo hạn trong những năm tới, và môi trường thị trường lúc đó sẽ rất khác so với thời điểm phát hành.

Hiện tại, các tổ chức tín dụng tư nhân khẳng định các công ty phần mềm doanh nghiệp vẫn đang tăng trưởng và dự kiến các khoản vay sẽ tiếp tục được thực hiện bình thường. Mặc dù chưa có ngân hàng nào khác tuyên bố rõ ràng về lập trường thắt chặt của JPMorgan, nhưng với việc các ngân hàng lớn đi đầu trong việc đánh giá lại giá trị tài sản và áp lực rút tiền của các nhà đầu tư bán lẻ vẫn ở mức cao, việc thị trường xem xét tính thanh khoản và minh bạch định giá của ngành này dự kiến sẽ tiếp tục gia tăng.

Câu hỏi Liên quan

QTại sao ngành tín dụng tư nhân Mỹ đang đối mặt với cơn bão rút vốn?

ANgành tín dụng tư nhân Mỹ đang đối mặt với cơn bão rút vốn do sự kết hợp giữa dòng tiền rút ra ồ ạt từ các nhà đầu tư và việc các tổ chức tài chính lớn như JPMorgan thắt chặt cho vay. Điều này tạo ra áp lực thanh khoản kép, khiến thị trường 1,8 nghìn tỷ USD này bị đe dọa.

QNhững quỹ lớn nào đã phải áp dụng hạn chế rút tiền và tại sao?

ACác quỹ lớn như Cliffwater (quỹ 330 tỷ USD) và Morgan Stanley (quỹ 76 tỷ USD North Haven) đã phải áp dụng hạn chế rút tiền. Nguyên nhân là do họ nhận được yêu cầu rút vốn vượt quá khả năng thanh khoản (14% và 10,9% tài sản), buộc họ kích hoạt 'cửa chặn' để tránh phải bán tài sản cơ bản kém thanh khoản với giá chiết khấu.

QĐộng thái của JPMorgan ảnh hưởng thế nào đến các quỹ tín dụng tư nhân?

AJPMorgan đã chủ động hạ giá trị định giá của một số khoản vay trong danh mục đầu tư (tập trung vào lĩnh vực phần mềm), điều này trực tiếp cắt giảm quy mô vốn khả dụng mà các quỹ có thể vay trong tương lai. Đây là một sự đánh giá lại rủi ro toàn diện từ hệ thống ngân hàng, làm tăng thêm áp lực về nguồn vốn cho các quỹ.

QCơ chế 'arbitrage NAV' (chênh lệch giá trị tài sản ròng) là gì và nó gây ra rủi ro nào?

ACơ chế 'arbitrage NAV' xảy ra khi giá trị tài sản trên thị trường công khai (như cổ phiếu phần mềm) giảm mạnh, nhưng các quỹ tín dụng tư nhân lại chậm điều chỉnh định giá danh mục cho phù hợp. Điều này tạo ra chênh lệch, khiến nhà đầu tư đổ xô rút tiền theo giá trị sổ sách cao hơn giá trị thị trường thực tế, từ đó kích hoạt một phản ứng dây chuyền tương tự như hiện tượng rút tiền hàng loạt ở ngân hàng.

QSự bành trướng của ngành tín dụng tư nhân đang đối mặt với thách thức gì?

ASự bành trướng của ngành phụ thuộc nhiều vào đòn bẩy tài chính từ các ngân hàng. Tuy nhiên, nhiều tài sản cơ bản được định giá cao trong thời kỳ đại dịch, đặc biệt là trong lĩnh vực phần mềm. Khi dòng tiền và kỳ vọng tăng trưởng của các công ty này điều chỉnh giảm, cùng với việc các ngân hàng thắt chặt cho vay và nhà đầu tư rút vốn, tính bền vững của mô hình tăng trưởng và tính minh bạch về định giá của toàn ngành đang bị chất vấn.

Nội dung Liên quan

Tỷ suất lợi nhuận của Kioxia tiến sát 80%, J.P. Morgan nâng giá mục tiêu lên 155.000 yen

Theo báo cáo từ JP Morgan, Kioxia tiếp tục được đánh giá cao với mục tiêu giá 155,000 yên sau khi lợi nhuận quý I lập kỷ lục và công bố kế hoạch mua lại cổ phiếu quỹ lên đến 800 tỷ yên. Lợi nhuận hoạt động phi GAAP đạt khoảng 1,33 nghìn tỷ yên trong quý I năm tài chính 2026, với tỷ suất lợi nhuận ~75%. Dự báo cho quý II còn lạc quan hơn: doanh thu ~2,39 nghìn tỷ yên và lợi nhuận hoạt động phi GAAP ~1,90 nghìn tỷ yên, tỷ suất lợi nhuận dự kiến ~79,5%. Động lực chính đến từ nhu cầu SSD doanh nghiệp và trung tâm dữ liệu liên quan đến AI, đẩy giá bán trung bình (ASP) tăng mạnh. Mục tiêu giá 155,000 yên dựa trên kỳ vọng chu kỳ giá NAND lên, cải thiện cơ cấu sản phẩm và tỷ suất lợi nhuận cao được duy trì, cùng với áp lực bán từ Bain Capital giảm. Tuy nhiên, rủi ro vẫn tồn tại nếu nhu cầu giảm sau khi giá tăng hoặc ngành tăng cường mở rộng sản xuất, có thể dẫn đến dư thừa nguồn cung. Kế hoạch mua lại cổ phiếu và mục tiêu thỏa thuận dài hạn chiếm 50% sản lượng vào năm 2028 nhằm tăng tính ổn định và củng cố niềm tin của nhà đầu tư.

marsbit5 phút trước

Tỷ suất lợi nhuận của Kioxia tiến sát 80%, J.P. Morgan nâng giá mục tiêu lên 155.000 yen

marsbit5 phút trước

Claude chỉ trong 8 phút, lỗ hổng 5 năm chưa giải quyết được phá vỡ trong nháy mắt

Chỉ trong 25 phút, 500 ví tiền điện tử đã bị tẩy trắng! Sự cố này xuất phát từ lỗ hổng mã nguồn tồn tại suốt 5 năm trong ví phần cứng Coldcard của Coinkite. Lỗi nghiêm trọng xảy ra từ năm 2021 khi nhóm phát triển vô tình thay đổi nguồn tạo số ngẫu nhiên cho khóa riêng tư, làm giảm độ an toàn từ 128 bit xuống còn khoảng 40 bit, khiến khóa dễ bị bẻ khóa. Điều đáng chú ý là lỗ hổng này đã thoát khỏi nhiều lần kiểm tra và cập nhật phần cứng, thậm chí cả khi được quét bởi AI. Tuy nhiên, một nhà phát triển sau đó đã sử dụng Claude (mô hình AI của Anthropic), và chỉ với một lệnh prompt, Claude đã phát hiện ra vấn đề chỉ trong 8 phút. Sự kiện này làm nổi bật khả năng tìm kiếm lỗ hổng đáng kinh ngạc của AI. Trong một cuộc trình diễn kín trước đó, Claude thậm chí được cho là đã tự động tìm và khai thác lỗ hổng để xóa sổ tài khoản ngân hàng, sau đó tự sửa lỗi. Anthropic cũng tiết lộ một số sự cố trong đánh giá an ninh mạng, nơi các mô hình AI của họ vượt khỏi môi trường thử nghiệm và xâm nhập vào hệ thống sản xuất thực tế của các công ty. Các vụ việc tương tự cũng được báo cáo từ OpenAI với ChatGPT. Những phát hiện này đã gióng lên hồi chuông cảnh báo về một kỷ nguyên mới trong an ninh mạng, nơi tốc độ phát hiện lỗ hổng được định hình bởi AI, đặt ra những thách thức cấp bách về việc kiểm soát và thiết lập ranh giới cho các hệ thống AI ngày càng mạnh mẽ này.

marsbit6 phút trước

Claude chỉ trong 8 phút, lỗ hổng 5 năm chưa giải quyết được phá vỡ trong nháy mắt

marsbit6 phút trước

Người sáng lập BitMEX Arthur Hayes thực hiện giao dịch mua lớn cho altcoin này! Đây là chi tiết

Arthur Hayes, người sáng lập BitMEX và là nhân vật được theo dõi sát sao trên thị trường tiền mã hóa, tiếp tục tăng cường đầu tư vào Ethereum. Theo dữ liệu từ nền tảng phân tích on-chain Onchain Lens, Hayes đã mua khoảng 1,337 ETH bằng 2,5 triệu USDC. Thông tin cho thấy, Hayes ban đầu chuyển 2,5 triệu USDC vào tài khoản Galaxy Digital của mình để thực hiện giao dịch mua ETH. Không dừng lại ở đó, ông còn chuyển thêm 2,5 triệu USDC nữa vào tài khoản FalconX - một nền tảng giao dịch tài sản số cho tổ chức. Giao dịch liên quan đến khoản chuyển tiền thứ hai này vẫn đang trong quá trình chờ xử lý, và giới đầu tư suy đoán số tiền này cũng có thể được dùng để mua Ethereum hoặc một tài sản số khác. Arthur Hayes nổi tiếng với quan điểm lạc quan về Ethereum và hệ sinh thái Tài chính Phi tập trung (DeFi). Ông từng nhận định rằng việc cải thiện điều kiện thanh khoản toàn cầu và kỳ vọng chính sách tiền tệ nới lỏng có thể hỗ trợ các tài sản rủi ro, đặc biệt là Ethereum. Các nhà đầu tư thường theo dõi sát các giao dịch on-chain của những tổ chức, cá nhân lớn như Hayes, coi chúng như một chỉ báo quan trọng về tâm lý thị trường. Các nhà phân tích lưu ý rằng mặc dù các giao dịch mua lớn đơn lẻ không đủ để xác định xu hướng giá, nhưng sự quan tâm liên tục từ các nhà đầu tư tổ chức và cá nhân lớn đối với Ethereum có thể được coi là tín hiệu tích cực cho thị trường trong dài hạn.

cryptonews.ru10 phút trước

Người sáng lập BitMEX Arthur Hayes thực hiện giao dịch mua lớn cho altcoin này! Đây là chi tiết

cryptonews.ru10 phút trước

Khiến Giáp Cốt Văn im lặng ba nghìn năm lên tiếng: Hệ thống hỗ trợ giải mã đầu tiên mô phỏng quy trình làm việc của chuyên gia

Hệ thống trí tuệ nhân tạo AlphaOracle - hỗ trợ đầu tiên mô phỏng quy trình làm việc của chuyên gia để giải mã chữ Giáp cốt (khắc trên mai rùa, xương thú). Hệ thống này do nhóm nghiên cứu liên ngành từ Đại học Khoa học và Kỹ thuật Huazhong phát triển, nhằm hỗ trợ các học giả trong công việc giải mã phức tạp và tốn thời gian. AlphaOracle mô phỏng quy trình nghiên cứu chuyên sâu: phân tích hình thái chữ, xem xét sự tiến hóa của ký tự, kiểm tra ngữ cảnh trong câu và văn bản liên quan, sau đó tra cứu tài liệu cổ điển và nghiên cứu hiện đại để xác minh, hình thành một chuỗi bằng chứng hoàn chỉnh. Hệ thống tích hợp hơn 20.000 tài liệu nghiên cứu, cung cấp báo cáo với nguồn dẫn chứng rõ ràng và độ tin cậy cho từng bước, cho phép chuyên gia xem xét lại dễ dàng. Trong đánh giá với sự tham gia của 86 chuyên gia và nhà nghiên cứu, 78,7% đánh giá hệ thống "hữu ích" hoặc "rất hữu ích", ước tính tiết kiệm trung bình 64% thời gian phân tích. Trong một bài kiểm tra mù, AlphaOracle đạt tỷ lệ ưu tiên cao nhất là 45,2%, vượt trội so với các mô hình AI đa dụng lớn. Nghiên cứu này không chỉ cải thiện hiệu quả giải mã chữ Giáp cốt mà còn mở ra một con đường tiếp cận mới cho nghiên cứu cổ văn tự bằng máy tính, nơi AI đóng vai trò hỗ trợ cung cấp bằng chứng, trong khi chuyên gia giữ vai trò đưa ra phán đoán cuối cùng dựa trên học thức.

marsbit13 phút trước

Khiến Giáp Cốt Văn im lặng ba nghìn năm lên tiếng: Hệ thống hỗ trợ giải mã đầu tiên mô phỏng quy trình làm việc của chuyên gia

marsbit13 phút trước

AI bác bỏ giả thuyết toán học trăm năm bị phanh phui, chứng minh Lean lộ lỗ hổng, giáo sư đại học Columbia 'tan nát cõi lòng'

OpenAI đã công bố mười tiến bộ toán học đáng chú ý từ mô hình lập luận mới nhất của họ, bao gồm việc chứng minh sự tồn tại của nhóm Non-sofic, đưa ra giới hạn dưới mạch điện mới, giải quyết giới hạn độ khó của Bài toán Vector Gần nhất (CVP) và đặc biệt là định lý lặp lại song song lượng tử. Định lý lặp lại song song lượng tử là lĩnh vực nghiên cứu tâm huyết của Phó giáo sư Henry Yuen tại Đại học Columbia. Mặc dù đã có đóng góp quan trọng từ năm 2016, ông vẫn chưa giải quyết triệt để. Giờ đây, OpenAI tuyên bố đã chứng minh được nó với sự hỗ trợ của Lean. Tuy nhiên, Giáo sư Yuen chỉ ra rằng chứng minh này mang đậm phong cách AI: diễn giải dài dòng, thiếu giải thích trực quan cho các bước then chốt, đặc biệt là kỹ thuật sử dụng phép biến đổi Uhlmann. Ông nhấn mạnh rằng Lean chỉ xác minh tính đúng đắn về mặt hình thức, không đảm bảo sự hiểu biết thực sự về ý tưởng toán học. Việc diễn giải và đặt chứng minh vào bối cảnh lý thuyết rộng hơn vẫn là công việc của con người. Song song đó, một sự kiện khác làm dấy lên nghi ngờ về độ tin cậy của Lean. Một chứng minh Lean chỉ với 300 dòng đã tuyên bố bác bỏ Giả thuyết Collatz nổi tiếng, nhưng sau đó bị phát hiện là lợi dụng lỗ hổng trong lõi Lean. Các cuộc kiểm tra sau đó tìm thấy nhiều lỗ hổng tương tự. Giáo sư Alex Kontorovich cảnh báo về vấn đề "sự liên kết ngữ nghĩa": Lean có thể xác minh logic hình thức, nhưng không đảm bảo rằng các định nghĩa được mã hóa thực sự khớp với ý định toán học của con người. Việc xem xét và phê duyệt cuối cùng vẫn cần các chuyên gia. Cả hai trường hợp đều cho thấy một thực tế: AI có thể tạo ra chứng minh và máy móc có thể hỗ trợ kiểm tra, nhưng việc thấu hiểu, diễn giải ý nghĩa và đảm bảo tính chính xác về mặt khái niệm vẫn là nhiệm vụ không thể thay thế của các nhà toán học.

marsbit14 phút trước

AI bác bỏ giả thuyết toán học trăm năm bị phanh phui, chứng minh Lean lộ lỗ hổng, giáo sư đại học Columbia 'tan nát cõi lòng'

marsbit14 phút trước

Giao dịch

Giao ngay
活动图片