CodeLogician — новий автодоповнювач коду, який вирішує проблему галюцинацій

Представники стартапу Imandra стверджують, що їхня розробка під назвою CodeLogician виводить автодоповнення коду на новий рівень. На відміну від подібних інструментів, таких як GitHub Copilot, віртуальний помічник CodeLogician базується на новій концепції «нейросимволічний штучний інтелект», яка дозволяє застосовувати для генерації коду міркування. Це робить код набагато менш схильним до так званих «галюцинацій» або неточностей, пише Silicon Angle.

Автоматично перетворюючи створений ним код у математичні моделі, CodeLogician може генерувати тести, які підтверджують точність цього коду. Таким чином, CodeLogician є не лише помічником для кодування, але й інструментом перевірки, допомагаючи розробникам виявляти будь-які вразливості безпеки та доводити, що код працює належним чином.

CodeLogician створено з використанням фреймворку LangGraph, і його базова версія поки що сумісна лише з мовою програмування Python. В майбутніх оновленнях команда обіцяє додати підтримку Java і COBOL.

Творці CodeLogician запевняють, що їхній інструмент змінить продуктивність розробників, позбавивши від необхідності вручну перевіряти тисячі рядків коду, створеного штучним інтелектом.

Співзасновник і виконавчий директор Imandra Грант Пассмор вважає, що існуючі генеративні інструменти кодування мають недоліки, тому що вони не можуть гарантувати точність створеного ними коду.

«CodeLogician виходить за рамки генеративного штучного інтелекту, використовуючи математичне міркування, щоб гарантувати, що код справді працює так, як задумано», — заявив Пассмор.

CodeLogician вже доступний для ранніх тестувальників, всім іншим розробникам пропонується зареєструватися в списку очікування для отримання доступу. Після публічного релізу інструмент стане доступним через API, а також як розширення VS Code у Visual Studio Code Marketplace.