Và một lần nữa, nó đang nổi lên như ngôn ngữ lập trình mạnh mẽ nhất - không chỉ cho kiến trúc von Neumann truyền thống của chúng ta, cũng không chỉ cho cuộc đua máy tính GPU hiện tại, mà cho một cái gì đó sâu sắc hơn chúng ta có thể tưởng tượng: các bộ tối ưu hóa tạo thành trái tim đánh đập của AI hiện đại. Họ đã cố gắng giết nó. để chôn nó cho tốt. Họ đã cố gắng giết nó. để chôn nó cho tốt. Nhưng chúng ta đừng dừng lại ở đó. Nó không phải là một sự thay đổi khuôn mặt - đó là một cấy ghép não. toàn bộ các sợi DNA của nó từ những năm 1980 đã bị xé ra và thay thế bằng một cái gì đó chưa từng có. Phiên bản C++ mới nhất Phiên bản C++ mới nhất 
 
 Một tính năng, hầu như không được chú ý, mang một lợi thế to lớn: các hoạt động monadic trong C++23 — std::expected, std::optional, và std::variant làm việc cùng nhau. Đây không chỉ là chương trình chức năng đường. Chúng là nền tảng để thực hiện một loại hình mới của tính toán tối ưu hóa cong, đó là một sự ra đi triệt để từ tính toán dựa trên giới hạn đang ngăn chặn tối ưu hóa hiện đại và tiến bộ AI. Một tính năng, hầu như không được chú ý, mang một lợi thế to lớn: - Chị   và   Chúng không chỉ là đường lập trình chức năng, chúng là nền tảng để thực hiện một loại tính toán tối ưu hóa mới. một sự ra đi triệt để từ tính toán dựa trên giới hạn đang ngăn chặn tối ưu hóa hiện đại và tiến bộ AI. monadic operations in C++23 std::expected , std::optional , std::variant làm việc Curvature, đó là Thắc mắc về mặt ẩn của công nghệ?Tìm hiểu thêm trên José Crespo, trang tiến sĩ The Optimizer's Midlife Crisis - Tại sao C++23 là vàng thuần túy Bạn trải nghiệm nó mọi lúc, với sự thất vọng, khi: Spotify cuộn cùng 20 bài hát. Instagram đẩy rage-bait. Một Tesla bỏ lỡ một xe tải cứu hỏa (hy vọng không ). Một mô hình đi NaN sau 72 giờ trên $ 50k GPUs. ChatGPT tiếp tục vẽ bàn tay con người với sáu ngón tay. Và đây là lý do tại sao: Các bề mặt khác nhau, cùng một vấn đề bên dưới.Chúng ta đang sử dụng toán học từ những năm 1820 để chạy các thuật toán vào năm 2025. Vâng, đúng: C++ hiện đại (C++23). Nó cung cấp cho bạn các công cụ để làm cho bước của người tối ưu hóa của bạn sử dụng địa hình, không phải là một quy tắc một kích thước phù hợp với tất cả. But you still need the right math tool—and, surprisingly for many, classical calculus is the wrong one for the new breed of truly smarter optimizers. Nó hỏi điều gì xảy ra ở một điểm duy nhất khi bước đi đến không.Điều đó làm bạn mù đến hình dạng tổng thể và rất khó để tự động hóa khi các điều kiện tiếp tục thay đổi, vì mã thực tế di chuyển trong các bước hữu hạn, ồn ào, trôi nổi. Tại sao? bởi vì không may, khung tính toán thế kỷ 19 của chúng tôi mà chúng tôi đã học được là điểm đầu tiên Tại sao? bởi vì không may, khung tính toán thế kỷ 19 của chúng tôi mà chúng tôi đã học được là điểm đầu tiên - một thay thế cho tính toán cũ hơn - được điều chỉnh cho các hệ thống AI tự động thúc đẩy hàng tỷ bản cập nhật tối ưu hóa mỗi giây, vượt xa sự giám sát thủ công. Chúng ta cần một công cụ toán học khác Chúng ta cần một công cụ toán học khác May mắn thay đối với chúng tôi, có một phép lạ toán học cho điều này - Con số đường cong - trái ngược với tính toán tôn kính nhưng myiopic, các con số đường cong nhìn thấy toàn bộ hình dạng được chiếu trong tất cả các chiều của nó, thay vì một điểm cắt từng chiều qua từng chiều của nó. Hãy hình dung nó bằng một ví dụ đơn giản: Tính toán cũ nhìn thấy cây trước rừng, tính toán mới dựa trên những con số nhỏ vô hạn thực sự nhìn thấy cả rừng đầu tiên, sau đó là cây và lá trên cây. Vì vậy, một lần nữa - như nhiều lần trước đây trong lịch sử - chúng ta cần phải thay đổi chiến thuật khi nhu cầu xã hội, kinh tế và công nghệ đòi hỏi toán học mới. Làm thế nào C++ có thể làm được điều này? Xóa bỏ sự nhạo báng, và hầu hết những thất bại của AI đều đi đến tối ưu hóa - thường là trong hai hương vị chua: NaN explosion after expensive training: Hoặc bạn đã thực hiện một bước quá lớn cho một vòng quay sắc nét, hoặc bạn đã hạ cánh vào một điểm xấu trong lưới số của máy tính. máy tính chỉ có một số "khe số"; nếu giá trị của bạn trở nên quá lớn hoặc quá nhỏ đối với những khe đó, toán học đi kỳ lạ (NaN), và chạy sụp đổ. Copilot gợi ý bugs: Sự mỉa mai hoàn hảo - mô hình có thể học sai mô hình rất tốt mà nó tiếp tục làm chính xác sai lầm bạn đang cố gắng sửa chữa.Đó là một máy tối ưu hóa đậu xe ở mức tối thiểu mỏng manh trông ổn định từng điểm, nhưng sụp đổ khi bạn thay đổi bối cảnh. Bây giờ chúng ta hãy xem làm thế nào để chơi với các con số cong, nhìn vào những con bò bên dưới. 
 
 
 Hình ảnh hàng đầu: cách cũ (Hessian). Giống như chụp CT, nó cắt bò thành các phần. hữu ích cho một cái nhìn nhanh chóng, nhưng bạn không bao giờ thực sự nắm bắt sự xoắn của toàn bộ cơ thể. Bottom figure: số uốn cong. Thay vì các mảnh, chúng tôi đóng gói con bò thành các khuôn liên tiếp. K1 cho một phong bì màu vàng rộng. K2 thắt chặt với một halo màu đỏ cong với bề mặt. K3 niêm phong nó với một làn da xanh lá cây ôm lấy con bò mà chúng tôi thực sự quan tâm. Bước từng bước, bản phác thảo thô trở thành một khuôn thật. 
 
 Đây là người thay đổi trò chơi mà chúng tôi đã chờ đợi: các nhà tối ưu hóa thời điểm cuối cùng có thể được gọi là các nhà tối ưu hóa tự động - không phải là những hacks mong manh cần điều chỉnh thủ công liên tục bất cứ khi nào điều kiện thay đổi. Đây là game-changer mà chúng tôi đã chờ đợi: thời điểm tối ưu hóa cuối cùng có thể được gọi - Không phải là các hacks mỏng manh cần điều chỉnh thủ công liên tục bất cứ khi nào điều kiện thay đổi. automatic optimizers Và đây là cách mạng: với các số cong như toán học, và C++23 như động cơ, bộ tối ưu hóa không còn phụ thuộc vào sự điều chỉnh vô tận của con người. Tại sao điều này lại quan trọng?Bởi vì các nhà tối ưu hóa không chỉ là một chi tiết của AI. : every modern system 
 
 
 
 AI & Machine Learning: Không có các nhà tối ưu hóa, không có đào tạo, không có học tập, không có trí thông minh. Công nghiệp & Kỹ thuật: Từ hậu cần đến mạng lưới năng lượng, từ robot đến hàng không vũ trụ - mọi hệ thống tự động đều được tối ưu hóa dưới sự hạn chế. Kinh tế ở lớn: Tài chính, sản xuất, thậm chí cả khám phá ma túy - tất cả đều dựa vào vòng lặp tối ưu hóa, và tất cả đều bị cuốn hút bởi thực tế là các nhà tối ưu hóa ngày nay vẫn đòi hỏi quân đội các kỹ sư để chăm sóc toán học thế kỷ 19. Đó là chướng ngại vật.Đó là lý do tại sao tự động hóa hoàn toàn đã dừng lại.Nếu không có các bộ tối ưu hóa tự động thực sự, các ngành công nghiệp vẫn còn bán tự động: máy móc giả vờ tự chạy, nhưng trong thực tế vẫn dựa vào sự điều chỉnh bằng tay của con người liên tục. Tôi hy vọng bạn sẽ thấy bây giờ rằng đây không phải là một nâng cấp nhỏ. nó là, mà không có sự phóng đại, một ngưỡng công nghệ văn minh - đến vào một thời điểm quan trọng của cuộc sống. Số độ cong trong C++23 biến việc tối ưu hóa thành một quá trình tự động – anh hùng vô hình không ai đề cập đến, nhưng không có nó, không AI cũng như ngành công nghiệp có thể được tin tưởng để chạy hoàn toàn tự động. Sự hoài nghi ngày càng tăng đối với AI Sự hoài nghi ngày càng tăng đối với AI C++: Ngôn ngữ duy nhất có thể khai thác các số cong đến tối đa Hãy nhìn vào biểu đồ dưới đây, nó nói cho chính nó. Ở bên trái: (SGD, Adam, L-BFGS). những con ngựa làm việc của AI ngày nay. classical optimizers số cong (ε*) trong C++23. Sự khác biệt khá nhạy cảm: Các nhà tối ưu hóa cũ đi lên bởi vì họ sử dụng kích thước bước cố định, chẳng hạn như di chuyển về phía trước mờ nhạt. Trở lại những năm 1980, đã chứng minh rằng bạn có thể làm tốt hơn bằng cách cho phép bước thích nghi với độ dốc của địa hình. "số độ cong" đẩy ý tưởng này thậm chí còn xa hơn: thay vì đoán, bạn sử dụng các dẫn xuất chính xác (thông qua số kép / máy bay phản lực) và các bước nhận thức địa hình phù hợp với máy. và với các công cụ C++23 như , và , bạn có thể viết các tối ưu hóa này theo cách nhanh chóng và an toàn, ngay tại thời điểm biên soạn. Phương pháp Barzilai-Borwein constexpr Mdspan Dự kiến Phương pháp Barzilai-Borwein Và nó không dừng lại ở đó: hiệu quả bộ nhớ, độ bền tiếng ồn, thông tin thứ hai, song song, bảo đảm lý thuyết - cách tiếp cận cong chiến thắng trên bảng. Chúng ta đang phóng đại? những ngôn ngữ khác thì sao? Giọng nói của người hoài nghi có thể dự đoán được: “Tất nhiên, C++ rất quan trọng trong quá khứ, nhưng nó không phải là một ngôn ngữ cũ sẵn sàng được thay thế bằng các ngôn ngữ hiện đại như Python, Rust hay Julia?” Xem biểu đồ bên dưới. Nhấn Enter hoặc Click để xem hình ảnh ở kích thước đầy đủ Dữ liệu trả lời cho chính nó. 
 
 
 
 
 Python (màu vàng): Ngay cả với các bộ tăng tốc GPU như CuPy hoặc Numba, Python kéo phiên dịch trên đầu vào mỗi vòng tròn. Throughput sụp đổ, độ trễ cao, bộ nhớ hiệu quả xe tăng. Nó là một công cụ năng suất cho nguyên mẫu, không phải là nền tảng cho các tối ưu hóa quy mô văn minh. Rust (đỏ): Tuy nhiên, trong các hệ sinh thái tính toán GPU, nó vẫn còn trẻ – không có đống trưởng thành để tích hợp trực tiếp với CUDA/ROCm/SYCL. C++23 (xanh): Các hoạt động Monadic (std::expected, std::variant) hợp nhất trực tiếp với các lõi GPU. C++ 23 cho phép bạn xây dựng một "thùng chứa toán học", một thùng chứa monadic, nơi các quy tắc của tính toán mới của bạn được xây dựng trong chính thùng chứa. Mỗi khi bạn sử dụng nó, toán học chính xác xảy ra tự động - không có con người kiểm tra thủ công các thông số mọi lúc, không có ngưỡng hội tụ, chỉ là các hoạt động algebra thuần túy chảy qua các đường ống monadic. Các mẫu mã hóa algebra đường cong tại thời gian biên dịch. chậm trễ, độ chính xác, công suất, quy mô, hiệu quả năng lượng - trên mọi trục, C++23 đi trước. Đây không phải là nỗi nhớ. Nó không phải là về việc gắn bó với một con ngựa làm việc cũ. Nó là về thực tế hiệu suất. Và trong thực tế hiệu suất, C++23 không chỉ cạnh tranh - nó là . miles ahead Lời kêu gọi sở hữu C++ không nên quay trở lại. nó được cho là sẽ chết im lặng trong khi thế giới chuyển sang các công cụ an toàn hơn, đơn giản hơn, chậm hơn. nhưng lịch sử không di chuyển theo đường thẳng - và đây là chúng ta, với C++23 mang vũ khí sắc nét nhất nền văn minh của chúng ta có cho tự động hóa thực sự. Bài học rất đơn giản: Nếu không có họ, AI là sân khấu.Với họ, tự động hóa trở thành hiện thực.Và bây giờ, lần đầu tiên, chúng tôi nắm giữ một khuôn khổ - số cong, hợp nhất vào C++23 - làm cho tối ưu hóa tự động. optimizers are not side details. They are the hidden engines of everything that adapts, learns, and runs at scale. Vậy thì đây là thách thức. Đừng chờ Big Tech ban phước cho bạn với "AI như một dịch vụ."Đừng chờ đợi các gói Python hoặc liên kết Rust để bắt kịp.Đừng chờ chu kỳ hype tiếp theo để cho bạn biết những gì quan trọng. Lấy các công cụ của bạn. Viết các lõi. Kiểm tra các số cong. Xây dựng các đường ống. và bạn sẽ thấy bởi chính mình rằng tự động hóa đầy đủ đã ở đây- Take ownership. Open the compiler. The future is yours to build.

Keep Reading: The Real Tech Narrative continues here

Nghe bài viết này bằng Tiếng Anh, đọc bởi robot thông minh của HackerNoon

Khi ngôn ngữ lập trình lâu đời nhất vượt qua AI mới nhất

About Author

BÌNH LUẬN

chuyên mục

BÀI VIẾT NÀY CŨNG CÓ MẶT TẠI

Related Stories

72 Stories To Learn About Adam Smith

178 Stories To Learn About Essay

581 Stories To Learn About Non Fiction

85 Stories To Learn About Productivity Hacks

72 Stories To Learn About Adam Smith

178 Stories To Learn About Essay

581 Stories To Learn About Non Fiction

85 Stories To Learn About Productivity Hacks

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps