Η Corca Συγκεντρώνει 7,8 Εκατομμύρια Δολάρια για την Αναβίωση των Μαθηματικών Ροών Εργασίας για την Εποχή του AI

Οι μαθηματικές επιστήμες βρίσκονται στη βάση της σύγχρονης μηχανικής, οικονομικής, επιστημονικής έρευνας και τεχνητής νοημοσύνης. Παρόλα αυτά, παρά το ότι δίνουν ενέργεια σε κάποιες από τις πιο προηγμένες τεχνολογίες του κόσμου, τα εργαλεία που χρησιμοποιούνται για τη δημιουργία και τη συνεργασία μαθηματικών έργων έχουν αλλάξει ελάχιστα τις τελευταίες δεκαετίες.

Τώρα, η εταιρεία Corca, με έδρα τη Νέα Υόρκη, στοχεύει στην αναβάθμιση αυτής της εμπειρίας. Η εταιρεία έχει ανακοινώσει μια χρηματοδότηση 7,8 εκατομμυρίων δολαρίων, με ηγέτη τον NEA, και τη συμμετοχή των Bloomberg Beta, Daft Capital και NVentures. Το νέο κεφάλαιο θα χρησιμοποιηθεί για την επέκταση της ομάδας μηχανικών της εταιρείας, την περαιτέρω ανάπτυξη των ικανοτήτων της τεχνητής νοημοσύνης και την επιτάχυνση της ανάπτυξης προϊόντων.

Ένα Πρόβλημα Κρυμμένο σε Πλήρη Όραση

Εν timp που η ανάπτυξη λογισμικού έχει εξελιχθεί μέσω συνεργατικών πλατφόρμων κωδικοποίησης, cloud-μπασισμένων περιβαλλόντων ανάπτυξης και βοηθών κωδικοποίησης AI, η μαθηματική εργασία παραμένει αποσυνδεδεμένη σε μια συλλογή εργαλείων που αναπτύχθηκαν αρχικά πριν από δεκαετίες.

Οι μηχανικοί μπορεί να χρησιμοποιούν το MATLAB για υπολογισμούς, πλατφόρμες προσομοίωσης για μοντελοποίηση και ξεχωριστά εργαλεία τεκμηρίωσης για τη μοιρασία αποτελεσμάτων. Οι ερευνητές συχνά κινούνται μεταξύ σημειωματιών, πινάκων, PDF, στιγμιογραφιών και εγγράφων LaTeX για την επικοινωνία ιδεών. Το αποτέλεσμα είναι μια ροή εργασίας που μπορεί να είναι εντυπωσιακά δυσχερής για εργασία που αυξάνει τη σημασία της τεχνητής νοημοσύνης, ρομποτικής, αεροδιαστημικής σχεδίασης, ποσοτικής οικονομικής και επιστημονικής ανακάλυψης.

Οι ιδρυτές της Corca υποστηρίζουν ότι δεν υπήρξε ποτέ ένα真正ικό συνεργατικό χώρο που έχει κατασκευαστεί ειδικά για τις μαθηματικές επιστήμες. Αντίθετα, οι χρήστες έχουν αναγκαστεί να προσαρμόσουν εργαλεία που έχουν σχεδιαστεί κυρίως για την έκδοση εξισώσεων παρά για την ενεργό εργασία με αυτές.

Κατασκευή ενός “Δρομέα για τα Μαθηματικά”

Η Corca περιγράφει την πλατφόρμα της ως ένα συνεργατικό χώρο μαθηματικών που συνδυάζει επεξεργασία εξισώσεων, συμβολική λογική, υπολογισμό και συνεργασία σε πραγματικό χρόνο σε ένα περιβάλλον που βασίζεται στο πρόγραμμα περιήγησης.

Σε αντίθεση με τα παραδοσιακά μαθηματικά λογισμικά που συχνά απαιτούν ειδική σύνταξη ή γνώσεις προγραμματισμού, η Corca επιτρέπει στους χρήστες να γράφουν μαθηματικά χρησιμοποιώντας φυσικές εισόδους. Η πληκτρολόγηση όρων όπως “ολοκλήρωση” ή “ρίζα” δημιουργεί αυτόματα την κατάλληλη σημειογραφία χωρίς να απαιτεί από τους χρήστες να θυμηθούν εντολές ή κανόνες μορφοποίησης.

Η διεπαφή της πλατφόρμας μοιάζει περισσότερο με σύγχρονες συνεργατικές εργαλεία παραγωγικότητας παρά με παραδοσιακά μαθηματικά λογισμικά. Πολλοί χρήστες possono εργαστεί ταυτόχρονα σε εξισώσεις, μοντέλα και υπολογισμούς, παρόμοια με το πώς οι ομάδες συνεργάζονται στο Google Docs ή Figma. Οι ενσωματωμένες ικανότητες AI μπορούν να βοηθήσουν στην επίλυση προβλημάτων, τη χειρισμό εκφράσεων, τη δημιουργία κώδικα και την εκτέλεση υπολογισμών χωρίς να αναγκάζουν τους χρήστες να μετακινούνται μεταξύ εφαρμογών.

