Năm 2026, những IPO sắp tới của các công ty tiền mã hóa

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

Tóm tắt

Bài viết dự đoán về các đợt IPO của công ty tiền mã hóa vào năm 2026, sau khi thị trường chứng khoán Mỹ huy động thành công 3,4 tỷ USD cho lĩnh vực này vào năm 2025. Các công ty nổi bật được nhắc đến gồm: 1. **Kraken**: Sàn giao dịch lâu đời, dự kiến định giá 20 tỷ USD và niêm yết vào nửa đầu 2026 sau khi được SEC rút kiện. Dữ liệu tài chính mạnh mẽ với doanh thu 2024 là 1,5 tỷ USD. 2. **Consensys**: Công ty mẹ của ví MetaMask, nhắm mục tiêu niêm yết giữa năm 2026 với định giá 7 tỷ USD. Câu hỏi đặt ra là cách họ cân bằng lợi ích giữa cổ đông và người nắm giữ token MASK. 3. **Ledger**: Nhà sản xuất ví cứng, đang chuyển mình sang mô hình dịch vụ đăng ký với ứng dụng Ledger Live. Nhắm mục tiêu định giá trên 4 tỷ USD trên NYSE. 4. **Bithumb**: Sàn giao dịch Hàn Quốc, dự kiến niêm yết trên KOSDAQ vào 2026 để xây dựng lại niềm tin sau một loạt rắc rối pháp lý, chứ không phải để gọi vốn. 5. **CertiK**: Công ty kiểm toán bảo mật hàng đầu với định giá 2 tỷ USD, nhưng cũng nhiều tranh cãi. Kế hoạch IPO cuối 2026 - 2027 và cần khôi phục uy tín. Bài viết kết luận rằng làn sóng IPO này phản ánh môi trường quản lý thuận lợi hơn và nhu cầu thanh khoản từ các cổ đông. Nhà đầu tư cần phân biệt giữa các công ty có mô hình kinh doanh rõ ràng (Kraken, Ledger) và những công ty còn tồn tại rủi ro hoặc vấn đề riêng.

Tác giả: David, Deep Tide TechFlow

Năm 2025, các công ty tiền mã hóa đã huy động được 3,4 tỷ USD trên thị trường chứng khoán Mỹ.

Circle và Bullish mỗi bên huy động hơn 1 tỷ, Gemini tăng 14% trong ngày đầu niêm yết trên Nasdaq. Đến tháng 1/2026, BitGo chính thức niêm yết trên Sở giao dịch chứng khoán New York (NYSE), tăng 24,6% trong ngày đầu, định giá 2,6 tỷ USD.

Những người tiên phong này đã chứng minh một điều: Phố Wall sẵn sàng chi trả cho cơ sở hạ tầng tiền mã hóa tuân thủ quy định.

Đường ống năm 2026 còn dày hơn. Kraken, Consensys, Ledger đều đang xếp hàng chờ niêm yết, với định giá từ vài chục tỷ đến hai trăm tỷ USD. Ngay cả CertiK, công ty chuyên kiểm toán bảo mật, cũng đã công bố kế hoạch IPO tại Davos.

Sàn giao dịch, ví, lưu ký, bảo mật... những "người bán nước" của ngành công nghiệp tiền mã hóa đang cùng nhau tiến ra thị trường công chúng.

Những công ty này sẽ lên sàn khi nào, định giá bao nhiêu, rủi ro ở đâu? Chúng ta hãy xem xét từng cái một.

1. Kraken, mẫu hình tuân thủ trị giá 20 tỷ USD

Định giá dự kiến: 20 tỷ USD

Thời gian dự kiến: Nửa đầu năm 2026

Kraken là một trong những sàn giao dịch tiền mã hóa lâu đời nhất, thành lập năm 2011, thậm chí còn sớm hơn Coinbase một năm. Nhưng thời điểm niêm yết của nó lại muộn hơn Coinbase năm năm. Trong khoảng thời gian chênh lệch này, nó đã trải qua vụ kiện từ SEC, đàm phán dàn xếp, tái cơ cấu hoạt động, và cuối cùng vào tháng 3/2025 đã đạt được kết quả SEC rút đơn kiện.

Số liệu tài chính cũng rất vững chắc:

Doanh thu năm 2024 là 1,5 tỷ USD, EBITDA điều chỉnh vượt 400 triệu USD. Quý 3/2025, doanh thu đơn lẻ đạt 648 triệu USD, tăng 50% so với cùng kỳ. Tài sản quản lý trên nền tảng là 59,3 tỷ USD, khối lượng giao dịch quý là 5.768 tỷ USD.

