AIネイティブな共同数学ワークスペースを開発する"Corca"がSeedで$7.8Mを調達

Corcaは、NEAがリードし、Bloomberg Beta、Daft Capital、NVenturesも参加したSeedで$7.8Mを調達した。

ニューヨークを拠点にAIネイティブな共同数学ワークスペースを開発するCorcaは、数式編集、記号推論、計算、リアルタイム共同作業をブラウザベースの環境で統合しています。

数学は現代のエンジニアリング、金融、科学研究、そして人工知能の基盤に位置しています。しかし、世界で最も先進的な技術の一部を支えているにもかかわらず、数学的な作業を作成し共同作業するためのツールは、この数十年間ほとんど変化していません。

ソフトウェア開発は共同コーディングプラットフォーム、クラウドベースの開発環境、AIコーディングアシスタントによって進化してきましたが、数学的な作業は数十年前に開発された複数のツールに分断されたままです。

エンジニアは計算にMATLABを使用し、モデリングにはシミュレーションプラットフォームを利用し、結果の共有には別のドキュメント作成ツールを使用する場合があります。研究者は、アイデアを伝えるためにノートブック、ホワイトボード、PDF、スクリーンショット、LaTeX文書を行き来することが一般的です。その結果、AIシステム、ロボティクス、航空宇宙設計、クオンツ金融、科学的発見の基盤となる作業であるにもかかわらず、ワークフローは驚くほど煩雑なものになっています。

Corcaの共同創業者たちは、数学のために特化して構築された真の共同作業ワークスペースはこれまで存在しなかったと主張しています。その代わりに、ユーザーは数学を実際に扱うためではなく、主に数式を出版するために設計されたツールに適応することを余儀なくされてきました。

従来の数学ソフトウェアでは専門的な構文やプログラミング知識が必要になることが多いですが、Corcaでは自然な入力方法で数学を記述できます。「integral」や「root」といった用語を入力すると、ユーザーがコマンドや書式ルールを覚える必要なく、自動的に適切な数式表記が生成されます。

プラットフォームのインターフェースは、従来型の数学ソフトウェアよりも最新の共同作業ツールに近いものです。複数のユーザーがGoogle DocsやFigmaで共同作業するように、数式、モデル、計算を同時に編集できます。組み込みのAI機能は、問題解決、式の変形、コード生成、計算の実行を支援し、ユーザーが別のアプリケーションへ切り替える必要をなくします。

Corcaは単なる計算機や数式エディタとしてではなく、数学的思考、計算、共同作業がすべて一つの場所で行われる完全なワークスペースとして位置付けられています。

Corcaの資金調達は、AIシステムと数学的推論との関わり方を改善しようという関心が高まる中で実施されました。

大規模言語モデルは自然言語タスクにおいて驚異的な能力を示していますが、数学は依然として難易度の高い領域の一つです。数学的表現は単なるテキストではなく、記号構造、関係性、論理的意味を含んでおり、従来の言語モデルでは正確に表現することが難しい場合があります。

Corcaの基盤となる記号数学エンジンは、数式を単なる単語列として扱うのではなく、数学的オブジェクトとその関係性を中心に設計されています。このアプローチにより、AI支援型ワークフローは数学的概念とより自然に相互作用できるようになり、複雑な計算やモデリング作業をより信頼性が高く、利用しやすいものにする可能性があります。

AIが科学、エンジニアリング、研究分野でますます重要になるにつれ、数学的推論を中心に設計された専用インターフェースは、人間の専門家と高度なAIシステムをつなぐ重要なレイヤーになる可能性があります。

これまで数十年にわたり、数学ソフトウェアは主に計算または出版のどちらかに焦点を当ててきました。Corcaは、数式表記、推論、共同作業、AIを単一の環境に統合することで、その両方を橋渡ししようとする新世代のプラットフォームを代表しています。

その影響は利便性にとどまりません。産業界がシミュレーション、機械学習モデル、定量分析、科学的発見への依存を深めるにつれて、数学的ワークフローの効率性はますます重要になります。研究者やエンジニアは、相互に連携していないツール間で情報を移動するために多くの時間を費やしており、もともと非常に複雑なプロセスにさらなる摩擦が生じています。

数学編集、計算、共同作業、AI支援を統合するプラットフォームは、エンジニアリング設計や科学研究から、金融モデリングやAI開発に至るまで、あらゆる分野の進歩を加速させる可能性があります。共同コーディング環境がソフトウェア開発を変革したように、共同数学ワークスペースは技術的知識の創造、洗練、共有の方法を再構築するかもしれません。

新たな資金調達と利用拡大を背景に、Corcaは数学も過去20年間のソフトウェア開発と同水準のイノベーションを受けるべきだと考えています。このビジョンが実現すれば、人々が数式を扱う方法は、1980年代以来ほとんど変わっていないワークフローとは大きく異なるものになるでしょう。