Η τυπική επαλήθευση ΤΝ μπαίνει στο επίκεντρο με τη νεοφυή Pramaana Labs, η οποία εξασφάλισε χρηματοδότηση 27 εκατ. δολαρίων. Η εταιρεία στοχεύει σε κλάδους όπου το λάθος κοστίζει ακριβά, όπως φορολογία, νομικές υπηρεσίες και ανακάλυψη φαρμάκων.
Η τυπική επαλήθευση ΤΝ μπαίνει στο επίκεντρο με τη Pramaana Labs, που επιχειρεί να παντρέψει τη μαθηματική αυστηρότητα με τα μεγάλα γλωσσικά μοντέλα. Η νεοφυής εταιρεία ανακοίνωσε άντληση 27 εκατ. δολαρίων σε γύρο seed με επικεφαλής το Khosla Ventures και συμμετοχή σημαντικών επενδυτικών σχημάτων.
Πώς η τυπική επαλήθευση ΤΝ αλλάζει το παιχνίδι της αξιοπιστίας;
Η Pramaana στοχεύει σε εξαιρετικά ευαίσθητους τομείς όπως το φορολογικό δίκαιο, η ανακάλυψη φαρμάκων και η προετοιμασία φορολογικών δηλώσεων, όπου τα λάθη έχουν υψηλό οικονομικό ή νομικό κόστος. Η βασική ιδέα είναι ότι σε αυτούς τους κλάδους υπάρχουν ήδη αυστηροί, τυποποιημένοι κανόνες που μπορούν να κωδικοποιηθούν με ακρίβεια.
Το σύστημα της εταιρείας βασίζεται σε ένα κλασικό μεγάλο γλωσσικό μοντέλο (LLM) για την κατανόηση φυσικής γλώσσας και την επίλυση σύνθετων προβλημάτων. Πάνω σε αυτό προστίθεται ένα ντετερμινιστικό στρώμα επαλήθευσης, το οποίο ελέγχει βήμα προς βήμα αν η συλλογιστική του μοντέλου συμμορφώνεται με τους τυπικούς κανόνες του εκάστοτε κλάδου.
Τι νέο φέρνει η Pramaana στην τυπική επαλήθευση ΤΝ;
Η καινοτομία της Pramaana είναι ότι αξιοποιεί εργαλεία τυπικής επαλήθευσης από τον χώρο των μαθηματικών αποδείξεων, όπως η open-source γλώσσα LEAN. Αντί να αντιμετωπίζει τους κανόνες ως απλές επιχειρησιακές λογικές, τους μετατρέπει σε φορμαλισμένο, εκτελέσιμο κώδικα που μπορεί να ελεγχθεί αυστηρά.
Για κάθε χρήση, η εταιρεία αναπτύσσει ένα ξεχωριστό σύστημα επαλήθευσης τύπου LEAN, σε συνεργασία με ειδικούς του κλάδου. Στο φορολογικό δίκαιο συνεργάζεται με τον πρώην επικεφαλής της IRS Danny Werfel, ενώ ακαδημαϊκοί από IIT Delhi, IIT Madras και UC Berkeley επιβλέπουν τα συστήματα για κυβερνοασφάλεια και ανακάλυψη φαρμάκων.
Τι σημαίνει για την Ελλάδα και τον κλάδο
Για την ελληνική αγορά τεχνολογίας, η προσέγγιση της Pramaana λειτουργεί ως καμπανάκι ότι η επόμενη φάση της ΤΝ θα κριθεί στην αξιοπιστία και όχι μόνο στις εντυπωσιακές δυνατότητες. Ελληνικές startups που δραστηριοποιούνται σε νομtech, φοροτεχνικές υπηρεσίες ή healthtech μπορούν να αντλήσουν έμπνευση, ενσωματώνοντας στρώματα τυπικής επαλήθευσης πάνω από LLMs.
Παράλληλα, για θεσμούς όπως η ΑΑΔΕ, τα ασφαλιστικά ταμεία ή τα νοσοκομεία, ανοίγει μια στρατηγική συζήτηση: πριν υιοθετηθούν εκτεταμένα λύσεις ΤΝ, πρέπει να προηγηθεί η τυπική κωδικοποίηση κανόνων, διαδικασιών και κανονισμών. Αυτό απαιτεί συνέργειες μεταξύ νομικών, μηχανικών λογισμικού και ρυθμιστικών αρχών, αλλά μπορεί να μειώσει δραστικά λάθη και αβεβαιότητες.
Σχόλιο 
: Η Pramaana δείχνει την κατεύθυνση στην οποία κινείται πλέον το σοβαρό κεφάλαιο στην ΤΝ: από τον εντυπωσιασμό στην αποδείξιμη ορθότητα. Η Ελλάδα, με ισχυρή παράδοση σε μαθηματικά και πληροφορική, έχει την ευκαιρία να τοποθετηθεί σε αυτή τη niche αγορά, εφόσον παντρέψει ακαδημαϊκή τεχνογνωσία και επιχειρηματική τόλμη.
Διαβάστε επίσης:
Ινδία: Καναδικό συνταξιοδοτικό ταμείο επενδύει δυναμικά σε data centers AI
DeepL εξαγοράζει Mixhalo και μπαίνει δυναμικά στα ζωντανά events
#Τεχνητήνοημοσύνη #Startups #Επενδύσεις #Λογισμικό #Κεφάλαιαεπιχειρηματικούκινδύνου
