Стартап в сфере ИИ-инфраструктуры Kodamai вышел из режима скрытой разработки, представив свою платформу Kelvingrove — уникальную систему корпоративных ИИ-агентов. Работая одновременно в Великобритании и Саудовской Аравии, платформа выделяется своим подходом: она отказывается от «вероятностного» ИИ, основанного на статистической достоверности, в пользу «доказуемо корректного» ИИ, базирующегося на строгих математических принципах.
От вероятности к уверенности: новый подход к ИИ
Большинство современных корпоративных ИИ-агентов работают по модели правдоподобности: они генерируют ответы, которые кажутся правильными на основе выявленных паттернов, но у них нет механизма, гарантирующего точность. Это создает «дефицит доверия», который мешает многим отраслям внедрять автономных агентов в критически важные бизнес-процессы.
Kodamai решает эту проблему, используя комбинацию трех передовых математических и вычислительных дисциплин:
- Теория категорий: обеспечивает формальную структуру взаимосвязей между различными агентами, рабочими процессами и системами.
- Теория типов: устанавливает «контракты интерфейсов» для каждого агента, гарантируя, что передаваемые между ними данные соответствуют строгим, проверяемым машиной требованиям.
- Нейросимвольный ИИ: объединяет способности больших языковых моделей (LLM) к распознаванию образов со строгой логикой символьных вычислений, что позволяет контролировать результаты работы LLM перед их исполнением.
Разделяя понимание естественного языка и детерминированное выполнение задач, платформа Kelvingrove гарантирует, что ошибка одного агента не сможет незаметно распространиться по всей сети. Каждое действие математически проверяется до его совершения и остается полностью проверяемым (аудируемым) после выполнения.
Стратегическое развертывание: защита цепочек поставок продовольствия
В своем первом крупном коммерческом шаге Kodamai привлекла в качестве корпоративного клиента компанию First Mills — ведущего производителя муки в Саудовской Аравии.
Данное внедрение имеет важное значение по нескольким причинам:
1. Масштаб: Kelvingrove внедряется на всех четырех производственных объектах First Mills.
2. Критическая важность: Платформа будет управлять координацией цепочек поставок, контролем качества и прогнозированием спроса — в тех областях, где единственная ошибка ИИ может привести к огромным финансовым потерям или повлиять на национальную продовольственную безопасность.
3. Региональная значимость: Это первый случай крупномасштабного развертывания математически верифицируемой ИИ-инфраструктуры в Саудовской Аравии.
Позиционирование как «операционного слоя»
Kodamai не пытается заменить существующие ИИ-инструменты или LLM. Напротив, платформа спроектирована как интеллектуальный операционный слой, работающий поверх них. Благодаря совместимости с любой языковой моделью и любой существующей корпоративной системой, компании могут сохранять свои текущие инвестиции в ПО, добавляя к ним уровень математической строгости и безопасности.
Компания под руководством основателя и генерального директора доктора Махи Ашур — физика и серийного предпринимателя — ориентируется на высокорегулируемые сектора, где «галлюцинации» или ошибки недопустимы. К ним относятся:
* Производство и энергетика
* Финансовые услуги
* Здравоохранение
* Логистика
Почему это важно
Переход от «программной инженерии» к «математической корректности» представляет собой фундаментальный сдвиг в способах интеграции ИИ в экономику. В то время как нынешний бум ИИ сосредоточен на увеличении размеров моделей и улучшении навыков общения, Kodamai фокусируется на их надежности. Если платформа добьется успеха, это позволит автономным агентам управлять сложными, высокорискованными рабочими процессами, на которых держится глобальная инфраструктура.
Применяя фундаментальную математику, такую как теория категорий, к ИИ, Kodamai стремится превратить агентов из непредсказуемых помощников в верифицируемые промышленные инструменты.
Заключение
Запуск Kodamai знаменует переход к более дисциплинированной эре ИИ, где математическое доказательство заменяет статистические догадки. Заключив партнерство с First Mills, стартап доказывает, что «доказуемо корректный» ИИ имеет немедленное и жизненно важное применение в глобальных цепочках поставок.
