Стартап у сфері ІІ-інфраструктури Kodamai вийшов з режиму прихованої розробки, представивши свою платформу Kelvingrove — унікальну систему корпоративних ІІ-агентів. Працюючи одночасно у Великій Британії та Саудівській Аравії, платформа виділяється своїм підходом: вона відмовляється від «імовірнісного» ІІ, заснованого на статистичній достовірності, на користь «доказово коректного» ІІ, що базується на строгих математичних принципах.
Від ймовірності до впевненості: новий підхід до ІІ
Більшість сучасних корпоративних ІІ-агентів працюють за моделлю правдоподібності: вони генерують відповіді, які здаються правильними на основі виявлених патернів, але у них немає механізму, що гарантує точність. Це створює «дефіцит довіри», який заважає багатьом галузям впроваджувати автономних агентів у критично важливі бізнес-процеси.
Kodamai вирішує цю проблему, використовуючи комбінацію трьох передових математичних та обчислювальних дисциплін:
- Теорія категорій: забезпечує формальну структуру взаємозв’язків між різними агентами, робочими процесами та системами.
- Теорія типів: встановлює «контракти інтерфейсів» для кожного агента, гарантуючи, що дані, що передаються між ними, відповідають суворим, що перевіряється машиною вимогам.
- Нейросимвольний ІІ: поєднує здібності великих мовних моделей (LLM) до розпізнавання образів із суворою логікою символьних обчислень, що дозволяє контролювати результати роботи LLM перед їх виконанням.
Розділяючи розуміння природної мови та детерміноване виконання завдань, платформа Kelvingrove гарантує, що помилка одного агента не зможе непомітно поширитись по всій мережі. Кожна дія математично перевіряється до його вчинення і залишається повністю перевіряється (аудується) після виконання.
Стратегічне розгортання: захист ланцюжків поставок продовольства
У своєму першому великому комерційному кроці Kodamai залучила в якості корпоративного клієнта компанію First Mills – провідного виробника борошна в Саудівській Аравії.
Це використання має важливе значення з кількох причин:
1. Масштаб: Kelvingrove впроваджується на всіх чотирьох виробничих об’єктах First Mills.
2. Критична важливість: Платформа керуватиме координацією ланцюжків поставок, контролем якості та прогнозуванням попиту — у тих галузях, де єдина помилка ІІ може призвести до величезних фінансових втрат або вплинути на національну продовольчу безпеку.
3. Регіональна значимість: Це перший випадок великомасштабного розгортання ІІ-інфраструктури, що математично верифікується в Саудівській Аравії.
Позиціювання як «операційного шару»
Kodamai не намагається замінити існуючі інструменти ІІ або LLM. Навпаки, платформа спроектована як інтелектуальний операційний шар, що працює поверх них. Завдяки сумісності з будь-якою мовною моделлю та будь-якою існуючою корпоративною системою, компанії можуть зберігати свої поточні інвестиції в програмне забезпечення, додаючи до них рівень математичної суворості та безпеки.
Компанія під керівництвом засновника та генерального директора доктора Махі Ашур — фізика та серійного підприємця — орієнтується на високорегульовані сектори, де «галюцинації» чи помилки неприпустимі. До них відносяться:
* Виробництво та енергетика
* Фінансові послуги
* Охорона здоров’я
* Логістика
Чому це важливо
Перехід від «програмної інженерії» до «математичної коректності» є фундаментальним зрушенням у способах інтеграції ІІ в економіку. В той час, як нинішній бум ІІ зосереджений на збільшенні розмірів моделей та покращенні навичок спілкування, Kodamai фокусується на їхній надійності. Якщо платформа досягне успіху, це дозволить автономним агентам управляти складними, високоризикованими робочими процесами, на яких тримається глобальна інфраструктура.
Застосовуючи фундаментальну математику, таку як теорія категорій, до ІІ, Kodamai прагне перетворити агентів з непередбачуваних помічників на промислові інструменти, що верифікуються.
Висновок
Запуск Kodamai знаменує перехід до дисциплінованішої ери ІІ, де математичне підтвердження замінює статистичні припущення. Уклавши партнерство з First Mills, стартап доводить, що «доказово коректний» ІІ має негайне та життєво важливе застосування у глобальних ланцюжках поставок.
