Corca เพิ่มทุน 7.8 ล้านดอลลาร์เพื่อปฏิวัติวงจรการทำงานทางคณิตศาสตร์สำหรับยุค AI

คณิตศาสตร์เป็นพื้นฐานของวิศวกรรมสมัยใหม่ การเงิน การวิจัยทางวิทยาศาสตร์ และปัญญาประดิษฐ์ แต่ถึงแม้ว่าจะเป็นพลังขับเคลื่อนของเทคโนโลยีที่ทันสมัยที่สุดในโลก เครื่องมือที่ใช้ในการสร้างและร่วมมือในการทำงานทางคณิตศาสตร์นั้นไม่ได้เปลี่ยนแปลงมากนักในช่วงหลายทศวรรษที่ผ่านมา

ในขณะนี้ Corca ซึ่งเป็นสตาร์ทอัพในนิวยอร์กได้พยายามที่จะทำให้ประสบการณ์นี้ทันสมัยขึ้น บริษัทได้ประกาศการระดมทุน 7.8 ล้านดอลลาร์ภายใต้การนำของ NEA โดยมีการเข้าร่วมจาก Bloomberg Beta, Daft Capital และ NVentures ทุนใหม่นี้จะถูกใช้เพื่อขยายทีมวิศวกรของบริษัท พัฒนาความสามารถของ AI ต่อไป และเร่งการพัฒนาผลิตภัณฑ์

ปัญหาที่ซ่อนอยู่ในความชัดเจน

ในขณะที่การพัฒนาซอฟต์แวร์ได้พัฒนาไปผ่านแพลตฟอร์มการเขียนโค้ดร่วมกัน สภาพแวดล้อมการพัฒนาบนคลาวด์ และผู้ช่วยการเขียนโค้ด AI การทำงานทางคณิตศาสตร์ยังคงกระจัดกระจายไปทั่วเครื่องมือที่ถูกพัฒนาขึ้นหลายทศวรรษที่แล้ว

วิศวกรอาจใช้ MATLAB สำหรับการคำนวณ แพลตฟอร์มการจำลองสำหรับการสร้างแบบจำลอง และเครื่องมือเอกสารที่แยกจากกันสำหรับการแบ่งปันผลลัพธ์ นักวิจัยมักจะย้ายระหว่างโน้ตบุ๊ก แผ่นขาว ภาพหน้าจอ และเอกสาร LaTeX เพื่อสื่อสารความคิด ผลลัพธ์คือกระบวนการที่อาจจะค่อนข้างยุ่งยากสำหรับการทำงานที่เพิ่มขึ้นซึ่งรองรับระบบ AI ระบบหุ่นยนต์ การออกแบบทางอากาศอวกาศ การเงินเชิงปริมาณ และการค้นพบทางวิทยาศาสตร์

ผู้ก่อตั้ง Corca แย้งว่าไม่มีพื้นที่ทำงานร่วมกันสำหรับคณิตศาสตร์ที่ถูกสร้างขึ้นโดยเฉพาะ ในstead ผู้ใช้ถูกบังคับให้ปรับตัวเครื่องมือที่ถูกออกแบบมาเพื่อการเผยแพร่สมการมากกว่าการทำงานกับพวกมัน

การสร้าง “Cursor สำหรับ Math”

Corca อธิบายแพลตฟอร์มของตนเองว่าเป็นพื้นที่ทำงานร่วมกันสำหรับคณิตศาสตร์ที่มี AI ที่รวมการแก้ไขสมการ การให้เหตุผลเชิงสัญลักษณ์ การคำนวณ และการทำงานร่วมกันแบบเรียลไทม์ในสภาพแวดล้อมที่ใช้เว็บ

ไม่เหมือนกับซอฟต์แวร์คณิตศาสตร์แบบดั้งเดิมที่ต้องการซินเท็กซ์หรือความรู้ด้านการเขียนโปรแกรม Corca อนุญาตให้ผู้ใช้เขียนคณิตศาสตร์โดยใช้การเข้าสู่ระบบตามธรรมชาติ การพิมพ์คำว่า “อินทิกรัล” หรือ “ราก” จะสร้างการแสดงออกที่เหมาะสมโดยไม่ต้องให้ผู้ใช้จำคำสั่งหรือกฎการ格式ต์

อินเทอร์เฟซของแพลตฟอร์มคล้ายกับเครื่องมือการผลิตร่วมกันสมัยใหม่มากกว่าซอฟต์แวร์คณิตศาสตร์แบบดั้งเดิม ผู้ใช้หลายคนสามารถทำงานร่วมกันบนสมการ แบบจำลอง และการคำนวณได้แบบเรียลไทม์ เช่นเดียวกับทีมที่ทำงานร่วมกันใน Google Docs หรือ Figma ความสามารถของ AI ที่ถูกสร้างเข้ามาในตัวสามารถช่วยเหลือในการแก้ปัญหา การจัดการนิพจน์ การสร้างโค้ด และการคำนวณโดยไม่ต้องบังคับให้ผู้ใช้เปลี่ยนระหว่างแอปพลิเคชัน

