ترفع Corca 7.8 مليون دولار لتحديث تدفقات العمل الرياضية للعصر الاصطناعي

تقع الرياضيات في أساس الهندسة الحديثة والتمويل والبحث العلمي والذكاء الاصطناعي. ومع ذلك، على الرغم من تشغيل بعض التكنولوجيات الأكثر تقدمًا في العالم، فإن الأدوات المستخدمة لإنشاء وتعاون العمل الرياضي لم تتغير بشكل مفاجئ خلال العقود القليلة الماضية.

الآن، تهدف شركة Corca الناشئة التي تتخذ من نيويورك مقرًا إلى تحديث تلك التجربة. أعلنت الشركة عن جولة تمويل بقيمة 7.8 مليون دولار بقيادة NEA، مع مشاركة من Bloomberg Beta و Daft Capital و NVentures. سيتم استخدام رأس المال الجديد لتوسيع فريق الهندسة في الشركة، وتطوير قدراتها الاصطناعية بشكل أكبر، وتسريع تطوير المنتج.

مشكلة مخفية في واضحة

في حين أن تطوير البرمجيات قد تطور من خلال منصات الترميز التعاوني، والبيئات التطويرية السحابية، ومساعدي الترميز الاصطناعي، فإن العمل الرياضي لا يزال منقسمًا عبر مجموعة من الأدوات التي تم تطويرها في الأصل قبل عقود.

قد يستخدم المهندسون MATLAB للحسابات، ومنصات المحاكاة لنمذجة، وأدوات وثائق منفصلة لمشاركة النتائج. غالبًا ما يتحرك الباحثون بين الملاحظات، واللوحات البيضاء، والملفات PDF، والصور المقطة، ووثائق LaTeX لنقل الأفكار. النتيجة هي تدفق عمل يمكن أن يكون متعثرًا بشكل مفاجئ للعمل الذي يعتمد بشكل متزايد على أنظمة الذكاء الاصطناعي، والروبوتات، وتصميم الطيران، والتمويل الكمي، والاكتشاف العلمي.

يجادل مؤسسو Corca بأن هناك لم يكن هناك مكان تعاوني حقيقي تم بناؤه خصيصًا للرياضيات. بدلاً من ذلك، كان على المستخدمين التكيف مع الأدوات المصممة في الغالب للنشر بدلاً من العمل الفعلي معها.

بناء “مؤشر للرياضيات”

تصف Corca منصتها بأنها مساحة تعاون رياضي اصطناعي تعمل على الويب، وتجمع بين تحرير المعادلات والمنطق الرمزي والحوسبة والتعاون في الوقت الفعلي في بيئة تعمل على المتصفح.

على عكس البرمجيات الرياضية التقليدية التي غالبًا ما تتطلب بناء جملة متخصص أو معرفة برمجة، تتيح Corca للمستخدمين كتابة الرياضيات باستخدام مدخلات طبيعية. عند كتابة مصطلحات مثل “التكامل” أو “الجذر”، يتم动生成 التدوين المناسب دون الحاجة إلى تذكر الأوامر أو قواعد التنسيق.

تتشابه واجهة المنصة مع أدوات الإنتاجية التعاونية الحديثة أكثر من البرمجيات الرياضية التقليدية. يمكن للمستخدمين العمل بشكل متزامن على المعادلات والنمذجة والتحليلات، بشكل مشابه لتعاون الفرق في Google Docs أو Figma. يمكن لمساعدات الذكاء الاصطناعي المساعدة في حل المشكلات، وتنفيذ التعبيرات، وتوليد الشفرة، وتنفيذ الحسابات دون الحاجة إلى التبديل بين التطبيقات.

بدلاً من العمل كحاسبة أو محرر معادلات فقط، تضع Corca نفسها كمساحة عمل كاملة حيث يحدث التفكير الرياضي، والحوسبة، والتعاون في مكان واحد.

لماذا تهم الواجهات الرياضية للذكاء الاصطناعي

يأتي تمويل Corca في وقت يزداد فيه الاهتمام بتحسين كيفية تفاعل أنظمة الذكاء الاصطناعي مع المنطق الرياضي.

على الرغم من أن النماذج اللغوية الكبيرة أظهرت قدرات مذهلة في المهام اللغوية الطبيعية، فإن الرياضيات لا تزال واحدة من المجالات الأكثر تحديًا. التعبيرات الرياضية ليست مجرد نص؛ فهي تحتوي على هياكل رمزية، وعلاقات، و معنى منطقي يصعب على النماذج اللغوية التقليدية تمثيلها بدقة.

تم تصميم محرك الرياضيات الرمزي التحتية لشركة Corca حول الكائنات الرياضية والعلاقات بدلاً من معاملات المعادلات كتسلسل من الكلمات. يسمح هذا النهج للتدفقات العملية التي تعمل بالذكاء الاصطناعي بالتفاعل بشكل أكثر طبيعية مع المفاهيم الرياضية، مما قد يجعل الحسابات المعقدة ومهام النمذجة أكثر موثوقية وسهولة الوصول.

随着 أهمية الذكاء الاصطناعي في العلوم والهندسة والبحث، قد تصبح الواجهات المخصصة المنطق الرياضي طبقة مهمة بين الخبراء البشر والنظم الذكية.

مستقبل الحوسبة الرياضية

لم تكن البرمجيات الرياضية تركز في الغالب على الحوسبة أو النشر. تمثل Corca جيلًا جديدًا من المنصات التي تحاول جسر هذه العوالم من خلال الجمع بين التدوين والمنطق والتعاون والذكاء الاصطناعي في بيئة واحدة.

تتجاوز الآثار الضرورة. مع اعتماد الصناعات على المحاكاة، ونمذجة التعلم الآلي، والتحليل الكمّي، والاكتشاف العلمي، يصبح كفاءة تدفقات العمل الرياضية أكثر أهمية. يقضي الباحثون والمهندسون وقتًا كبيرًا في نقل المعلومات بين أدوات غير متصلة، مما يؤدي إلى إحداث احتكاك في العمليات التي هي بالفعل معقدة للغاية.

يمكن للمنصات التي توحد تحرير الرياضيات، والحوسبة، والتعاون، والمساعدة بالذكاء الاصطناعي أن تساعد في تسريع كل شيء من تصميم الهندسة والبحث العلمي إلى النمذجة المالية وتطوير الذكاء الاصطناعي. كما تحولت بيئات الترميز التعاونية تطوير البرمجيات، قد تُشكل مساحات العمل الرياضية التعاونية كيفية إنشاء المعرفة الفنية، وتنقيحها، ومشاركتها.

مع التمويل الجديد واعتمادها المتزايد، تراهن Corca على أن الرياضيات تستحق نفس مستوى الابتكار الذي شهدته تطوير البرمجيات الحديثة خلال العقود القليلة الماضية. إذا نجحت تلك الرؤية، قد يبدو طريقة عمل الناس مع المعادلات قريباً مختلفة تمامًا عن تدفقات العمل التي ظلت في الغالب غير متغيرة منذ الثمانينيات.