Стартап AA-I Technologies разработал концепцию экспертного ИИ, которая обещает высокую точность в научных рассуждениях и решение задач оптимизации. Стартап привлек $200 миллионов.

Большинство современных рассуждающих моделей – от OpenAI o1 до DeepSeek-R1 – хорошо справляются с задачами, которые они освоили на этапе тренировки, но испытывают трудности при решении принципиально новых типов задач, которым они не обучались. AA-I Technologies предлагает новый подход, названный PAC-рассуждением (Probably Approximately Correct Reasoning) – механизм, который позволяет модели контролировать точность на каждом шаге решения задачи.

Главное преимущество метода – способность разбивать сложные проблемы на подзадачи с гарантированным контролем ошибок на каждом этапе. Модель может использовать как восходящие, так и нисходящие стратегии рассуждения, что делает ее достаточно гибкой для решения разных типов задач от инженерных до научных. В отличие от обычных моделей, которые могут накапливать ошибки в длинных цепочках рассуждений, PAC-рассуждение обещает сохранять точность при многоступенчатом анализе.

Команда AA-I Technologies создала новый тестовый набор из 220 задач динамического программирования на графах. Эти задачи требуют глубокого понимания топологии, геометрии и комбинаторики. Все ведущие модели, включая OpenAI o3, решили менее 1% задач, при этом ИИ-модель AA-I Technologies справляется с задачами достаточно уверенно. Это показывает, что универсальные рассуждающие модели не готовы к задачам, для которых разработан подход PAC-рассуждений, а это задачи реальной оптимизации в логистике, проектировании сетей и других сложных областях.

Сооснователь AA-I Technologies Амнон Шашуа уже доказал способность превращать исследовательские идеи в коммерческий успех. Он создал компанию Mobileye, чьи системы автономного вождения установлены на более чем 200 миллионах автомобилей.

Стартап привлек $200 миллионов в раунде c участием Nvidia. Оценка AA-I Technologies превысила миллиард долларов.

newsru.co.il