Corca Mengumpulkan $7,8 Juta untuk Merevolusi Alur Kerja Matematika untuk Era AI

Matematika berada di dasar teknologi modern, keuangan, penelitian ilmiah, dan kecerdasan buatan. Namun, meskipun memberdayakan beberapa teknologi paling canggih di dunia, alat yang digunakan untuk membuat dan berkolaborasi pada pekerjaan matematika telah berubah sangat sedikit selama beberapa dekade terakhir.

Sekarang, startup Corca yang berbasis di New York bertujuan untuk memodernisasi pengalaman tersebut. Perusahaan ini telah mengumumkan putaran pendanaan sebesar $7,8 juta yang dipimpin oleh NEA, dengan partisipasi dari Bloomberg Beta, Daft Capital, dan NVentures. Modal baru ini akan digunakan untuk memperluas tim teknik perusahaan, lebih mengembangkan kemampuan AI, dan mempercepat pengembangan produk.

Masalah yang Tersembunyi di Balik Kesadaran

Sementara pengembangan perangkat lunak telah berkembang melalui platform pengkodean kolaboratif, lingkungan pengembangan berbasis awan, dan asisten pengkodean AI, pekerjaan matematika masih terfragmentasi di seluruh kumpulan alat yang awalnya dikembangkan beberapa dekade yang lalu.

Insinyur mungkin menggunakan MATLAB untuk perhitungan, platform simulasi untuk pemodelan, dan alat dokumentasi terpisah untuk berbagi hasil. Peneliti sering berpindah antara notebook, papan tulis, PDF, screenshot, dan dokumen LaTeX untuk berkomunikasi ide. Hasilnya adalah alur kerja yang bisa jadi sangat membosankan untuk pekerjaan yang semakin banyak mendukung sistem AI, robotika, desain aerodinamika, keuangan kuantitatif, dan penemuan ilmiah.

Pendiri Corca berpendapat bahwa tidak pernah ada ruang kerja kolaboratif yang dibangun khusus untuk matematika. Sebaliknya, pengguna telah dipaksa untuk menyesuaikan alat yang dirancang terutama untuk menerbitkan persamaan daripada bekerja secara aktif dengan mereka.

Membangun “Kursor untuk Matematika”

Corca menjelaskan platformnya sebagai ruang kerja matematika kolaboratif yang asli AI yang menggabungkan penyuntingan persamaan, penalaran simbolik, komputasi, dan kolaborasi waktu nyata dalam lingkungan berbasis browser.

Tidak seperti perangkat lunak matematika tradisional yang sering memerlukan sintaks khusus atau pengetahuan pemrograman, Corca memungkinkan pengguna untuk menulis matematika menggunakan input alami. Mengetikkan istilah seperti “integral” atau “akar” secara otomatis menghasilkan notasi yang sesuai tanpa memerlukan pengguna untuk mengingat perintah atau aturan pemformatan.

Antarmuka platform ini menyerupai alat produktivitas kolaboratif modern lebih dari perangkat lunak matematika warisan. Beberapa pengguna dapat bekerja secara bersamaan pada persamaan, model, dan perhitungan, mirip dengan cara tim berkolaborasi di Google Docs atau Figma. Kemampuan AI bawaan dapat membantu menyelesaikan masalah, memanipulasi ekspresi, menghasilkan kode, dan melakukan perhitungan tanpa memaksa pengguna untuk beralih antara aplikasi.

Corca tidak hanya berfungsi sebagai kalkulator atau penyunting persamaan, tetapi sebagai ruang kerja lengkap di mana pemikiran matematika, komputasi, dan kolaborasi terjadi di satu tempat.

Mengapa Antarmuka Matematika Penting untuk AI

Waktu pendanaan Corca tiba di tengah minat yang meningkat untuk memperbaiki cara sistem AI berinteraksi dengan penalaran matematika.

Meskipun model bahasa besar telah menunjukkan kemampuan luar biasa dalam tugas bahasa alami, matematika tetap menjadi salah satu domain yang lebih menantang. Ekspresi matematika bukan hanya teks; mereka mengandung struktur simbolik, hubungan, dan makna logis yang model bahasa tradisional sering kesulitan untuk menggambarkan secara akurat.

Mesin matematika simbolik Corca dirancang khusus di sekitar objek dan hubungan matematika daripada memperlakukan persamaan sebagai urutan kata. Pendekatan ini memungkinkan alur kerja yang dibantu AI untuk berinteraksi lebih alami dengan konsep matematika, membuat perhitungan dan tugas pemodelan yang kompleks lebih dapat diandalkan dan mudah diakses.

Ketika AI menjadi semakin penting di seluruh ilmu pengetahuan, teknik, dan penelitian, antarmuka khusus yang dirancang di sekitar penalaran matematika mungkin menjadi lapisan penting antara ahli manusia dan sistem cerdas.

Masa Depan Komputasi Matematika

Selama beberapa dekade, perangkat lunak matematika sebagian besar telah fokus pada komputasi atau penerbitan. Corca mewakili generasi baru platform yang mencoba menjembatani dunia tersebut dengan menggabungkan notasi, penalaran, kolaborasi, dan AI ke dalam satu lingkungan.

Implikasinya meluas ke luar kenyamanan. Ketika industri semakin bergantung pada simulasi, model pembelajaran mesin, analisis kuantitatif, dan penemuan ilmiah, efisiensi alur kerja matematika menjadi semakin penting. Peneliti dan insinyur sering menghabiskan waktu yang signifikan untuk memindahkan informasi antara alat yang terputus, memperkenalkan gesekan ke dalam proses yang sudah sangat kompleks.

Platform yang menyatukan penyuntingan matematika, komputasi, kolaborasi, dan bantuan AI dapat membantu mempercepat segala sesuatu dari desain teknik dan penelitian ilmiah hingga pemodelan keuangan dan pengembangan AI. Sama seperti lingkungan pengkodean kolaboratif yang mengubah pengembangan perangkat lunak, ruang kerja matematika kolaboratif mungkin mengubah cara pengetahuan teknis dibuat, diperbarui, dan dibagikan.

Dengan pendanaan baru dan adopsi yang meningkat, Corca bertaruh bahwa matematika layak mendapatkan tingkat inovasi yang sama dengan pengembangan perangkat lunak modern selama dua dekade terakhir. Jika visi tersebut berhasil, cara orang bekerja dengan persamaan mungkin akan terlihat sangat berbeda dari alur kerja yang telah tetap tidak berubah sejak 1980-an.