Αντί να λειτουργεί μόνο ως υπολογιστής ή επεξεργαστής εξισώσεων, η Corca θέτει τον εαυτό της ως einen πλήρη χώρο εργασίας όπου η μαθηματική σκέψη, ο υπολογισμός και η συνεργασία συμβαίνουν σε ένα μέρος.

Γιατί οι Μαθηματικές Διεπαφές έχουν Σημασία για την Τεχνητή Νοημοσύνη

Ο χρόνος της χρηματοδότησης της Corca έρχεται σε μια περίοδο αυξανόμενου ενδιαφέροντος για τη βελτίωση του τρόπου με τον οποίο τα συστήματα AI αλληλεπιδρούν με τη μαθηματική λογική.

Εν timp που τα μεγαλύτερα μοντέλα γλωσσών έχουν δείξει εντυπωσιακές ικανότητες σε φυσικές γλώσσες, τα μαθηματικά παραμένουν ένα από τα πιο δύσκολα πεδία. Οι μαθηματικές εκφράσεις δεν είναι απλώς κείμενο, περιέχουν συμβολικές δομές, σχέσεις και λογική σημασία που τα παραδοσιακά μοντέλα γλωσσών συχνά δυσκολεύονται να αντιπροσωπεύσουν ακριβώς.

Ο υποκείμενος συμβολικός μαθηματικός κινητήρας της Corca έχει σχεδιαστεί ειδικά γύρω από μαθηματικά αντικείμενα και σχέσεις παρά να αντιμετωπίζει τις εξισώσεις ως ακολουθίες λέξεων. Αυτή η προσέγγιση επιτρέπει στις ροές εργασίας AI να αλληλεπιδρούν πιο φυσικά με μαθηματικές έννοιες, потенτικά κάνωντας τις σύνθετες υπολογισμούς και μοντελοποίηση εργασιών πιο αξιόπιστες και προσιτές.

Όσο η τεχνητή νοημοσύνη γίνεται ολοένα και πιο σημαντική στις επιστήμες, τη μηχανική και την έρευνα, ειδικές διεπαφές που έχουν σχεδιαστεί γύρω από τη μαθηματική λογική μπορεί να γίνουν ένα σημαντικό στρώμα μεταξύ ανθρώπινων εμπειρογνωμόνων και ευφυών συστημάτων.

Το Μέλλον της Μαθηματικής Υπολογίσεως

Για δεκαετίες, το μαθηματικό λογισμικό έχει επικεντρωθεί κυρίως είτε στον υπολογισμό είτε στην έκδοση. Η Corca αντιπροσωπεύει μια νέα γενιά πλατφόρμων που προσπαθούν να γεφυρώσουν αυτούς τους κόσμους συνδυάζοντας σημειογραφία, λογική, συνεργασία και AI σε ένα περιβάλλον.

Οι επιπτώσεις εκτείνονται πέρα από την ευκολία. Όσο οι βιομηχανίες εξαρτώνται ολοένα και περισσότερο από προσομοιώσεις, μοντέλα μηχανικής μάθησης, ποσοτική ανάλυση και επιστημονική ανακάλυψη, η αποτελεσματικότητα των μαθηματικών ροών εργασίας γίνεται ολοένα και πιο σημαντική. Οι ερευνητές και οι μηχανικοί συχνά ξοδεύουν σημαντικό χρόνο μεταφέροντας πληροφορίες μεταξύ αποσυνδεδεμένων εργαλείων, εισάγοντας τριβή σε διαδικασίες που είναι ήδη υψηλά σύνθετες.

Πλατφόρμες που ενοποιούν τη μαθηματική επεξεργασία, τον υπολογισμό, τη συνεργασία και την βοήθεια AI θα μπορούσαν να βοηθήσουν στην επιτάχυνση mọiTHING από το σχεδιασμό μηχανικής και την επιστημονική έρευνα έως την οικονομική μοντελοποίηση και την ανάπτυξη AI. Όπως και οι συνεργατικές περιβάλλοντες κωδικοποίησης μετέβαλλαν την ανάπτυξη λογισμικού, οι συνεργατικοί μαθηματικοί χώροι εργασίας μπορεί να αναμορφώσουν τον τρόπο με τον οποίο η τεχνική γνώση δημιουργείται, βελτιώνεται και μοιράζεται.

Με τη νέα χρηματοδότηση και την αυξανόμενη υιοθέτηση, η Corca στοχεύει στο ότι τα μαθηματικά αξίζουν το ίδιο επίπεδο καινοτομίας που η σύγχρονη ανάπτυξη λογισμικού έχει βιώσει τις τελευταίες δύο δεκαετίες. Αν αυτή η όραση επιτύχει, ο τρόπος με τον οποίο οι άνθρωποι εργάζονται με εξισώσεις μπορεί σύντομα να μοιάζει πολύ διαφορετικά από τις ροές εργασίας που έχουν παραμείνει σε μεγάλο βαθμό αμετάβλητες από τη δεκαετία του 1980.