Nawa ake yin yanke shawara game da cewa amsar AI tana da aminci, musamman don code na production?

Question

Accepted Answer

Dauki amsar AI kamar **jajjali mafi zafi daga abokin aiki da kowa amma ba a sa shi makasuwa ba**: yana da amfani, sau da yawa yake daidai, amma ba yammu waye damje shi bakansa. Aminci yana zuwa daga *tantance*, ba daga nawa take nan-nan alamu.

## Tunanin ainihi

**Tabbaci ba shi da alaka da gaskiya.** LLM yana kirkirar kalimomi masu dadi ko kuwa ba haka ba (shi ne mai kirkirar tokila gaba, ba ajiya gaskiya ba). API da aka halifta da daya da mutuwa suna karanta daidai. Sabili da haka ba za ka iya yanke aminci ta hadewa ba — kawai da abin da za ka iya tabbatarwa.

## Jerin gaskiya na aiki

- **Kawo shi.** Domin code, sigina mafi zafi shine aiwatawa: tests, type checker, linter, compiler. Code da ya wuce gaske test suite ya fi aminci fiye da code da kawai yake daidai.
- **Bita hallucinated APIs.** Tabbata cewa kowane aikin, hanya, flag, da shigowa suna kasancewar gida — a cikin docs ko saman nasara, ba daga alaƙa ba. APIs da aka ƙarya amma da kyau sune kore jaddada.
- **Tabbata jiya wurin gida da aminci.** Duba damkar jiya cikin resmi docs, gida ko nasi source code — ba jiya maida kalaman model ba.
- **Yi tunanin shekarun gida da kariya.** Null/empty inputs, daidaitawa, hanyoyin kuskure, kawo, ƙariya. AI sau da yawa yana aiki da hanyar murna kuma yana barin hadaddun dangaje.
- **Fi ka so abin da za ka iya tabbatarwa.** Ka fi hankali ga halaye da za ka iya tantance ko duba gida fiye da matakai masu wayo-amma masu lumunshi da za ka yi aminci ne.
- **Buƙata sakewa ta ɗan adam domin hanyoyi masu mahimmanci.** Auth, kuɗi, sharedar bayanai, sadarwa, infra — mutum mai hikima wanda ya fahimta tsarin dole ya yarda, duk da wajen yake daidai.

## Sakadar gaskiya

```text
Verifiable + verified        → trust
Verifiable + not yet checked → verify before using
Not verifiable               → don't depend on it
```

## Yasa ya matufi

A cikin production, amsar da ba da kuzari ba ce da ta kamata yake mafi haushi fiye da daya da babuwa, saboda tana kewaye. Yayin da AI ta kirkirar karin code, haddi yana juyar daga *kirkirar* zuwa *tantance*. Yanke shawara da kaje shi ne jujjuya wannan: sanin cewa fluency ba shaida game da kuzari ba, cewa **tabbacin model ba shi da bayanai game da kuzari ba**, da cewa aminci dole ne a bade shi ta hanyar tests, wurin gida, da sakewa ta ɗan adam akan abin da ke matufi. Injina-injina da ke zamawa tare da aminci sune wanda suke tantance maimakon gaskiya.