Ci sentiremo mai a nostro agio nel prendere compiti importanti con AIS?

Immagina una mappa del mondo divisa per i confini nazionali. Di quanti colori hai bisogno per riempire ogni paese, oltre al mare, senza toccare un colore simile?

La risposta è di quattro – in effetti, indipendentemente dall’aspetto della tua mappa, quattro colori saranno sempre sufficienti. Ma per dimostrarlo, era necessario uno studioso in matematica. Il teorema a quattro colori, come è noto, è stato il primo risultato importante a dimostrare l’uso di un computer. Le prove del 1976 hanno ridotto il problema in alcune migliaia di accordi di mappe, ognuna delle quali è stata quindi testata dal software.

A quel tempo molti matematici erano in armi. Come si può dimostrare qualcosa, ha sostenuto, se l’origine delle prove si nasconde dietro una macchina sconosciuta? Forse a causa di questo respingimento, la prova assistita da computer rimane una scoperta di minoranza.

Ma questo può iniziare a cambiare. Mentre riportiamo che “AI possiamo essere per cambiare il modo in cui facciamo completamente la matematica”, l’ultima generazione di intelligenza artificiale sta cambiando questo argomento in testa. Perché, chiedi ai suoi sostenitori, dovremmo fare affidamento sulla matematica degli umani difettosi, con le loro percezioni e scorciatoie, quando possiamo accendere una verifica delle prove su una macchina?

Naturalmente, non tutti sono d’accordo con questo suggerimento. E la feroce logica sull’uso dell’IA in matematica è un mondo sottile di una grande domanda di fronte alla società: è proprio quando è opportuno prendere la macchina? Le aziende tecnologiche promettono rapidamente che l’agente AI rimuoverà la tossicodipendenza prendendo lo sfidante dall’elaborazione dello sfidante alle vacanze di prenotazione. Tuttavia, quando abbiamo cercato di gestirli la nostra giornata (vedi “” Shine and Frustration Shine “: ho permesso a un agente di intelligenza artificiale di gestire la mia giornata”), abbiamo scoperto che questi agenti non sono ancora completamente posti di lavoro.

La rinuncia al controllo consegnando la tua carta di credito o la password a un’intelligenza artificiale opaca crea un senso di irrequietezza con quattro prove colorate. Solo ora, non stiamo più colorando una mappa, ma stiamo cercando di trovare i suoi bordi perché indaghiamo la nuova area. Qual è la prova che possiamo fare affidamento su macchine, che ci stanno aspettando all’orizzonte, o solo una versione digitale del “qui essere drago”?