Corca Raises $7.8 Million để Cách mạng hóa Lưu lượng công việc Toán học cho Thời đại Trí tuệ Nhân tạo

Toán học nằm ở nền tảng của kỹ thuật hiện đại, tài chính, nghiên cứu khoa học và trí tuệ nhân tạo. Tuy nhiên, mặc dù cung cấp năng lượng cho một số công nghệ tiên tiến nhất trên thế giới, các công cụ được sử dụng để tạo và cộng tác trên công việc toán học đã thay đổi đáng ngạc nhiên ít trong vài thập kỷ qua.

Bây giờ, công ty khởi nghiệp có trụ sở tại New York Corca đang nhằm mục đích hiện đại hóa trải nghiệm này. Công ty đã công bố một vòng tài trợ 7,8 triệu đô la do NEA dẫn đầu, với sự tham gia của Bloomberg Beta, Daft Capital và NVentures. Vốn mới sẽ được sử dụng để mở rộng đội ngũ kỹ sư của công ty, phát triển thêm khả năng AI và tăng tốc phát triển sản phẩm.

Một Vấn đề Được Giấu ở Plain Sight

Trong khi phát triển phần mềm đã tiến hóa thông qua các nền tảng mã hóa cộng tác, môi trường phát triển dựa trên đám mây và trợ lý mã hóa AI, công việc toán học vẫn còn phân mảnh trên một loạt các công cụ ban đầu được phát triển nhiều thập kỷ trước.

Kỹ sư có thể sử dụng MATLAB cho các tính toán, nền tảng mô phỏng cho mô hình hóa và các công cụ tài liệu riêng biệt để chia sẻ kết quả. Các nhà nghiên cứu thường di chuyển giữa các cuốn sổ tay, bảng trắng, tệp PDF, ảnh chụp màn hình và tài liệu LaTeX để truyền đạt ý tưởng. Kết quả là một quy trình làm việc có thể khá cồng kềnh cho công việc ngày càng dựa vào các hệ thống AI, robot, thiết kế hàng không, tài chính định lượng và khám phá khoa học.

Các nhà sáng lập Corca lập luận rằng chưa bao giờ có một không gian làm việc cộng tác thực sự được xây dựng cụ thể cho toán học. Thay vào đó, người dùng đã bị buộc phải thích nghi với các công cụ được thiết kế chủ yếu cho việc xuất bản phương trình chứ không phải làm việc tích cực với chúng.

Xây dựng một “Con trỏ cho Toán học”

Corca mô tả nền tảng của mình là một không gian làm việc toán học cộng tác bản địa AI kết hợp chỉnh sửa phương trình, lý luận biểu tượng, tính toán và cộng tác thời gian thực trong môi trường dựa trên trình duyệt.

Không giống như phần mềm toán học truyền thống thường yêu cầu cú pháp chuyên dụng hoặc kiến thức lập trình, Corca cho phép người dùng viết toán học bằng cách nhập tự nhiên. Nhập các thuật ngữ như “tích phân” hoặc “căn” tự động tạo ra ký hiệu phù hợp mà không yêu cầu người dùng phải nhớ các lệnh hoặc quy tắc định dạng.

Giao diện của nền tảng giống với các công cụ sản xuất cộng tác hiện đại hơn là phần mềm toán học cũ. Nhiều người dùng có thể làm việc đồng thời trên các phương trình, mô hình và tính toán, tương tự như cách các đội cộng tác trong Google Docs hoặc Figma. Các khả năng AI tích hợp có thể hỗ trợ giải quyết vấn đề, thao tác biểu thức, tạo mã và thực hiện tính toán mà không buộc người dùng phải chuyển đổi giữa các ứng dụng.

Thay vì hoạt động như một máy tính hoặc trình chỉnh sửa phương trình, Corca đang định vị mình như một không gian làm việc hoàn chỉnh nơi tư duy toán học, tính toán và cộng tác xảy ra ở một nơi.

Tại sao Giao diện Toán học Quan trọng cho AI

Thời gian của vòng tài trợ Corca đến trong bối cảnh sự quan tâm ngày càng tăng trong việc cải thiện cách các hệ thống AI tương tác với lý luận toán học.

Mặc dù các mô hình ngôn ngữ lớn đã chứng minh khả năng đáng chú ý trong các nhiệm vụ ngôn ngữ tự nhiên, toán học vẫn là một trong những lĩnh vực thách thức hơn của chúng. Các biểu thức toán học không chỉ là văn bản; chúng chứa các cấu trúc biểu tượng, mối quan hệ và ý nghĩa logic mà các mô hình ngôn ngữ truyền thống thường gặp khó khăn trong việc đại diện chính xác.

Động cơ toán học biểu tượng cơ bản của Corca được thiết kế cụ thể xung quanh các đối tượng toán học và mối quan hệ chứ không phải xử lý các phương trình như một chuỗi từ. Cách tiếp cận này cho phép các quy trình làm việc được hỗ trợ bởi AI tương tác một cách tự nhiên hơn với các khái niệm toán học, có khả năng làm cho các nhiệm vụ tính toán và mô hình hóa phức tạp trở nên đáng tin cậy và dễ tiếp cận hơn.

Khi AI trở nên quan trọng hơn trên toàn khoa học, kỹ thuật và nghiên cứu, các giao diện chuyên dụng được thiết kế xung quanh lý luận toán học có thể trở thành một lớp quan trọng giữa các chuyên gia con người và hệ thống thông minh.

Tương lai của Máy tính Toán học

Trong nhiều thập kỷ, phần mềm toán học đã tập trung chủ yếu vào tính toán hoặc xuất bản. Corca đại diện cho một thế hệ mới của các nền tảng cố gắng kết nối những thế giới này bằng cách kết hợp ký hiệu, lý luận, cộng tác và AI vào một môi trường duy nhất.

Ý nghĩa của điều này vượt ra ngoài sự tiện lợi. Khi các ngành công nghiệp ngày càng phụ thuộc vào mô hình hóa, học máy, phân tích định lượng và khám phá khoa học, hiệu quả của các quy trình làm việc toán học trở nên quan trọng hơn. Các nhà nghiên cứu và kỹ sư thường dành nhiều thời gian để di chuyển thông tin giữa các công cụ không kết nối, giới thiệu ma sát vào các quy trình vốn đã rất phức tạp.

Các nền tảng thống nhất chỉnh sửa toán học, tính toán, cộng tác và hỗ trợ AI có thể giúp tăng tốc mọi thứ từ thiết kế kỹ thuật và nghiên cứu khoa học đến mô hình hóa tài chính và phát triển AI. Giống như các môi trường mã hóa cộng tác đã biến đổi phát triển phần mềm, các không gian làm việc toán học cộng tác có thể thay đổi cách kiến thức kỹ thuật được tạo, tinh chỉnh và chia sẻ.

Với nguồn vốn mới và sự áp dụng ngày càng tăng, Corca đang đặt cược rằng toán học xứng đáng có cùng mức độ đổi mới mà phát triển phần mềm hiện đại đã trải qua trong hai thập kỷ qua. Nếu tầm nhìn đó thành công, cách con người làm việc với phương trình có thể sớm trông rất khác so với các quy trình làm việc đã vẫn còn hầu như không thay đổi kể từ những năm 1980.