Sztuczna inteligencja (AI) szybko zmienia proces tworzenia oprogramowania, ale pojawia się nowy problem: Kod generowany przez sztuczną inteligencję często zawiera błędy. Chociaż systemy te przyspieszają rozwój, powstałe oprogramowanie może być pełne błędów, co ostatecznie spowalnia projekty. To główny problem, z którym boryka się obecnie coraz więcej startupów z Doliny Krzemowej.
Powstanie kodowania AI i jego pułapki
W styczniu badanie przeprowadzone na Uniwersytecie Carnegie Mellon zidentyfikowało kluczową wadę obecnych narzędzi do kodowania AI. Systemy te mogą szybko generować kod, ale jakość jest niestabilna i mają tendencję do wprowadzania błędów, które programiści muszą później naprawić. Długoterminowym skutkiem może być zwiększony dług techniczny i wolniejsze cykle innowacji, pomimo początkowego wzrostu szybkości.
Kwestia ta jest szczególnie istotna w sytuacji, gdy kodowanie AI staje się coraz powszechniejsze. Narzędzia takie jak Codex firmy OpenAI i Claude Code firmy Anthropic są już używane przez wielu programistów i oczekuje się, że ich wykorzystanie będzie nadal rosło. Jeśli jednak wygenerowany przez nich kod będzie zawodny, może podważyć cały proces rozwoju sztucznej inteligencji.
Dolina Krzemowa podejmuje działania: weryfikacja jako kolejna granica
Kilka nowych firm pozycjonuje się jako rozwiązania tego problemu. Axiom Math, Harmonic (obie z siedzibą w Palo Alto) i Logical Intelligence (San Francisco) koncentrują się na budowaniu systemów sztucznej inteligencji, które mogą automatycznie sprawdzać kod, zasadniczo udowadniając, że jest on poprawny w ten sam sposób, w jaki matematycy dowodzą twierdzeń.
„Weryfikacja kodu to prawdopodobnie kolejna granica” – mówi Carina Hong, dyrektor generalna i założycielka Axiom. Firma właśnie pozyskała 200 milionów dolarów finansowania od firm venture capital, w tym Menlo Ventures, Greycroft i Madrona, podnosząc swoją wycenę do 1,6 miliarda dolarów pomimo zaledwie roku istnienia i zespołu liczącego około 20 osób.
Dlaczego weryfikacja ma znaczenie: przyszłość rozwoju opartego na sztucznej inteligencji
Napływ kapitału wysokiego ryzyka sygnalizuje, że inwestorzy uznają kluczowe znaczenie niezawodnego kodu generowanego przez sztuczną inteligencję. Możliwość automatycznego przeglądania kodu to nie tylko poprawka techniczna, to warunek wstępny powszechnego zastosowania sztucznej inteligencji w tworzeniu oprogramowania. Bez niej obietnica szybszego i wydajniejszego kodowania pozostanie niespełniona.
Jeśli nie można ufać kodowi wygenerowanemu przez sztuczną inteligencję, programiści powrócą do ręcznego przeglądu, negując korzyści płynące z automatyzacji. Wyścig w tworzeniu solidnych narzędzi weryfikacyjnych ma zatem kluczowe znaczenie dla długoterminowego sukcesu sztucznej inteligencji w tworzeniu oprogramowania.