Tháng 11/2025, Kraken hoàn thành vòng gọi vốn pre-IPO 800 triệu USD, định giá 20 tỷ USD. Danh sách nhà đầu tư bao gồm Citadel Securities, Jane Street, DRW. Sự tham gia của những nhà tạo lập thị trường hàng đầu truyền thống này đồng nghĩa họ đang đặt cược rằng các sàn giao dịch tiền mã hóa sẽ trở thành một phần của cơ sở hạ tầng tài chính.

Cùng tháng, Kraken đã nộp hồ sơ S-1 bí mật. Mục tiêu là niêm yết vào nửa đầu năm 2026.

Nếu thành công, nó sẽ trở thành sàn giao dịch tiền mã hóa chủ lực thứ hai niêm yết trên thị trường chứng khoán Mỹ sau Coinbase, và cũng là công ty đầu tiên hoàn thành toàn bộ quy trình niêm yết trong "thời kỳ hậu Gensler".

2. Consensys, công ty mẹ của MetaMask muốn lên sàn

Định giá dự kiến: 7 tỷ USD (định giá năm 2022)

Thời gian dự kiến: Giữa năm 2026

Consensys sở hữu một số sản phẩm có giá trị nhất trong ngành tiền mã hóa: Ví MetaMask với 30 triệu người dùng hoạt động hàng tháng, dịch vụ node Infura hỗ trợ phần lớn nền tảng cho các dApp Ethereum, và mạng L2 Linea. Nó là "thợ sửa ống nước" của hệ sinh thái Ethereum, hầu hết các nhà phát triển đều sử dụng công cụ của nó.

Công ty được đồng sáng lập Ethereum Joseph Lubin thành lập, định giá 7 tỷ USD khi huy động được 450 triệu USD vào năm 2022. Hiện tại nó đang hợp tác với JP Morgan, Goldman Sachs để chuẩn bị cho IPO, mục tiêu là giữa năm 2026.

Bản cáo bạch dự kiến sẽ tập trung trình bày doanh thu từ MetaMask Swaps. Tính năng này cho phép người dùng giao dịch token trực tiếp trong ví, thu phí 0,875% cho mỗi giao dịch. Năm 2025, MetaMask còn bổ sung hỗ trợ Bitcoin gốc, mở rộng từ ví EVM thuần túy sang ví đa chuỗi, cố gắng giữ chân người dùng trong hệ sinh thái của mình.

Ẩn số khi Consensys lên sàn nằm ở chỗ, nó đồng thời đang thực hiện token MASK và IPO, hai việc này sẽ phối hợp như thế nào? Liệu lợi ích của người nắm giữ token và cổ đông có xung đột? Vấn đề này có thể trở thành một case study mới về quản trị công ty tiền mã hóa.

3. Ledger, ví cứng muốn kể câu chuyện phần mềm

Định giá dự kiến: 4 tỷ USD

Thời gian dự kiến: Năm 2026

Ledger đã bán được hơn 6 triệu ví cứng, lưu ký hơn 1000 tỷ USD Bitcoin cho người dùng. Nhưng nó không muốn chỉ là "kẻ bán thiết bị".

Hai năm nay, CEO Pascal Gauthier thường xuyên xuất hiện ở New York. Câu chuyện anh ấy kể với các nhà đầu tư là: Ledger muốn trở thành "Apple của lĩnh vực tự lưu ký".

Chìa khóa cho sự chuyển đổi là Ledger Live, một ứng dụng tích hợp ví cứng, ví phần mềm, Staking, tương tác DeFi vào cùng một chỗ. Từ bán phần cứng chuyển sang bán dịch vụ thuê bao, từ thu nhập một lần chuyển thành thu nhập thường xuyên.

Phố Wall đã mua câu chuyện này.

Ngày 23 tháng 1, Financial Times đưa tin, Ledger đang đàm phán với Goldman Sachs, Jefferies, Barclays về việc niêm yết trên NYSE, mục tiêu định giá hơn 4 tỷ USD. Con số này gấp gần 3 lần định giá 1,5 tỷ vào năm 2023.

Thứ hỗ trợ cho định giá này là thành tích kinh doanh.

Năm 2025 doanh thu của công ty đạt đến hàng trăm triệu USD, Gauthier nói đó là "một năm kỷ lục". Sau sự sụp đổ của FTX, câu nói "Not your keys, not your coins" (Không phải khóa của bạn, không phải coin của bạn) lại nổi lên, cả tổ chức và cá nhân đều đang chuyển sang tự lưu ký.

Năm ngoái, số tiền bị đánh cắp trong ngành công nghiệp tiền mã hóa lập kỷ lục mới, đạt 17 tỷ USD, trái lại lại trở thành điểm bán hàng của Ledger.

Tuy nhiên, ví cứng vẫn quá khó sử dụng đối với người bình thường. Trần tăng trưởng của Ledger phụ thuộc vào việc liệu nó có thể hạ thấp ngưỡng này xuống hay không.

4. Bithumb, cuộc lật ngược thế cờ của đàn anh Hàn Quốc