มากกว่าการทำงานเป็นเครื่องคำนวณหรือผู้แก้ไขสมการ Corca ตั้งใจที่จะเป็นพื้นที่ทำงานที่สมบูรณ์แบบที่ความคิดคณิตศาสตร์ การคำนวณ และการทำงานร่วมกันเกิดขึ้นในจุดเดียว

ทำไมอินเทอร์เฟซคณิตศาสตร์จึงสำคัญสำหรับ AI

การระดมทุนของ Corca เกิดขึ้นในขณะที่มีความสนใจที่เพิ่มขึ้นในการปรับปรุงวิธีการที่ระบบ AI สื่อสารกับการให้เหตุผลทางคณิตศาสตร์

ในขณะที่โมเดลภาษาขนาดใหญ่ได้แสดงให้เห็นถึงความสามารถที่น่าประทับใจในงานภาษาธรรมชาติ คณิตศาสตร์ยังคงเป็นหนึ่งในโดเมนที่ท้าทายที่สุดของพวกมัน นิพจน์คณิตศาสตร์ไม่ใช่แค่ข้อความเท่านั้น แต่ยังมีโครงสร้างสัญลักษณ์ ความสัมพันธ์ และความหมายเชิงตรรกะที่โมเดลภาษาดั้งเดิมมักจะดิ้นรนในการแสดงออกอย่างถูกต้อง

เครื่องยนต์คณิตศาสตร์เชิงสัญลักษณ์ของ Corca ถูกออกแบบมาโดยเฉพาะสำหรับวัตถุและความสัมพันธ์คณิตศาสตร์ มากกว่าการรักษาสมการเป็นลำดับของคำ นี่ทำให้กระบวนการทำงานที่มี AI ช่วยเหลือสามารถสื่อสารกับแนวคิดคณิตศาสตร์ได้อย่างเป็นธรรมชาติ ซึ่งอาจทำให้การคำนวณและงานสร้างแบบจำลองที่ซับซ้อนเป็นไปได้และเข้าถึงได้ง่ายขึ้น

เมื่อ AI มีความสำคัญมากขึ้นในการวิทยาศาสตร์ วิศวกรรม และการวิจัย อินเทอร์เฟซที่ออกแบบมาโดยเฉพาะสำหรับการให้เหตุผลทางคณิตศาสตร์อาจกลายเป็นชั้นสำคัญระหว่างผู้เชี่ยวชาญและระบบอัจฉริยะ

อนาคตของคอมพิวเตอร์คณิตศาสตร์

ในช่วงหลายทศวรรษที่ผ่านมา ซอฟต์แวร์คณิตศาสตร์ส่วนใหญ่มุ่งเน้นไปที่การคำนวณหรือการเผยแพร่ Corca เป็นตัวแทนของชั่วรุ่นใหม่ของแพลตฟอร์มที่พยายามเชื่อมโลกเหล่านี้โดยการรวมการแสดงออก การให้เหตุผล การทำงานร่วมกัน และ AI เข้าด้วยกัน

ผลกระทบไปไกลกว่าความสะดวกสบาย เมื่ออุตสาหกรรมต่างๆ พึ่งพาการจำลอง การสร้างแบบจำลองทางเครื่องจักร การวิเคราะห์เชิงปริมาณ และการค้นพบทางวิทยาศาสตร์มากขึ้น ประสิทธิภาพของวงจรการทำงานคณิตศาสตร์จะกลายเป็นสิ่งสำคัญ ผู้วิจัยและวิศวกรมักจะใช้เวลามากในการย้ายข้อมูลระหว่างเครื่องมือที่ไม่เชื่อมต่อ ซึ่งทำให้เกิดการเสียดสีในกระบวนการที่ซับซ้อนอยู่แล้ว

แพลตฟอร์มที่รวมการแก้ไขคณิตศาสตร์ การคำนวณ การทำงานร่วมกัน และการช่วยเหลือ AI อาจช่วยเร่งการออกแบบวิศวกรรม การวิจัยทางวิทยาศาสตร์ การสร้างแบบจำลองทางการเงิน และการพัฒนา AI ได้ เช่นเดียวกับวิธีการพัฒนาซอฟต์แวร์ร่วมกันที่เปลี่ยนแปลงการพัฒนาซอฟต์แวร์ พื้นที่ทำงานคณิตศาสตร์ร่วมกันอาจเปลี่ยนแปลงวิธีการสร้าง ความคิด และแบ่งปันความรู้ทางเทคนิค

ด้วยทุนใหม่และความนิยมที่เพิ่มขึ้น Corca คาดว่าคณิตศาสตร์สมควรได้รับการนวัตกรรมในระดับเดียวกับที่การพัฒนาซอฟต์แวร์สมัยใหม่ได้รับในช่วงสองทศวรรษที่ผ่านมา หากวิสัยทัศน์นี้สำเร็จ วิธีการทำงานกับสมการอาจดูแตกต่างจากกระบวนการที่ไม่เปลี่ยนแปลงมากนักตั้งแต่ทศวรรษ 1980