Corca привлекла 7,8 миллиона долларов для революционизации математических рабочих процессов для эры ИИ

Математика лежит в основе современной инженерии, финансов, научных исследований и искусственного интеллекта. Однако, несмотря на то, что она обеспечивает работу некоторых из самых передовых технологий мира, инструменты, используемые для создания и сотрудничества в математической работе, удивительно мало изменились за последние несколько десятилетий.

Теперь стартап Corca, базирующийся в Нью-Йорке, стремится модернизировать этот опыт. Компания объявила о раунде финансирования в размере 7,8 миллиона долларов под руководством NEA, с участием Bloomberg Beta, Daft Capital и NVentures. Новая капитал будет использована для расширения команды инженеров компании, дальнейшего развития ее возможностей ИИ и ускорения разработки продукта.

Проблема, скрытая на виду

Хотя разработка программного обеспечения прошла через совместные платформы кодирования, облачные среды разработки и помощники кодирования ИИ, математическая работа остается фрагментированной на коллекцию инструментов, которые были первоначально разработаны десятилетия назад.

Инженеры могут использовать MATLAB для расчетов, платформы моделирования для моделирования и отдельные инструменты документации для обмена результатами. Исследователи часто перемещаются между блокнотами, досками, PDF-файлами, скриншотами и документами LaTeX, чтобы общаться идеи. В результате получается рабочий процесс, который может быть удивительно громоздким для работы, которая все больше обеспечивает работу систем ИИ, робототехники, аэрокосмической конструкции, количественной финансовой аналитики и научных открытий.

Основатели Corca утверждают, что никогда не было真正щего совместного рабочего пространства, построенного специально для математики. Вместо этого пользователям пришлось адаптировать инструменты, которые были первоначально разработаны для публикации уравнений, а не для активной работы с ними.

Создание “курсора для математики”

Corca описывает свою платформу как совместное математическое рабочее пространство, родное для ИИ, которое объединяет редактирование уравнений, символическое рассуждение, вычисления и сотрудничество в реальном времени в браузерной среде.

В отличие от традиционного математического программного обеспечения, которое часто требует специального синтаксиса или знаний программирования, Corca позволяет пользователям писать математику с помощью естественных входных данных. Ввод терминов, таких как “интеграл” или “корень”, автоматически генерирует соответствующую нотацию без необходимости для пользователей запоминать команды или правила форматирования.

Интерфейс платформы больше напоминает современные совместные инструменты продуктивности, чем устаревшее математическое программное обеспечение. Несколько пользователей могут работать одновременно над уравнениями, моделями и расчетами, подобно тому, как команды сотрудничают в Google Docs или Figma. Встроенные возможности ИИ могут помочь в решении проблем, манипулировании выражениями, генерации кода и выполнении расчетов без необходимости для пользователей переключаться между приложениями.

Вместо того, чтобы функционировать исключительно как калькулятор или редактор уравнений, Corca позиционирует себя как полное рабочее пространство, где математическое мышление, вычисления и сотрудничество происходят в одном месте.

Почему математические интерфейсы важны для ИИ

Тиминг финансирования Corca приходится на время растущего интереса к улучшению того, как системы ИИ взаимодействуют с математическим рассуждением.

Хотя большие языковые модели продемонстрировали замечательные возможности в задачах обработки естественного языка, математика остается одной из наиболее сложных областей для них. Математические выражения не являются просто текстом; они содержат символические структуры, отношения и логическое значение, которое традиционные языковые модели часто испытывают трудности в представлении точно.

Символический математический движок Corca разработан специально вокруг математических объектов и отношений, а не рассматривает уравнения как последовательности слов. Этот подход позволяет рабочим процессам, поддерживаемым ИИ, взаимодействовать более естественно с математическими понятиями, потенциально делая сложные расчеты и задачи моделирования более надежными и доступными.

По мере того, как ИИ становится все более важным в науке, инженерии и исследованиях, специализированные интерфейсы, разработанные вокруг математического рассуждения, могут стать важным слоем между человеческими экспертами и интеллектуальными системами.

Будущее математических вычислений

На протяжении десятилетий математическое программное обеспечение в основном фокусировалось на вычислениях или публикации. Corca представляет собой новое поколение платформ, которые пытаются объединить эти миры, объединив нотацию, рассуждение, сотрудничество и ИИ в единой среде.

Последствия вышли за рамки удобства. По мере того, как отрасли все больше полагаются на симуляции, модели машинного обучения, количественный анализ и научные открытия, эффективность математических рабочих процессов становится все более важной. Исследователи и инженеры часто тратят значительное время на перемещение информации между несвязанными инструментами, вводя трение в процессы, которые уже высоко сложны.

Платформы, которые объединяют математическое редактирование, вычисления, сотрудничество и помощь ИИ, могут помочь ускорить все, от проектирования и научных исследований до финансового моделирования и разработки ИИ. Как и совместные среды разработки преобразовали разработку программного обеспечения, совместные математические рабочие пространства могут изменить то, как технические знания создаются, совершенствуются и делятся.

С свежим финансированием и растущим внедрением Corca ставит на то, что математика заслуживает того же уровня инноваций, который современная разработка программного обеспечения испытала за последние два десятилетия. Если это видение преуспеет, то способ, которым люди работают с уравнениями, может вскоре выглядеть совсем иначе, чем рабочие процессы, которые остались в основном неизменными с 1980-х годов.