Định giá dự kiến: Chưa tiết lộ

Thời gian dự kiến: Năm 2026

Địa điểm niêm yết: Sàn KOSDAQ Hàn Quốc (cũng từng cân nhắc Nasdaq)

Bithumb từng là sàn giao dịch lớn nhất Hàn Quốc, sau đó bị Upbit vượt mặt. Hiện tại Upbit chiếm hơn 80% thị trường Hàn Quốc, Bithumb chỉ còn từ 15% đến 20%.

Năm 2024, Bithumb phát động chiến dịch giao dịch không mất phí, kéo thị phần trở lại khoảng 25%. Đây là một trận chiến đốt tiền để đổi lấy người dùng, mục đích có lẽ là để tạo đà cho IPO.

Samsung Securities đảm nhận vai trò bảo lãnh phát hành, kế hoạch ban đầu là niêm yết trên sàn KOSDAQ của Hàn Quốc vào nửa cuối năm 2025, cũng từng cân nhắc Nasdaq. Hiện tại xem ra, thời gian đã bị lùi lại đến năm 2026.

Tuy nhiên, Bithumb nói rằng đợt IPO này không phải để huy động vốn. Công ty có hơn 4000 tỷ Won (khoảng 3 tỷ USD) tài sản tài chính trong sổ sách, không thiếu tiền. Mục đích niêm yết là "thiết lập niềm tin thị trường", để quản trị nội bộ và tài chính chấp nhận kiểm toán công khai.

Bối cảnh của câu nói này là: Bithumb trong vài năm qua liên tục gặp rắc rối.

Năm 2023 bị Cục thuế Hàn Quốc khám xét, nghi ngờ có giao dịch gian lận. Nhiều lãnh đạo cấp cao bị điều tra vì nghi ngờ hối lộ niêm yết coin, cựu CEO Lee Sang-joon từ chức. Một lần gián đoạn dịch vụ vào năm 2017, kiện tụng suốt sáu năm, cuối cùng bị tuyên phải bồi thường cho người dùng.

Để chuẩn bị cho IPO, công ty đã điều chỉnh nhân sự. Cựu chủ tịch Lee Jung-hoon trở lại hội đồng quản trị, ông trước đó bị cáo buộc lừa đảo liên quan đến thâu tóm, mãi năm nay mới được tuyên trắng án. CEO mới là người thân tín của ông.

Hàn Quốc có 18 triệu người dùng tiền mã hóa, khối lượng giao dịch hàng ngày thường xuyên vượt quá thị trường chứng khoán.

IPO của Bithumb là một tín hiệu cho thấy sự thể chế hóa của thị trường tiền mã hóa Hàn Quốc. Nhưng xét đến gánh nặng lịch sử của nó, các nhà đầu tư sẽ theo sát vấn đề quản trị của nó.

5. CertiK, công ty kiểm toán an ninh hàng đầu đầy tranh cãi

Định giá dự kiến: 2 tỷ USD

Thời gian dự kiến: Cuối 2026 - Đầu 2027

Ngày 23 tháng 1 tại Diễn đàn Davos, CEO CertiK Gu Ronghui (Cố Vinh Huy) tuyên bố công ty đang thúc đẩy IPO.

Đây là công ty kiểm toán an ninh lớn nhất ngành tiền mã hóa, thành lập năm 2018, trụ sở tại New York, phục vụ hơn 5000 khách hàng, quy mô tài sản được bảo vệ bởi mã code kiểm toán vào khoảng 6000 tỷ USD.

Danh sách nhà đầu tư cũng rất hùng hậu, Binance là nhà hỗ trợ tài chính sớm nhất và lớn nhất, Quỹ Vision của SoftBank, Tiger Global, Sequoia, Goldman Sachs đều đã vào cuộc. Định giá đạt 2 tỷ USD tại vòng gọi vốn B3 vào năm 2022.

Nhưng CertiK cũng là một trong những công ty gây tranh cãi nhiều nhất trong giới tiền mã hóa.

Vụ việc với Kraken năm ngoái rất ồn ào. CertiK phát hiện Kraken có một lỗ hổng, có thể nạp tiền ảo vào tài khoản, trong quá trình kiểm tra đã chuyển đi khoảng 3 triệu USD. CertiK nói đó là "hành động mũ trắng", Kraken nói đó là tống tiền. Hai bên công khai mổ xẻ một hiệp, cuối cùng tiền được trả lại, nhưng danh tiếng của CertiK bị tổn hại.

Trước đó, CertiK còn từng kiểm toán cho Huione Guarantee của Campuchia. Nền tảng này bị sử dụng để rửa tiền, mua bán công cụ hack và dữ liệu cá nhân, thậm chí có người còn bán máy gây sốc điện cho các khu vực lừa đảo ở Đông Nam Á. CertiK sau đó đã xin lỗi, nhưng sự việc này cho thấy chính công ty an ninh cũng có vấn đề về kiểm soát rủi ro.

