La matematica è lo strato
su cui gira tutto il resto.
Crittografia, calcoli di carico, budget, farmaci, le prove in un processo. Decide anche quanta parte della vita pubblica una persona può verificare da sola.
Logica, statistica e modellazione ci permettono di farci un'opinione autonoma.
Logica
Puoi seguire un ragionamento e vedere dove non regge più, invece di credere a chi lo espone in modo più convincente.
Statistica
Puoi leggere un numero sui giornali e capire cosa ti dice, e cosa no.
Modellazione
Puoi valutare una previsione energetica, un budget o una cura medica senza aspettare che qualcun altro ti dica cosa pensare.
Senza queste competenze, ai cittadini non resta che fidarsi di chi suona più convincente. La matematica è dove le impariamo, e per la maggior parte di noi accade in una manciata di corsi durante i primi anni di studio. Quei corsi determinano quante persone restano in grado di mettere in discussione ciò che viene loro detto.
Cosa vogliamo ottenere
Le persone capiscono la matematica abbastanza a fondo da poterla usare
Non solo per superare un esame e poi dimenticarla, ma per farvi ricorso ogni volta che un numero, un'affermazione o una decisione nella propria vita lo richiede.
Le persone restano al centro
A pensare sono le persone. Costruiamo strumenti che le supportano, non strumenti che si sostituiscono a loro.
Usiamo l'IA in modo responsabile per arrivarci
L'IA è lo strumento più potente che abbiamo per rendere la matematica comprensibile su larga scala. Aiuta solo se rende chi la usa più capace, ed è questo lo standard a cui la teniamo.
Siamo ottimisti. Crediamo che sia possibile riuscirci, e preferiamo passare i prossimi anni a mettere alla prova questa convinzione piuttosto che dare per scontato il contrario.
Noi la gestiamo. Le istituzioni restano al comando.
Qualcuno deve gestire il sistema, farlo funzionare, mantenerlo sicuro e aggiornato mentre i modelli di IA evolvono. Lo facciamo per conto delle istituzioni che se ne servono. Gestire un'infrastruttura per altri comporta delle responsabilità, e le prendiamo sul serio.
Le istituzioni possono verificare ciò su cui si basano
Le istituzioni partner hanno accesso al codice sorgente e possono consultarlo, verificarlo e proporre modifiche. Gestire un sistema per conto di altri funziona solo se possono vedere come funziona.
Il loro personale può contribuire
Le istituzioni partner possono proporre collaboratori. Il loro lavoro entra a far parte della base di codice condivisa a proprio nome e va a beneficio di ogni istituzione che usa la piattaforma.
Lo gestiamo nell'UE
Le facoltà non devono costruire i propri team operativi. L'elaborazione e l'archiviazione restano nell'UE.
Costruito per durare oltre noi
Se lytris cessa l'attività o viene acquisita da un'entità con sede fuori dall'UE, la piattaforma diventa software open source con licenza AGPLv3.
Le istituzioni dispongono già del codice sorgente; la conversione si limita a rimuovere le restrizioni rimanenti. Nessuna istituzione dovrebbe basarsi su un'infrastruttura che potrebbe sparire e lasciare i propri corsi senza supporto. Questa garanzia può essere fatta valere anche senza di noi.
Come scegliamo i modelli
Ogni modello comporta compromessi tra qualità, velocità e costo, e nessuno eccelle in tutti e tre. lytris è composto da molti piccoli passaggi invece che da un unico modello, così ogni passaggio può collocarsi in un punto diverso di questo compromesso.
Qualità
Quanto bene spiega, corregge e ragiona, valutato in base ai casi di test che manteniamo, non alle impressioni.
Velocità
Qualcuno sta aspettando la risposta. Un modello che impiega il doppio del tempo deve valere l'attesa.
Costo
Dove qualità e velocità lo permettono, si usa il modello più economico. Questo mantiene sostenibile l'intero funzionamento.
Manteniamo casi di test per ogni passaggio, così possiamo misurare l'effetto del cambio del modello sottostante.
Le persone e i partner dietro lytris
lytris è sviluppato da un piccolo team. I nostri consulenti ci tengono onesti dicendoci quando sbagliamo. Docenti e ricercatori mettono alla prova il nostro lavoro. Li presenteremo qui man mano che si uniranno a noi.
Team
In arrivoLe persone che costruiscono e gestiscono lytris giorno per giorno.
Consulenti
In arrivoPersone dal mondo della ricerca, dell'industria e della pratica che mettono alla prova il nostro pensiero e ci dicono quando sbagliamo.
Collaborazioni di ricerca
In arrivoIstituzioni e gruppi di ricerca che mettono lytris alla prova nella didattica e nella ricerca.
Le persone dovrebbero poter verificare ciò che viene loro detto. Anche a quello che ti diciamo noi.
Due modi per andare oltre. Usa lytris con noi in un corso, oppure smonta l'argomentazione. Entrambi ci sono utili.