The Control Problem: Why AI Needs More Than Just Code

The Control Problem: Why AI Needs More Than Just Code

  • ALL AGES

The Control Problem: Why AI Needs More Than Just Code

By Beta 80

Date and time

Tuesday, May 27 · 6:30 - 8:30pm CEST.

Location

Beta 80 S.P.A. Software E Sistemi, Via Socrate, Milano, MI, Italia

41 Via Socrate Azienda 20128 Milano Italy

Agenda

6:30 PM - 8:15 PM

The Control Problem: Why AI Needs More Than Just Code

Mattia Bergomi - Researcher and Scientific Advisor

L'illusione del controllo: Trattiamo l'IA come software tradizionale, ma senza garanzie formali sul suo comportamento. Soluzioni approssimate non bastano: Comitati etici e soluzioni temporanee sono r...

8:15 PM - 9:00 PM

Q&A con aperitivo

About this event

  • Event lasts 2 hours
  • ALL AGES
  • Paid venue parking

AI e controllo.

L’AI non può essere trattata come software tradizionale, per di più senza garanzie formali sul suo comportamento. Comitati etici ed altre soluzioni temporanee sono approcci reattivi ed approssimativi. Occorre un metodo.

La matematica è la grande assente da questi approcci: spesso mancano sistemi dinamici e logica formale, mentre ci si concentra unicamente sul miglioramento del codice.

Attraverso la presentazione di casi concreti, durante la serata, ci renderemo conto che l’interpretabilità è matematicamente complessa e l’allineamento è pieno di paradossi, ma dimostreremo anche che esiste una via d’uscita: attraverso i metodi formali l'AI è controllabile.

Scopriamo insieme cosa se ne deduce!


Macrotemi della serata:

  • L'illusione del controllo: Trattiamo l'IA come software tradizionale, ma senza garanzie formali sul suo comportamento.
  • Soluzioni approssimate non bastano: Comitati etici e soluzioni temporanee sono reattivi, non strutturali.
  • La matematica mancante: Il controllo richiede strumenti matematici - sistemi dinamici, logica formale - non solo codice migliore.
  • Casi concreti: Perché l'interpretabilità è matematicamente complessa e l'allineamento è pieno di paradossi.
  • La via d'uscita: Metodi formali per dimostrare che un'IA è controllabile.
  • Chiamata all'azione: Servono meno hackathon e più collaborazioni strutturate e formali.

Tags

Organized by

Beta 80

Beta 80 , società ICT presente sul mercato da oltre 35 anni, con oltre 550 collaboratori contribuisce al vantaggio competitivo dei propri clienti integrando le soluzioni tecnologiche più funzionali al loro specifico modello di business.

A questo scopo si affianca ai clienti sin dall'analisi dei processi, ne progetta e sviluppa le applicazioni software, utilizzando gli strumenti più avanzati e i propri prodotti, e ne cura la gestione, manutenzione e sviluppo.