Gu Ronghui nói rằng niêm yết là "bước đi tự nhiên tiếp theo cho việc mở rộng liên tục sản phẩm và công nghệ".

Nhưng một khi bản cáo bạch IPO được công khai, những tranh cãi này sẽ bị các nhà đầu tư chất vấn lặp đi lặp lại. CertiK có thể xây dựng lại niềm tin hay không, là thử thách lớn nhất trên con đường lên sàn của họ.

Nhìn chung, việc các công ty tiền mã hóa xếp hàng chờ IPO vào năm 2026, có lẽ không phải là trùng hợp.

Môi trường quản lý đang thay đổi. Chủ tịch SEC Gensler đã ra đi, chủ tịch mới thân thiện hơn với tiền mã hóa, các vụ kiện của Kraken và Consensys đều đã được rút. Cửa sổ cơ hội mở ra, những ai nên xông vào đều đang xông.

Cơ cấu vốn cũng đã đến giới hạn. Những công ty này đã huy động nhiều vòng trên thị trường私募 (private), cổ đông ngày càng nhiều, quyền chọn cho nhân viên ngày càng khó định giá. Coinbase niêm yết đã năm năm, chứng minh rằng các công ty tiền mã hóa có thể tồn tại trên thị trường công chúng. Những người xếp hàng phía sau không có lý do gì để tiếp tục chờ đợi.

Tuy nhiên, đối với các nhà đầu tư phổ thông, đợt IPO này cần được phân biệt.

Kraken và Ledger có doanh thu thực tế, mô hình kinh doanh rõ ràng; Consensys có sản phẩm cửa ngõ MetaMask, nhưng đồng thời đang phát hành token, mối quan hệ giữa cổ đông và người nắm giữ token vẫn chưa được sắp xếp ổn thỏa. CertiK có thương hiệu nhưng đầy tranh cãi, Bithumb thì thuần túy là câu chuyện nội địa Hàn.

Khi có thể mua, trước tiên hãy tìm hiểu kỹ mình đang mua cái gì.

Còn đối với công ty, niêm yết chỉ là khởi đầu.

Có thể đứng vững trên thị trường công chúng hay không, phụ thuộc vào việc liệu các công ty này có thể thay thế nhãn "tiền mã hóa" bằng "cơ sở hạ tầng tài chính" hay không. Coinbase đã mất năm năm để khiến Phố Wall tin rằng nó không chỉ là một nền tảng đầu cơ tiền ảo.

Những người ở phía sau, con đường còn rất dài.

Câu hỏi Liên quan

QKraken dự kiến sẽ niêm yết với mức định giá bao nhiêu và thời gian dự kiến là gì?

AKraken dự kiến niêm yết với mức định giá 200 tỷ USD vào nửa đầu năm 2026.

QSản phẩm chính nào của Consensys sẽ là trọng tâm trong bản cáo bạch IPO và tại sao nó quan trọng?

AMetaMask Swaps sẽ là trọng tâm trong bản cáo bạch IPO của Consensys. Tính năng này cho phép người dùng giao dịch token trực tiếp trong ví và thu phí 0,875% mỗi giao dịch, tạo ra nguồn doanh thu quan trọng.

QLedger đang cố gắng chuyển đổi mô hình kinh doanh từ gì sang gì để thu hút nhà đầu tư?

ALedger đang chuyển đổi từ mô hình bán phần cứng (ví cứng) sang mô hình cung cấp dịch vụ đăng ký (subscription service) thông qua ứng dụng Ledger Live, nhằm biến doanh thu một lần thành doanh thu thường xuyên.

QĐộng cơ chính đằng sau việc IPO của Bithumb là gì, theo bài viết?

ATheo bài viết, động cơ chính của Bithumb không phải là để huy động vốn (vì họ có sẵn hơn 3 tỷ USD tài sản tài chính), mà là để 'xây dựng niềm tin thị trường' bằng cách để cho việc quản trị nội bộ và tài chính của công ty được kiểm toán công khai.

QThách thức lớn nhất đối với đợt IPO của CertiK là gì?

AThách thức lớn nhất đối với đợt IPO của CertiK là những tranh cãi xung quanh danh tiếng của công ty, đặc biệt là vụ việc với Kraken và việc kiểm toán cho nền tảng Huione Guarantee có liên quan đến các hoạt động bất hợp pháp. Họ cần phải xây dựng lại lòng tin từ các nhà đầu tư.

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ư.

marsbit4 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

marsbit4 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.

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

marsbit5 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.ru9 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.ru9 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.

marsbit12 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

marsbit12 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.

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'

marsbit13 phút trước

Giao dịch

Giao ngay
活动图片