Corca erhält 7,8 Millionen Dollar, um mathematische Workflows für die Ära KI neu zu erfinden

Mathematik bildet die Grundlage der modernen Ingenieurwissenschaften, Finanzen, wissenschaftlichen Forschung und künstlicher Intelligenz. Trotzdem haben sich die Werkzeuge, die zur Erstellung und Zusammenarbeit an mathematischen Arbeiten verwendet werden, überraschenderweise in den letzten Jahrzehnten nur wenig verändert.

Jetzt zielt das New Yorker Startup Corca darauf ab, diese Erfahrung zu modernisieren. Das Unternehmen hat eine Finanzierungsrunde von 7,8 Millionen Dollar angekündigt, die von NEA geleitet wird und an der Bloomberg Beta, Daft Capital und NVentures teilnehmen. Das neue Kapital wird verwendet, um das Ingenieurteam des Unternehmens zu erweitern, die KI-Fähigkeiten weiterzuentwickeln und die Produktentwicklung zu beschleunigen.

Ein Problem, das im Verborgenen liegt

Während die Softwareentwicklung durch kollaborative Codierplattformen, cloudbasierte Entwicklungsumgebungen und KI-Codierassistenten evolviert ist, bleibt die mathematische Arbeit fragmentiert über eine Sammlung von Tools, die ursprünglich vor Jahrzehnten entwickelt wurden.

Ingenieure können MATLAB für Berechnungen, Simulationsplattformen für Modellierung und separate Dokumentationswerkzeuge für die Veröffentlichung von Ergebnissen verwenden. Forscher bewegen sich oft zwischen Notebooks, Whiteboards, PDFs, Screenshots und LaTeX-Dokumenten, um Ideen zu kommunizieren. Das Ergebnis ist ein Arbeitsablauf, der für Arbeiten, die zunehmend die Grundlage von KI-Systemen, Robotik, Aerodynamik-Design, quantitativer Finanzanalyse und wissenschaftlicher Entdeckung bilden, überraschend umständlich sein kann.

Die Gründer von Corca argumentieren, dass es noch nie einen echten kollaborativen Arbeitsbereich gab, der speziell für Mathematik entwickelt wurde. Stattdessen mussten Benutzer Werkzeuge anpassen, die hauptsächlich für die Veröffentlichung von Gleichungen und nicht für die aktive Arbeit mit ihnen entwickelt wurden.

Ein “Cursor für Mathematik” aufbauen

Corca beschreibt seine Plattform als eine KI-native kollaborative Mathematik-Arbeitsumgebung, die Gleichungseditierung, symbolische Argumentation, Berechnung und Echtzeit-Kollaboration in einer browserbasierten Umgebung kombiniert.

Im Gegensatz zu herkömmlicher mathematischer Software, die oft spezielle Syntax oder Programmierkenntnisse erfordert, ermöglicht Corca Benutzern, Mathematik mit natürlichen Eingaben zu schreiben. Das Tippen von Begriffen wie “Integral” oder “Wurzel” generiert automatisch die entsprechende Notation, ohne dass Benutzer Befehle oder Formatierungsregeln memorieren müssen.

Die Benutzeroberfläche der Plattform ähnelt modernen kollaborativen Produktivitätstools mehr als herkömmlicher mathematischer Software. Mehrere Benutzer können gleichzeitig an Gleichungen, Modellen und Berechnungen arbeiten, ähnlich wie Teams in Google Docs oder Figma. Integrierte KI-Fähigkeiten können bei der Lösung von Problemen, der Manipulation von Ausdrücken, der Generierung von Code und der Durchführung von Berechnungen helfen, ohne dass Benutzer zwischen Anwendungen wechseln müssen.

Anstatt nur als Rechner oder Gleichungseditor zu fungieren, positioniert Corca sich als vollständiger Arbeitsbereich, in dem mathematisches Denken, Berechnung und Kollaboration an einem Ort stattfinden.

Warum mathematische Schnittstellen für KI wichtig sind

Die Zeit der Finanzierung von Corca kommt zu einem Zeitpunkt, an dem das Interesse an der Verbesserung der Weise, wie KI-Systeme mit mathematischer Argumentation interagieren, wächst.

Während große Sprachmodelle bemerkenswerte Fähigkeiten in natürlichen Sprachaufgaben demonstriert haben, bleibt die Mathematik einer der herausfordernderen Bereiche. Mathematische Ausdrücke sind nicht nur Text; sie enthalten symbolische Strukturen, Beziehungen und logische Bedeutungen, die herkömmliche Sprachmodelle oft Schwierigkeiten haben, genau darzustellen.

Der symbolische Mathematik-Motor von Corca ist speziell auf mathematische Objekte und Beziehungen und nicht auf die Behandlung von Gleichungen als Wortfolgen ausgerichtet. Dieser Ansatz ermöglicht es KI-gestützten Arbeitsabläufen, mit mathematischen Konzepten auf natürlichere Weise zu interagieren, was komplexe Berechnungen und Modellierungsaufgaben möglicherweise zuverlässiger und zugänglicher macht.

Wenn KI zunehmend wichtig wird, um Wissenschaft, Ingenieurwesen und Forschung voranzutreiben, können speziell auf mathematische Argumentation ausgerichtete Schnittstellen eine wichtige Schicht zwischen menschlichen Experten und intelligenten Systemen bilden.

Die Zukunft der mathematischen Rechnung

Für Jahrzehnte hat sich die mathematische Software hauptsächlich auf Berechnung oder Veröffentlichung konzentriert. Corca repräsentiert eine neue Generation von Plattformen, die diese Welten durch die Kombination von Notation, Argumentation, Kollaboration und KI in einer Umgebung zu überbrücken versucht.

Die Auswirkungen gehen über die Bequemlichkeit hinaus. Da Branchen zunehmend auf Simulationen, Machine-Learning-Modelle, quantitative Analyse und wissenschaftliche Entdeckung angewiesen sind, wird die Effizienz mathematischer Arbeitsabläufe immer wichtiger. Forscher und Ingenieure verbringen oft viel Zeit damit, Informationen zwischen nicht verbundenen Werkzeugen zu übertragen, was Reibung in Prozessen einführt, die bereits sehr komplex sind.

Plattformen, die mathematische Editierung, Berechnung, Kollaboration und KI-Unterstützung in einer Umgebung vereinen, könnten helfen, alles von Ingenieurdesign und wissenschaftlicher Forschung bis hin zu Finanzmodellierung und KI-Entwicklung zu beschleunigen. Genau wie kollaborative Codierumgebungen die Softwareentwicklung verändert haben, könnten kollaborative mathematische Arbeitsbereiche die Art und Weise, wie technisches Wissen erstellt, verfeinert und geteilt wird, umgestalten.

Mit frischer Finanzierung und wachsender Akzeptanz setzt Corca darauf, dass Mathematik dieselbe Ebene der Innovation verdient, die die moderne Softwareentwicklung in den letzten zwei Jahrzehnten erlebt hat. Wenn diese Vision erfolgreich ist, könnte die Art und Weise, wie Menschen mit Gleichungen arbeiten, bald sehr unterschiedlich aussehen von den Arbeitsabläufen, die seit den 1980er Jahren größtenteils unverändert geblieben sind.