И отново, той се появява като най-мощният език за програмиране - не само за нашите традиционни фон Ноймански архитектури, нито просто за настоящата GPU компютърна надпревара, но за нещо много по-дълбоко, отколкото бихме могли да си представим: оптимизаторите, които образуват биещото сърце на съвременния ИИ. Те се опитват да го убият, за да го погребат за добро. Те се опитват да го убият, за да го погребат за добро. Но нека не спираме там. Цели нишки от неговата ДНК от 80-те години на миналия век са били разкъсани и заменени с нещо безпрецедентно. Най-новата версия на C++ Най-новата версия на C++ 
 
 Една функция, едва забележима, носи огромно предимство: монодичните операции в C++23 — std::expected, std::optional, и std::variant работят заедно. Те не са просто функционално програмиране захар. Те са основата за прилагане на нов вид оптимизационна изчислителна кривина , което е радикално отклонение от базирани на граници изчисления, които задържат модерната оптимизация и напредъка на AI. Една функция, едва забележима, носи огромно предимство: - на   и   Те не са просто функционално програмиране захар. Те са основата за прилагане на нов вид оптимизация изчисление радикално отклонение от граничните изчисления, които задържат модерната оптимизация и напредъка на изкуствения интелект. monadic operations in C++23 std::expected , std::optional , std::variant работа Кърменето, това е Любопитни за скритата страна на технологиите?Открийте повече на страницата на José Crespo, PhD Кризата в средата на живота на оптимизатора – защо C++23 е чисто злато Вие го изпитвате през цялото време, с разочарование, когато: Spotify плъзга същите 20 песни. Instagram бута ярост. Тесла липсва пожарна камион (надявам се не ). Модел отива NaN след 72 часа на $ 50k на GPUs. ChatGPT продължава да рисува човешки ръце с шест пръста. И ето защо: Различни повърхности, същият проблем под тях.Ние използваме математика от 1820-те години, за да изпълняваме алгоритми през 2025 г. И един език за програмиране току-що разбра как да го поправи. Да, правилно: съвременният C++ (C++23). Той ви дава инструментите, за да направите стъпката на вашия оптимизатор да използва терена, а не едно-размер-подходящо-всичко правило. 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. Това ви заслепява до общата форма и е трудно да се автоматизира, когато условията продължават да се променят, тъй като реалният код се движи в крайни, шумни, плаващи точки стъпки. Защо? защото, за съжаление, нашата рамка за изчисление от 19-ти век, която научихме, е точка-първа Защо? защото, за съжаление, нашата рамка за изчисление от 19-ти век, която научихме, е точка-първа - алтернатива на по-старите изчисления - настроен за автоматизирани AI системи, които задвижват милиарди актуализации на оптимизация в секунда, далеч извън ръчния надзор. Нуждаем се от различен математически инструмент Нуждаем се от различен математически инструмент За щастие за нас има математическо чудо за това – Числата на кривата – за разлика от почитателния, но миопичен калкулатор, числата на кривата виждат цялата форма, проектирана във всичките си измерения, вместо една точка, нарязана една по една през всяко от нейните измерения. Опишете го с един прост пример: Старата калкулация вижда дърветата преди гората, новата, базирана на истински безкрайни малки числа, вижда първо гората, след това дърветата и листата на дърветата. Така че отново - както много пъти в историята - трябва да променим тактиката, когато социалните, икономическите и технологичните нужди изискват нова математика. Как C++ прави това възможно? Отървете се от хипето и повечето от неуспехите на AI се свеждат до оптимизация – обикновено в два киселинни вкуса: NaN explosion after expensive training: Или сте направили стъпка, която е прекалено голяма за остър завой, или сте стигнали до лошо място в компютърната мрежа от номера.Компютрите имат само определени "номерни слотове"; ако вашата стойност стане твърде голяма или твърде малка за тези слотове, математиката става странна (NaN), а бягането се срива. Копилотът предлага бъгове: Перфектната ирония - моделът може да научи грешния модел толкова добре, че продължава да прави точно грешката, която се опитвате да поправите.Това е оптимизатор за паркиране в крехки минимуми, които изглеждат стабилни точка по точка, но се сриват, когато промените контекста. Сега нека видим как да играем с криволичещи числа, погледнете кравите по-долу. 
 
 
 Топ фигура: старият начин (Хесиански). Като CT сканиране, той нарязва кравата на части. Полезно за бърз поглед, но никога не улавяте въртенето на цялото тяло. К1 дава широка жълта обвивка. К2 се затяга с червено хало, което се огъва с повърхността. К3 го запечатва със зелена кожа, която прегръща кравата, за която наистина се грижим. Стъпка по стъпка грубата скица се превръща в истинска форма. 
 
 Това е променителят на играта, който чакахме: оптимизаторите на момента най-накрая могат да бъдат наречени автоматични оптимизатори - не крехки хакове, които се нуждаят от постоянно ръчно настройване, когато се променят условията. Това е променителят на играта, който чакахме: оптимизаторите на момента най-накрая могат да бъдат наречени автоматични оптимизатори - не крехки хакове, които се нуждаят от постоянно ръчно настройване, когато се променят условията. И тук се крие революцията: с числата на кривината като математика, а C++23 като двигател, оптимизаторът вече не зависи от безкрайни човешки настройки. Защо това има значение?Защото оптимизаторите не са само детайл от AI.Те са скритата машина на : every modern system 
 
 
 
 AI & Machine Learning: Без оптимизатори няма обучение, няма учене, няма интелигентност. Промишленост и инженерство: От логистиката до енергийните мрежи, от роботиката до космическото пространство – всяка автоматизирана система се свежда до оптимизация под ограничения. Финансиране, производство, дори откриване на лекарства – всичко се основава на оптимизационни кръгове, и всички те са подтиснати от факта, че днешните оптимизатори все още изискват армии от инженери, за да се грижат за математиката от 19-ти век. Без истински автоматични оптимизатори, индустриите остават полуавтоматизирани: машини, които се преструват, че работят сами, но в действителност все още разчитат на постоянно човешко ръчно регулиране. Надявам се, че сега ще видите, че това не е малка надстройка.Това е, без преувеличение, цивилизационен технологичен праг, който идва в критичен момент от живота. Числата на кривината в C++23 превръщат самата оптимизация в автоматизиран процес – невидимия герой никой не споменава, но без него нито AI, нито индустрията могат да бъдат доверени да работят напълно автоматизирани. Нарастващият скептицизъм към Нарастващият скептицизъм към C++: Единственият език, който може да използва кривите числа до максимума Вижте картата по-долу, тя говори сама за себе си. От ляво наляво: (SGD, Adam, L-BFGS) Работните коне на AI днес. classical optimizers Кръстосани числа (ε*) в C++23. Разликата е доста изненадваща: Старите оптимизатори пътуват, защото използват фиксирани размери на стъпките, като маршируване напред с наклонени очи. Обратно към 80-те години, "Курвационни числа" тласкат тази идея още по-далеч: вместо да гадаете, използвате точни деривати (чрез двойни / самолетни номера) и полеви стъпки, които се вписват в машината. , и , можете да напишете тези оптимизатори по начин, който е бърз и безопасен, точно в края на времето за компилиране. Методът Barzilai-Borwein констатацията МДСПАН Очаква се Методът Barzilai-Borwein И това не спира дотук: ефективността на паметта, устойчивостта на шума, информацията от втори ред, паралелизмът, теоретичните гаранции – подходът на кривината печели през цялата дъска. А какво ще кажете за другите езици? Гласът на скептиците е предсказуем: "Разбира се, C++ е бил важен в миналото, но не е ли просто стар връстник, готов да бъде заменен от съвременни езици като Python, Rust или Julia?" Вижте картата по-долу Натиснете Enter или кликнете, за да видите изображението в пълен размер Данните отговарят сами за себе си. 
 
 
 
 
 Python (жълто): Дори с GPU ускорители като CuPy или Numba, Python плъзга интерпретатора над главата във всяка верига. Ръст (червен): Блестящ за безопасност и съвместимост, но в GPU изчислителните екосистеми той все още е млад – няма зряла купчина за директна интеграция с CUDA/ROCm/SYCL. C++23 (зелено): Monadic операции (std::expected, std::variant) се сливат директно с GPU ядра. C++ 23 ви позволява да се изгради "математически контейнер", монодичен контейнер, където правилата на вашия нов изчисление са вградени в самия контейнер. Всеки път, когато го използвате, правилната математика се случва автоматично - няма хора ръчно проверяване на параметри през цялото време, няма прагове на конвергенция, само чисти алгебрични операции текат през монодични тръбопроводи. Шаблоните кодират алгебрата на кривината по време на компилацията.Латентност, прецизност, пропускливост, мащабиране, енергийна ефективност – през всяка ос, C++23 е на преден план. Това не е носталгия. Не става дума за придържане към стар работен кон. Става дума за реалност на производителността. И в реалността на производителността, C++23 не е само конкурентен - това е . miles ahead Призив за собственост C++ не е трябвало да се върне.Той трябваше да умре тихо, докато светът се премести към по-безопасни, по-прости, по-бавни инструменти.Но историята не се движи в прави линии - и тук сме, с C++23, който носи най-острите оръжия, които нашата цивилизация има за реална автоматизация. Урокът е прост: Без тях, AI е театър.С тях автоматизацията става реалност.И сега, за първи път, имаме рамка – криволинейни числа, обединени в C++23 – която прави оптимизацията автоматична. optimizers are not side details. They are the hidden engines of everything that adapts, learns, and runs at scale. Ето го и предизвикателството. Не чакайте Big Tech да ви благослови с "AI като услуга".Не чакайте Python опаковки или Rust връзки да се уловят.Не чакайте следващия цикъл на хип, за да ви каже какво има значение. Вземете инструментите сами. Напишете ядрата. Тествайте числата на кривината. Изградете тръбопроводи. и ще видите сами, че пълната автоматизация вече е тук- Take ownership. Open the compiler. The future is yours to build.

Keep Reading: The Real Tech Narrative continues here

Това аудио е създадено на оригиналния език на историята!

Когато най-старият език за програмиране надхвърля най-новия AI

About Author

КОМЕНТАРИ

ЗАКАЧВАЙТЕ ЕТИКЕТИ

ТАЗИ СТАТИЯ Е ПРЕДСТАВЕНА В

Related Stories

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps