Corca Зберігає $7,8 Мільйона для Переосмислення Математичних Робочих Процесів для Ери Штучного Інтелекту

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

Нью-Йоркська стартап-компанія Corca метить оновити цей досвід. Компанія оголосила про tròn $7,8 мільйона фінансування під керівництвом NEA, з участю Bloomberg Beta, Daft Capital та NVentures. Нові капітали будуть використані для розширення інженерної команди компанії, подальшого розвитку її можливостей штучного інтелекту та прискорення розробки продукції.

Проблема, Ховається на Поверхні

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

Інженери можуть використовувати MATLAB для розрахунків, платформи моделювання для моделювання та окремі інструменти документації для обміну результатами. Дослідники часто переходять між блокнотами, дошками, PDF-документами, знімками екрана та документами LaTeX для спілкування ідей. Результатом є робочий процес, який може бути досить незручним для роботи, яка все частіше лежить в основі систем штучного інтелекту, робототехніки, аерокосмічної інженерії, квантитативної фінансів та наукових відкриттів.

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

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

Corca описує свою платформу як колаборативний математичний робочий простір, який поєднує редагування рівнянь, символічне міркування, обчислення та колаборативну роботу в браузерному середовищі.

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

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

Corca позиціонує себе не лише як калькулятор або редактор рівнянь, а як повний робочий простір, де математичне мислення, обчислення та колаборативна робота відбуваються в одному місці.

Чому Математичні Інтерфейси Мають Значення для Штучного Інтелекту

Час фінансування Corca збігається з зростанням інтересу до покращення взаємодії систем штучного інтелекту з математичним міркуванням.

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

Базовий символічний математичний двигун Corca спочатку розроблений навколо математичних об’єктів та відносин, а не розглядає рівняння як послідовності слів. Цей підхід дозволяє робочим процесам, допоміжним штучним інтелектом, взаємодіяти більш природно з математичними поняттями, потенційно роблячи складні розрахунки та завдання моделювання більш надійними та доступними.

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

Майбутнє Математичних Обчислень

Декілька десятиліть математичне програмне забезпечення в основному зосереджувалося на обчисленнях або публікації. Corca представляє нове покоління платформ, які намагаються поєднати ці два світи, об’єднавши нотацію, міркування, колаборативну роботу та штучний інтелект у одному середовищі.

Вплив розширюється за межі зручності. Як галузі все частіше залежать від симуляцій, моделей машинного навчання, квантитативного аналізу та наукових відкриттів, ефективність математичних робочих процесів стає все більш важливою. Дослідники та інженери часто витрачають значну кількість часу на переміщення інформації між відокремленими інструментами, вводячи тертя в процеси, які вже досить складні.

Платформи, які об’єднують математичне редагування, обчислення, колаборативну роботу та допомогу штучного інтелекту, можуть допомогти прискорити все, від інженерного дизайну та наукових досліджень до фінансового моделювання та розвитку штучного інтелекту. Як колаборативні середовища кодування трансформували розвиток програмного забезпечення, колаборативні математичні робочі простори можуть змінити те, як технічні знання створюються, уточнюються та діляться.

З новим фінансуванням та зростаючою прийняттям, Corca ставить на те, що математика заслуговує того самого рівня інновацій, який сучасний розвиток програмного забезпечення пережив за останні два десятиліття. Якщо цей бачення вдасться, спосіб, у який люди працюють з рівнянями, може скоро виглядати зовсім інакше, ніж робочі процеси, які майже не змінилися з 1980-х років.